Fedora Packages

frama-c-emacs-28.1-3.fc41 in Fedora Rawhide

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

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2024-04-18 Jerry James <loganjerry at gmail dot com> - 28.1-3 - Rebuild for why3 1.7.2
2024-03-25 Richard W.M. Jones <rjones at redhat dot com> - 28.1-2 - Use %{bash_completions_dir} macro
2024-03-04 Jerry James <loganjerry at gmail dot com> - 28.1-1 - Version 28.1
2024-02-02 Jerry James <loganjerry at gmail dot com> - 28.0-4 - Rebuild for why3 1.7.1
2024-01-24 Fedora Release Engineering <releng at fedoraproject dot org> - 28.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 28.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-02 Jerry James <loganjerry at gmail dot com> - 28.0-1 - Version 28.0 - Drop upstreamed patches - Add patch for whitespace differences in the tests
2023-12-12 Richard W.M. Jones <rjones at redhat dot com> - 27.1-8 - OCaml 5.1.1 rebuild for Fedora 40
2023-12-05 Jerry James <loganjerry at gmail dot com> - 27.1-7 - Rebuild for ocaml-dune 3.12.1 (rhbz#2252981)
2023-11-14 Jerry James <loganjerry at gmail dot com> - 27.1-6 - Fix failure to find plugins (bz 2249607) - Install the zsh completion file

Provides

  • frama-c-emacs

Files


Sources on Pagure