↵ Return to the main page of frama-c-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
| Date | Author | Change |
|---|---|---|
| 2025-12-04 | Jerry James <loganjerry at gmail dot com> - 32.0-1 | - Version 32.0 |
| 2025-09-16 | Jerry James <loganjerry at gmail dot com> - 31.0-6 | - Rebuild for ocaml-menhir 20250912 and why3 1.8.2 |
| 2025-09-05 | Jerry James <loganjerry at gmail dot com> - 31.0-5 | - Rebuild for ocaml-menhir 20250903 |
| 2025-08-25 | Jerry James <loganjerry at gmail dot com> - 31.0-4 | - Rebuild for ocaml-fmt 0.11.0 |
| 2025-08-22 | Jerry James <loganjerry at gmail dot com> - 31.0-3 | - Rebuild for ocaml-dune 3.20.0 |
| 2025-07-23 | Fedora Release Engineering <releng at fedoraproject dot org> - 31.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-07-13 | Jerry James <loganjerry at gmail dot com> - 31.0-1 | - Version 31.0 |
| 2025-06-09 | Jerry James <loganjerry at gmail dot com> - 30.0-11 | - Rebuild for why3 1.8.1 |
| 2025-06-07 | Jerry James <loganjerry at gmail dot com> - 30.0-10 | - Rebuild for bumped ocaml-mlgmpidl |
| 2025-04-15 | Jerry James <loganjerry at gmail dot com> - 30.0-9 | - Rebuild for ocaml-ocamlgraph 2.2.0 |