↵ Return to the main page of ocaml-why3
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2024-04-18 | Jerry James <loganjerry at gmail dot com> - 1.7.2-1 | - Version 1.7.2 |
2024-02-02 | Jerry James <loganjerry at gmail dot com> - 1.7.1-1 | - Version 1.7.1 |
2024-01-02 | Jerry James <loganjerry at gmail dot com> - 1.7.0-1 | - Version 1.7.0 - Drop upstreamed coq patch |
2023-09-09 | Jerry James <loganjerry at gmail dot com> - 1.6.0-6 | - Rebuild for ocaml-ocamlgraph 2.1.0 |
2023-07-29 | Jerry James <loganjerry at gmail dot com> - 1.6.0-5 | - Require cvc5 instead of cvc4 |
2023-07-27 | Jerry James <loganjerry at gmail dot com> - 1.6.0-4 | - Rebuild for ocaml-zarith 1.13 |
2023-07-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.6.0-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
2023-07-18 | Jerry James <loganjerry at gmail dot com> - 1.6.0-2 | - Validate metadata with appstream-util |
2023-07-13 | Jerry James <loganjerry at gmail dot com> - 1.6.0-2 | - Rebuild for mpfr 4.2.0 |
2023-07-10 | Jerry James <loganjerry at gmail dot com> - 1.6.0-1 | - Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support |