| 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: 26.1 | Vendor: Fedora Project |
| Release: 2.fc38 | Build date: Wed Oct 18 18:39:05 2023 |
| Group: Unspecified | Build host: buildvm-x86-30.iad2.fedoraproject.org |
| Size: 29785 | Source RPM: frama-c-26.1-2.fc38.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
* Wed Oct 18 2023 Jerry James <loganjerry@gmail.com> - 26.1-2 - Rebuild for coq 8.17.1 * Wed Feb 15 2023 Jerry James <loganjerry@gmail.com> - 26.1-1 - Version 26.1 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 26.0-5 - Bump release and rebuild * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 26.0-4 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 26.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Dec 07 2022 Jerry James <loganjerry@gmail.com> - 26.0-2 - Rebuild to fix ocaml-dune-site dependency * Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 26.0-1 - Version 26.0 - Add Requires on ppx_import (bz 2148391) * Tue Nov 01 2022 Jerry James <loganjerry@gmail.com> - 25.0-7 - Rebuild for ocaml-ppxlib 0.28.0 * Sat Oct 29 2022 Jerry James <loganjerry@gmail.com> - 25.0-6 - Fix a path in e-acsl-gcc.sh (bz 2137875) * Tue Oct 18 2022 Jerry James <loganjerry@gmail.com> - 25.0-5 - Rebuild for ocaml-stdint 0.7.1 * Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 25.0-4 - Rebuild for why3 1.5.1 * Wed Aug 17 2022 Jerry James <loganjerry@gmail.com> - 25.0-3 - Rebuild for ocaml-ppx-deriving-yojson 3.7.0 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 25.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 25.0-1 - Remove i686 support * Thu Jul 07 2022 Jerry James <loganjerry@gmail.com> - 25.0-1 - Version 25.0 - Drop coq 8.14 compatibility patch - Drop coq BR; coq is now invoked via why3 * Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 24.0-7 - OCaml 4.14.0 rebuild * Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 24.0-6 - Rebuild for coq 8.15.1 and ocaml-zmq 5.1.5 * Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 24.0-5 - Rebuild for coq 8.15.0 and why3 1.4.1 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 24.0-4 - OCaml 4.13.1 rebuild to remove package notes * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 24.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 24.0-2 - Rebuild for ocaml-ppxlib 0.24.0 * Tue Dec 07 2021 Jerry James <loganjerry@gmail.com> - 24.0-1 - Version 24.0 - Drop upstreamed fix for OCaml 4.13 * Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 23.1-5 - Rebuild for coq 8.14.1 and ocaml-sexplib0 0.15.0 * Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 23.1-4 - Rebuild for coq 8.14.0 and ocaml-zmq 5.1.4 - Add -coq8.14 patch - Drop XEmacs support
/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, Tue May 7 01:59:46 2024