Fedora Packages

frama-c-doc-32.0-1.fc43 in Fedora 43

↵ Return to the main page of frama-c-doc
View build
Search for updates

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

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

Dependencies

Provides

  • frama-c-doc

Files


Sources on Pagure