ocaml-why3-devel-1.7.2-1.fc39 in Fedora 39
↵ Return to the main page of ocaml-why3-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| 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 |
Dependencies
- ocaml-why3 = 1.7.2-1.fc39
Provides
- ocaml(Why3)
- ocaml-why3-devel
- ocaml-why3-devel(x86-64)
- ocamlx(Why3)
Files
- usr/
- lib64/
- ocaml/
- why3/
- why3.a
- why3.cmt
- why3.cmx
- why3.cmxa
- why3/
- ocaml/
- lib64/
Sources on Pagure