↵ Return to the main page of frama-c-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
| Date | Author | Change |
|---|---|---|
| 2026-01-16 | Fedora Release Engineering <releng at fedoraproject dot org> - 32.0-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild |
| 2026-01-12 | Jerry James <loganjerry at gmail dot com> - 32.0-2 | - Reflow the description text |
| 2025-12-04 | Jerry James <loganjerry at gmail dot com> - 32.0-1 | - Version 32.0 |
| 2025-11-14 | Jerry James <loganjerry at gmail dot com> - 31.0-9 | - Rebuild for ocaml-logs 0.10.0 |
| 2025-11-13 | Jerry James <loganjerry at gmail dot com> - 31.0-8 | - Rebuild for ocaml-ctypes 0.24.0 |
| 2025-10-15 | Richard W.M. Jones <rjones at redhat dot com> - 31.0-7 | - OCaml 5.4.0 rebuild |
| 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 |