Fedora Packages

frama-c-emacs-26.1-1.fc38 in Fedora 38

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

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2023-02-15 Jerry James <loganjerry at gmail dot com> - 26.1-1 - Version 26.1
2023-01-24 Richard W.M. Jones <rjones at redhat dot com> - 26.0-5 - Bump release and rebuild
2023-01-24 Richard W.M. Jones <rjones at redhat dot com> - 26.0-4 - Rebuild OCaml packages for F38
2023-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 26.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-07 Jerry James <loganjerry at gmail dot com> - 26.0-2 - Rebuild to fix ocaml-dune-site dependency
2022-11-26 Jerry James <loganjerry at gmail dot com> - 26.0-1 - Version 26.0 - Add Requires on ppx_import (bz 2148391)
2022-11-01 Jerry James <loganjerry at gmail dot com> - 25.0-7 - Rebuild for ocaml-ppxlib 0.28.0
2022-10-29 Jerry James <loganjerry at gmail dot com> - 25.0-6 - Fix a path in e-acsl-gcc.sh (bz 2137875)
2022-10-18 Jerry James <loganjerry at gmail dot com> - 25.0-5 - Rebuild for ocaml-stdint 0.7.1
2022-09-16 Jerry James <loganjerry at gmail dot com> - 25.0-4 - Rebuild for why3 1.5.1

Dependencies

Provides

  • frama-c-emacs

Files


Sources on Pagure