This package provides debug sources for package zenon.
Debug sources are useful when developing applications that use this package or when debugging this package.
Debug sources are useful when developing applications that use this package or when debugging this package.
Homepage | http://zenon-prover.org/ |
---|
0.8.4



0.8.2


Distribution | Version | Since | Package | Installed | Packager | |
---|---|---|---|---|---|---|
![]() | rpm | 0.8.2-11.fc28 | 2019-01-14 | 131 kiB | 881 kiB | Fedora Project |
![]() | rpm | 0.8.2-12.fc29 | 2019-01-14 | 127 kiB | 881 kiB | Fedora Project |
![]() | rpm | 0.8.2-12.fc29 | 2019-01-14 | 127 kiB | 881 kiB | Fedora Project |
![]() | rpm | 0.8.4-2.fc30 | 2019-06-17 | 126 kiB | 879 kiB | Fedora Project |
![]() | rpm | 0.8.4-2.fc30 | 2019-06-17 | 126 kiB | 879 kiB | Fedora Project |
![]() | rpm | 0.8.4-5.fc31 | 2020-01-07 | 118 kiB | 879 kiB | Fedora Project |
![]() | rpm | 0.8.4-8.fc32 | Feb 08 | 118 kiB | 879 kiB | Fedora Project |
Latest updates

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.4-7.fc32 to 0.8.4-8.fc32
Feb 08

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.4-6.fc32 to 0.8.4-7.fc32
Jan 23
- OCaml 4.10.0+beta1 rebuild.

Fedora 31 releases/Everything-debug-tree: Version 0.8.4-5.fc31 introduced
2020-01-07
- OCaml 4.08.1 (rc2) rebuild.

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.4-5.fc31 to 0.8.4-6.fc32
2019-09-07
- OCaml 4.08.1 (final) rebuild.

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.4-3.fc31 to 0.8.4-5.fc31
2019-08-03
- OCaml 4.08.1 (rc2) rebuild.

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

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

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.4-2.fc30 to 0.8.4-3.fc31
2019-06-17
- Rebuild for coq 8.9.1
- Add -coq89 patch to adapt to coq 8.9.x

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

Fedora rawhide development/Everything-debug-tree: Updated from 0.8.2-12.fc29 to 0.8.4-1.fc30
2019-02-02
- New upstream release
- Drop -unsafe-string workaround

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

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

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

Fedora 28 releases/Everything-debug-tree: Version 0.8.2-11.fc28 introduced
2019-01-14
- Rebuild for coq 8.7.1
- Compile with -unsafe-string until the code can be migrated

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 updates-testing/debug: Version 0.8.2-9.fc27 removed
2017-12-10

Fedora 27 releases/Everything-debug-tree: Version 0.8.2-9.fc27 introduced
2017-11-14
- Rebuild for coq 8.6.1

Fedora rawhide development/Everything-debug-tree: Version 0.8.2-9.fc28 introduced
2017-11-10
- Rebuild for coq 8.6.1

Fedora 27 updates-testing/debug: Version 0.8.2-9.fc27 introduced
2017-11-10
- Rebuild for coq 8.6.1

Fedora 27 development/Everything-debug-tree: Version 0.8.2-9.fc27 introduced
2017-11-10
- Rebuild for coq 8.6.1
Related packages
zenon - Automated theorem prover for first-order classical logic