| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: frama-c-emacs | Distribution: Fedora Project |
| Version: 32.1 | Vendor: Fedora Project |
| Release: 5.fc45 | Build date: Tue May 19 23:59:23 2026 |
| Group: Unspecified | Build host: buildhw-x86-05.rdu3.fedoraproject.org |
| Size: 25526 | Source RPM: frama-c-32.1-5.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://frama-c.com/ | |
| Summary: Emacs support file for ACSL markup | |
This package contains an Emacs support file for working with C source files marked up with ACSL.
LGPL-2.1-only
* Tue May 19 2026 Jerry James <loganjerry@gmail.com> - 32.1-5 - Rebuild for ocaml-integers 0.8.0 - Fedora RPM builds now deduplicate by default * Thu Apr 30 2026 Jerry James <loganjerry@gmail.com> - 32.1-4 - Rebuild for ocaml-bos 0.3.0 * Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 32.1-3 - Rebuild for ocaml-ppxlib 0.38.0 * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 32.1-2 - Work around a change in dune behavior * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 32.1-1 - Version 32.1 * Sat Feb 21 2026 Richard W.M. Jones <rjones@redhat.com> - 32.0-8 - OCaml 5.4.1 rebuild * Mon Feb 16 2026 Jerry James <loganjerry@gmail.com> - 32.0-7 - Rebuild to fix dependencies * Thu Feb 12 2026 Jerry James <loganjerry@gmail.com> - 32.0-6 - Rebuild for ocaml-dune 3.21.1 * Sat Feb 07 2026 Jerry James <loganjerry@gmail.com> - 32.0-5 - Rebuild for ocaml-menhir 20260203 * Mon Feb 02 2026 Jerry James <loganjerry@gmail.com> - 32.0-4 - Rebuild for ocaml-menhir 20260122 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 32.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 32.0-2 - Reflow the description text * Thu Dec 04 2025 Jerry James <loganjerry@gmail.com> - 32.0-1 - Version 32.0 * Fri Nov 14 2025 Jerry James <loganjerry@gmail.com> - 31.0-9 - Rebuild for ocaml-logs 0.10.0 * Thu Nov 13 2025 Jerry James <loganjerry@gmail.com> - 31.0-8 - Rebuild for ocaml-ctypes 0.24.0 * Wed Oct 15 2025 Richard W.M. Jones <rjones@redhat.com> - 31.0-7 - OCaml 5.4.0 rebuild * Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 31.0-6 - Rebuild for ocaml-menhir 20250912 and why3 1.8.2 * Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 31.0-5 - Rebuild for ocaml-menhir 20250903 * Mon Aug 25 2025 Jerry James <loganjerry@gmail.com> - 31.0-4 - Rebuild for ocaml-fmt 0.11.0 * Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 31.0-3 - Rebuild for ocaml-dune 3.20.0 * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 31.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sun Jul 13 2025 Jerry James <loganjerry@gmail.com> - 31.0-1 - Version 31.0 * Mon Jun 09 2025 Jerry James <loganjerry@gmail.com> - 30.0-11 - Rebuild for why3 1.8.1 * Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 30.0-10 - Rebuild for bumped ocaml-mlgmpidl * Tue Apr 15 2025 Jerry James <loganjerry@gmail.com> - 30.0-9 - Rebuild for ocaml-ocamlgraph 2.2.0 * Thu Apr 03 2025 Jerry James <loganjerry@gmail.com> - 30.0-8 - Rebuild for ocaml-dune 3.18.0 * Tue Mar 18 2025 Jerry James <loganjerry@gmail.com> - 30.0-7 - Rebuild for ocaml-logs 0.8.0 * Tue Mar 11 2025 Jerry James <loganjerry@gmail.com> - 30.0-6 - Rebuild for ocaml-fmt 0.10.0 * Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 30.0-5 - Rebuild for ocaml-ppxlib 0.35.0 * Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 30.0-4 - Add patch for partial C23 compatibility - Disable tests until upstream implements full C23 support * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 30.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 30.0-2 - OCaml 5.3.0 rebuild for Fedora 42 - Add patch for why3 1.8.0 compatibility * Fri Dec 06 2024 Jerry James <loganjerry@gmail.com> - 30.0-1 - Version 30.0 - Move configuration steps to %conf - Remove empty opam files - Link, rather than copy, duplicate files * Tue Oct 08 2024 Richard W.M. Jones <rjones@redhat.com> - 29.0-10 - Rebuild for ocaml-lwt 5.8.0 * Sun Oct 06 2024 Jerry James <loganjerry@gmail.com> - 29.0-9 - Rebuild for ocaml-re 1.13.3 * Mon Aug 12 2024 Jerry James <loganjerry@gmail.com> - 29.0-8 - Rebuild for ocaml-yaml with ocaml-ctypes 0.23.0 * Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 29.0-7 - Rebuild for ocaml-ppxlib 0.33.0 and ocaml-yojson 2.2.2 * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 29.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 29.0-5 - Rebuild for ocaml-zarith 1.14 * Wed Jul 03 2024 Jerry James <loganjerry@gmail.com> - 29.0-4 - Rebuild for ocaml-sexplib0 0.17.0 * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 29.0-3 - OCaml 5.2.0 ppc64le fix * Mon Jun 17 2024 Jerry James <loganjerry@gmail.com> - 29.0-2 - Rebuild for ocaml-dune 3.16.0 * Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 29.0-1 - Exclude ppc64le until upstream ocaml bug is fixed * Thu Jun 06 2024 Jerry James <loganjerry@gmail.com> - 29.0-1 - Version 29.0 - Drop upstreamed test patch - Add patch to remove dependency on the bytes library for OCaml 5.x * Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 28.1-4 - OCaml 5.2.0 for Fedora 41 * Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 28.1-3 - BR yq for the tests
/usr/share/emacs/site-lisp/acsl.el /usr/share/emacs/site-lisp/acsl.elc /usr/share/emacs/site-lisp/frama-c-dev.el /usr/share/emacs/site-lisp/frama-c-dev.elc /usr/share/emacs/site-lisp/frama-c-init.el /usr/share/emacs/site-lisp/frama-c-init.elc /usr/share/emacs/site-lisp/frama-c-recommended.el /usr/share/emacs/site-lisp/frama-c-recommended.elc /usr/share/emacs/site-lisp/site-start.d/acsl.el
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Jul 11 00:14:16 2026