zenon-debugsource - Debug sources for package zenon

This package provides debug sources for package zenon.
Debug sources are useful when developing applications that use this package or when debugging this package.

Homepage	http://zenon-prover.org/

Fedora 30

Fedora 31

Fedora rawhide

Fedora 28

Fedora 29

Distribution		Version	Since	Package	Installed	Packager
Fedora 28 releases/Everything-debug-tree	rpm	0.8.2-11.fc28	2019-01-14	131 kiB	881 kiB	Fedora Project
Fedora 29 releases/Everything-debug-tree	rpm	0.8.2-12.fc29	2019-01-14	127 kiB	881 kiB	Fedora Project
Fedora 29 releases-test/Everything-debug-tree	rpm	0.8.2-12.fc29	2019-01-14	127 kiB	881 kiB	Fedora Project
Fedora 30 releases/Everything-debug-tree	rpm	0.8.4-2.fc30	2019-06-17	126 kiB	879 kiB	Fedora Project
Fedora 30 releases-test/Everything-debug-tree	rpm	0.8.4-2.fc30	2019-06-17	126 kiB	879 kiB	Fedora Project
Fedora 31 releases/Everything-debug-tree	rpm	0.8.4-5.fc31	2020-01-07	118 kiB	879 kiB	Fedora Project
Fedora rawhide development/Everything-debug-tree	rpm	0.8.4-8.fc32	2020-02-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

2020-02-08

Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

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

2020-01-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

Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

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

2019-06-17

Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

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

Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

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

Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

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

2019-01-14

Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

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

2019-01-14

Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

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