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

frama-c-emacs-1.10-0.20140301Neons.4.mga5 RPM for noarch

From Mageia 5 for i586 / media / core / release

Name: frama-c-emacs Distribution: Mageia
Version: 1.10 Vendor: Mageia.Org
Release: 0.20140301Neons.4.mga5 Build date: Thu Oct 16 02:03:06 2014
Group: Editors Build host: valstar.mageia.org
Size: 14685 Source RPM: frama-c-1.10-0.20140301Neons.4.mga5.src.rpm
Packager: umeabot <umeabot>
Url: http://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

LGPLv2

Changelog

* Wed Oct 15 2014 umeabot <umeabot> 1.10-0.20140301Neons.4.mga5
  + Revision: 742058
  - Second Mageia 5 Mass Rebuild
* Wed Sep 24 2014 malo <malo> 1.10-0.20140301Neons.3.mga5
  + Revision: 723087
  - fix auto requires
* Tue Sep 16 2014 umeabot <umeabot> 1.10-0.20140301Neons.2.mga5
  + Revision: 679321
  - Mageia 5 Mass Rebuild
* Fri Sep 05 2014 malo <malo> 1.10-0.20140301Neons.1.mga5
  + Revision: 672224
  - add debian patch
  - update to Neon
* Tue Nov 19 2013 malo <malo> 1.9-0.20130601Fluorine.2.mga4
  + Revision: 551930
  - fix requires
* Tue Nov 19 2013 malo <malo> 1.9-0.20130601Fluorine.1.mga4
  + Revision: 551925
  - fix emacs mode packaging
  - add BR ncurses
  - spec clean-up after import from Fedora
  - add patch from upstream for ocaml-4.01 compatibility
  - add patch for new version of make
  - imported package frama-c
* Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.9-4
  - Update to 20130601 bugfix Fluorine release
* Mon Jun 03 2013 Jerry James <loganjerry@gmail.com> - 1.9-3
  - Add -fixes patch to fix code generation for inductive definitions
* Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 1.9-2
  - Update to bugfix Fluorine release
* Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 1.9-1
  - Update to Fluorine version
  - Merge -devel into the main package (bz 888865)
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 14 2013 Jerry James <loganjerry@gmail.com> - 1.8-5
  - Rebuild for coq 8.4pl1 and alt-ergo 0.95
* Mon Nov 05 2012 Jerry James <loganjerry@gmail.com> - 1.8-4
  - Build with zarith support
* Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-3
  - Update the Requires filter even more for Oxygen
* Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-2
  - Update the Requires filter for Oxygen
* Fri Oct 19 2012 Jerry James <loganjerry@gmail.com> - 1.8-1
  - Update to Oxygen version
* Tue Sep 11 2012 Jerry James <loganjerry@gmail.com> - 1.7-9
  - Disable dangerous code in src/type/type.ml that leads to segfaults.
* Mon Aug 27 2012 Jerry James <loganjerry@gmail.com> - 1.7-8
  - Use a vastly simpler patch for OCaml 4 that fixes the native build.
* Fri Aug 03 2012 Jerry James <loganjerry@gmail.com> - 1.7-7
  - Shipping the bytecode version works better if it isn't stripped.
* Fri Aug 03 2012 Jerry James <loganjerry@gmail.com> - 1.7-6
  - Use upstream's version of the ocamlgraph patch.
  - Ship the bytecode binaries until the native breakage is diagnosed.
* Mon Jul 30 2012 Richard W.M. Jones <rjones@redhat.com> - 1.7-5
  - Rebuild for OCaml 4.00.0 official.
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jan 09 2012 Jerry James <loganjerry@gmail.com> - 1.7-3
  - Rebuild for OCaml 3.12.1
* Tue Nov 08 2011 Jerry James <loganjerry@gmail.com> - 1.7-2
  - Rebuild to eliminate libpng dependency
* Tue Oct 25 2011 Jerry James <loganjerry@gmail.com> - 1.7-1
  - Update to Nitrogen version

Files

/etc/emacs/site-start.d/acsl.el
/usr/share/emacs/site-lisp/acsl.el
/usr/share/emacs/site-lisp/acsl.elc


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Sep 10 10:16:24 2019