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

why3-emacs-0.88.3-1.fc28 RPM for noarch

From Fedora Rawhide for s390x / w

Name: why3-emacs Distribution: Fedora Project
Version: 0.88.3 Vendor: Fedora Project
Release: 1.fc28 Build date: Wed Feb 14 02:19:11 2018
Group: Unspecified Build host: buildvm-08.phx2.fedoraproject.org
Size: 10940 Source RPM: why3-0.88.3-1.fc28.src.rpm
Packager: Fedora Project
Url: http://why3.lri.fr/
Summary: Emacs support file for why3 files
This package contains an Emacs support file for working with why3 files.

Provides

Requires

License

LGPLv2 with exceptions

Changelog

* Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 0.88.3-1
  - New upstream release
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.88.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sat Dec 09 2017 Jerry James <loganjerry@gmail.com> - 0.88.2-1
  - New upstream release
* Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 0.88.1-1
  - New upstream version 0.88.1.
  - OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James <loganjerry@gmail.com> - 0.88.0-1
  - New usptream release
* Thu Oct 05 2017 Jerry James <loganjerry@gmail.com> - 0.87.3-12
  - Rebuild for flocq 2.6.0
* Wed Sep 06 2017 Richard W.M. Jones <rjones@redhat.com> - 0.87.3-11
  - OCaml 4.05.0 rebuild.
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 0.87.3-8
  - Bump release and rebuild.
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 0.87.3-7
  - Bump release and rebuild.
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 0.87.3-6
  - Bump release and rebuild.
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 0.87.3-5
  - OCaml 4.04.2 rebuild.
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 0.87.3-4
  - OCaml 4.04.1 rebuild.
* Fri Mar 24 2017 Jerry James <loganjerry@gmail.com> - 0.87.3-3
  - Rebuild to fix coq consistency issue
* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Jan 12 2017 Jerry James <loganjerry@gmail.com> - 0.87.3-1
  - New upstream release
* Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 0.87.2-4
  - Rebuild for OCaml 4.04.0.
* Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 0.87.2-3
  - Rebuild for coq 8.5pl3
  - Remove obsolete scriptlets
  - Fix install location of why3lang.sty
* Thu Sep 29 2016 Jerry James <loganjerry@gmail.com> - 0.87.2-2
  - Rebuild for flocq 2.5.2 and gappalib-coq 1.3.1
* Fri Sep 02 2016 Jerry James <loganjerry@gmail.com> - 0.87.2-1
  - New upstream release
* Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 0.87.1-2
  - Rebuild for coq 8.5pl2
* Wed Jun 01 2016 Jerry James <loganjerry@gmail.com> - 0.87.1-1
  - New upstream release
* Fri Apr 22 2016 Jerry James <loganjerry@gmail.com> - 0.87.0-3
  - Rebuild for coq 8.5pl1
* Sat Apr 16 2016 Jerry James <loganjerry@gmail.com> - 0.87.0-2
  - Rebuild for ocaml-ocamlgraph 1.8.7
* Fri Mar 18 2016 Jerry James <loganjerry@gmail.com> - 0.87.0-1
  - New upstream release
  - Drop boomy icon removal; upstream no longer ships them
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 0.86.3-1
  - New upstream release
  - Use camlp4 in preference to camlp5
* Fri Feb 05 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.86.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Nov 25 2015 Jerry James <loganjerry@gmail.com> - 0.86.2-2
  - Rebuild for ocaml-zarith 1.4.1 and ocaml-menhir 20151112
* Wed Oct 14 2015 Jerry James <loganjerry@gmail.com> - 0.86.2-1
  - New upstream release
  - Do not ship the nonfree boomy icons
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 0.86.1-2
  - ocaml-4.02.2 final rebuild.
* Mon Jun 22 2015 Jerry James <loganjerry@gmail.com> - 0.86.1-1
  - New upstream release
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 0.86-2
  - ocaml-4.02.2 rebuild.
* Sat May 16 2015 Jerry James <loganjerry@gmail.com> - 0.86-1
  - New upstream release
* Sat Apr 11 2015 Jerry James <loganjerry@gmail.com> - 0.85-9
  - Rebuild for coq 8.4pl6
* Wed Mar 18 2015 Jerry James <loganjerry@gmail.com> - 0.85-8
  - Rebuild for ocaml-ocamlgraph 1.8.6
* Sat Feb 21 2015 Jerry James <loganjerry@gmail.com> - 0.85-7
  - Note bundled jquery
  - Fix sed expression separators for new RPM_OPT_FLAGS and RPM_LD_FLAGS
* Wed Feb 18 2015 Richard W.M. Jones <rjones@redhat.com> - 0.85-6
  - ocaml-4.02.1 rebuild.
* Thu Nov 06 2014 Jerry James <loganjerry@gmail.com> - 0.85-5
  - Rebuild for ocaml-camlp5 6.12
* Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 0.85-4
  - Rebuild for coq 8.4pl5
* Tue Oct 14 2014 Jerry James <loganjerry@gmail.com> - 0.85-3
  - Rebuild for ocaml-zarith 1.3
* Thu Sep 18 2014 Jerry James <loganjerry@gmail.com> - 0.85-2
  - Bump and rebuild
* Wed Sep 17 2014 Jerry James <loganjerry@gmail.com> - 0.85-1
  - New upstream release
  - New source URL
* Tue Sep 02 2014 Jerry James <loganjerry@gmail.com> - 0.84-1
  - New upstream release
  - Fix license handling
* Mon Aug 25 2014 Jerry James <loganjerry@gmail.com> - 0.83-14
  - Rebuild for new gappalib-coq build
* Sun Aug 24 2014 Richard W.M. Jones <rjones@redhat.com> - 0.83-13
  - ocaml-4.02.0+rc1 rebuild.
* Mon Aug 18 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.83-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Mon Aug 04 2014 Jerry James <loganjerry@gmail.com> - 0.83-11
  - Rebuild for new gappalib-coq build
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 0.83-10
  - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 0.83-9
  - OCaml 4.02.0 beta rebuild.
* Thu Jun 26 2014 Jerry James <loganjerry@gmail.com> - 0.83-8
  - Linking with -z relro -z now breaks plugins; omit "-z now"
* Sun Jun 08 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.83-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 0.83-6
  - Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James <loganjerry@gmail.com> - 0.83-5
  - Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5
  - Drop unnecessary sqlite-devel BR
* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 0.83-4
  - Remove ocaml_arches macro (RHBZ#1087794).
* Mon Mar 24 2014 Jerry James <loganjerry@gmail.com> - 0.83-3
  - Apply upstream fix for building with ocaml-zarith
  - Fix file encodings
  - Fix permission bits
* Tue Mar 18 2014 Jerry James <loganjerry@gmail.com> - 0.83-2
  - Back out the post-release fix to the Coq printer, which breaks Frama-C
* Fri Mar 14 2014 Jerry James <loganjerry@gmail.com> - 0.83-1
  - New upstream release
  - Use cvc4 instead of cvc3
* Wed Feb 26 2014 Jerry James <loganjerry@gmail.com> - 0.82-2
  - Rebuild for ocamlgraph 1.8.4
  - BR ocaml-findlib instead of ocaml-findlib-devel
* Fri Dec 13 2013 Jerry James <loganjerry@gmail.com> - 0.82-1
  - New upstream release
  - Drop upstreamed patches
  - Add -examples subpackage
  - Install LaTeX style
  - Turn off frama-c support at upstream's request
* Mon Sep 30 2013 Jerry James <loganjerry@gmail.com> - 0.81-6
  - Apply upstream fix for change in the alt-ergo timelimit option
* Tue Sep 17 2013 Jerry James <loganjerry@gmail.com> - 0.81-5
  - Rebuild for OCaml 4.01.0
  - Enable debuginfo for the ocaml sources
* Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.81-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 0.81-3
  - Rebuild for frama-c Fluorine 20130601
* Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 0.81-2
  - Rebuild for frama-c Fluorine 20130501
* Fri May 10 2013 Jerry James <loganjerry@gmail.com> - 0.81-1
  - New upstream release
  - Disable PVS support for now; it requires the NASA libraries
  - Fix the conflict between the why and why3 Emacs packages (bz 913522)
  - Disable parallel builds due to intermittent build failures
* Fri Feb 15 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.73-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 07 2013 Jerry James <loganjerry@gmail.com> - 0.73-4
  - Rebuild for coq 8.4pl1
* Fri Dec 14 2012 Richard W.M. Jones <rjones@redhat.com> - 0.73-3
  - Rebuild for OCaml 4.00.1.
* Thu Aug 23 2012 Jerry James <loganjerry@gmail.com> - 0.73-2
  - Rebuild for coq 8.4
* Thu Aug 02 2012 Jerry James <loganjerry@gmail.com> - 0.73-1
  - New upstream release
* Sun Jul 22 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.71-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Thu Apr 19 2012 Jerry James <loganjerry@gmail.com> - 0.71-2
  - Add missing sqlite-devel BR
  - Do not move the coq plugin
  - Generate debuginfo for the sole C program
  - Add man pages
* Fri Dec 16 2011 Jerry James <loganjerry@gmail.com> - 0.71-1
  - Initial RPM

Files

/usr/share/emacs/site-lisp/why3.el
/usr/share/emacs/site-lisp/why3.elc


Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Sep 23 00:32:22 2018