Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

frama-c-emacs-28.1-2.fc39 RPM for noarch

From Fedora 39 updates for aarch64 / Packages / f

Name: frama-c-emacs Distribution: Fedora Project
Version: 28.1 Vendor: Fedora Project
Release: 2.fc39 Build date: Thu Apr 18 20:52:25 2024
Group: Unspecified Build host: buildvm-x86-05.iad2.fedoraproject.org
Size: 29652 Source RPM: frama-c-28.1-2.fc39.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.

Provides

Requires

License

LGPL-2.1-only

Changelog

* Thu Apr 18 2024 Jerry James <loganjerry@gmail.com> - 28.1-2
  - Rebuild for why3 1.7.2
* Mon Mar 04 2024 Jerry James <loganjerry@gmail.com> - 28.1-1
  - Version 28.1
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 28.0-2
  - Rebuild for why3 1.7.1
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 28.0-1
  - Version 28.0
  - Drop upstreamed patches
  - Add patch for whitespace differences in the tests
* Tue Nov 14 2023 Jerry James <loganjerry@gmail.com> - 27.1-5
  - Fix failure to find plugins (bz 2249607)
  - Install the zsh completion file
* Sat Sep 09 2023 Jerry James <loganjerry@gmail.com> - 27.1-4
  - Rebuild for ocaml-ocamlgraph 2.1.0
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 27.1-3
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 27.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 27.1-1
  - Version 27.1
  - Validate metainfo with appstream-util
* Fri Jul 14 2023 Jerry James <loganjerry@gmail.com> - 27.0-3
  - Rebuild for ocaml-ctypes 0.21.0
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 27.0-2
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 27.0-1
  - Version 27.0
* Sat Jun 10 2023 Jerry James <loganjerry@gmail.com> - 26.1-2
  - Rebuild for ocaml-dune-site 3.8.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

Files

/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, Wed Nov 27 04:04:38 2024