Linux repositories inspector

zenon-debuginfo - Debug information for package zenon

This package provides debug information for package zenon. Debug information is useful when developing applications that use this package or when debugging this package.
0.8.4
Fedora iconFedora 30
Fedora iconFedora rawhide
0.8.2
Fedora iconFedora 28
Fedora iconFedora 29
DistributionVersionSincePackageInstalledPackager
Fedora iconFedora 28 releases/Everything-debug-treerpm0.8.2-11.fc28Jan 14168 kiB750 kiBFedora Project
Fedora iconFedora 29 releases/Everything-debug-treerpm0.8.2-12.fc29Jan 14168 kiB785 kiBFedora Project
Fedora iconFedora 29 releases-test/Everything-debug-treerpm0.8.2-12.fc29Jan 14168 kiB785 kiBFedora Project
Fedora iconFedora 30 releases/Everything-debug-treerpm0.8.4-2.fc30Jun 17168 kiB787 kiBFedora Project
Fedora iconFedora 30 releases-test/Everything-debug-treerpm0.8.4-2.fc30Jun 17168 kiB787 kiBFedora Project
Fedora iconFedora rawhide development/Everything-debug-treerpm0.8.4-3.fc31Jun 17168 kiB787 kiBFedora Project

Latest updates

Fedora 30 icon

Fedora 30 releases-test/Everything-debug-tree: Version 0.8.4-2.fc30 introduced

Jun 17
Fedora 30 icon

Fedora 30 releases/Everything-debug-tree: Version 0.8.4-2.fc30 introduced

Jun 17
Fedora rawhide icon

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.4-2.fc30 to 0.8.4-3.fc31

Jun 17
  • Rebuild for coq 8.9.1
  • Add -coq89 patch to adapt to coq 8.9.x
Fedora rawhide icon

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.4-1.fc30 to 0.8.4-2.fc30

Feb 12
Fedora rawhide icon

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.2-12.fc29 to 0.8.4-1.fc30

Feb 02
  • New upstream release
  • Drop -unsafe-string workaround
Fedora rawhide icon

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.2-11.fc28 to 0.8.2-12.fc29

Jan 14
Fedora 29 icon

Fedora 29 releases-test/Everything-debug-tree: Version 0.8.2-12.fc29 introduced

Jan 14
Fedora 29 icon

Fedora 29 releases/Everything-debug-tree: Version 0.8.2-12.fc29 introduced

Jan 14
Fedora 28 icon

Fedora 28 releases/Everything-debug-tree: Version 0.8.2-11.fc28 introduced

Jan 14
  • Rebuild for coq 8.7.1
  • Compile with -unsafe-string until the code can be migrated
Fedora rawhide icon

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.2-9.fc28 to 0.8.2-11.fc28

2018-02-26
  • Rebuild for coq 8.7.1
  • Compile with -unsafe-string until the code can be migrated
Fedora 27 icon

Fedora 27 updates-testing/debug: Version 0.8.2-9.fc27 removed

2017-12-09
Fedora 27 icon

Fedora 27 releases/Everything-debug-tree: Version 0.8.2-9.fc27 introduced

2017-11-13
  • Rebuild for coq 8.6.1
Fedora rawhide icon

Fedora rawhide development/Everything-debug-tree: Version 0.8.2-9.fc28 introduced

2017-11-10
  • Rebuild for coq 8.6.1
Fedora 27 icon

Fedora 27 updates-testing/debug: Version 0.8.2-9.fc27 introduced

2017-11-10
  • Rebuild for coq 8.6.1
Fedora 27 icon

Fedora 27 development/Everything-debug-tree: Version 0.8.2-9.fc27 introduced

2017-11-10
  • Rebuild for coq 8.6.1
Fedora 27 icon

Fedora 27 releases-test/Everything-debug-tree: Version 0.8.2-8.fc27 introduced

2017-11-10
Fedora 26 icon

Fedora 26 releases/Everything-debug-tree: Version 0.8.2-6.fc26 introduced

2017-11-10

Related packages

zenon - Automated theorem prover for first-order classical logic
⇧ Top