Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: why3-emacs | Distribution: Fedora Project |
Version: 1.5.1 | Vendor: Fedora Project |
Release: 3.fc37 | Build date: Sun Nov 27 05:12:01 2022 |
Group: Unspecified | Build host: buildvm-x86-20.iad2.fedoraproject.org |
Size: 12413 | Source RPM: why3-1.5.1-3.fc37.src.rpm |
Packager: Fedora Project | |
Url: https://why3.lri.fr/ | |
Summary: Emacs support file for why3 files |
This package contains an Emacs support file for working with why3 files.
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3 - Rebuild for coq 8.16.1 * Tue Nov 01 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-2 - Rebuild for ocaml-ppxlib 0.28.0 * Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-1 - Version 1.5.1 * Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-3 - Rebuild to fix coq dependency - Convert License tag to SPDX * Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-1 - Remove i686 support * Thu Jul 07 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-1 - Version 1.5.0 - Add ocaml-mlmpfr support - Drop unmaintained man pages - Use new OCaml macros * Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 1.4.1-3 - OCaml 4.14.0 rebuild * Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-2 - Rebuild for coq 8.15.1 * Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-1 - Version 1.4.1 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-11 - OCaml 4.13.1 rebuild to remove package notes * Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Jan 17 2022 Jerry James <loganjerry@gmail.com> - 1.4.0-9 - Rebuild for menhir 20211230 * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-8 - Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11 * Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-7 - Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128 * Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-6 - Rebuild for coq 8.14.0 and menhir 20211012 - Add -coq8.14 patch - Drop XEmacs support * Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-5 - OCaml 4.13.1 build * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-4 - Try to build on s390x with OCaml 4.13 * Fri Jul 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-3 - Rebuild for rebuilt coq * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-1 - Version 1.4.0 - Drop all patches - Validate with appstreamcli instead of appstream-util * Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-9 - Rebuild for ocaml-menhir 20210419 * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-8 - Rebuild for coq 8.13.1 and ocaml-zarith 1.12 * Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3.3-7 - OCaml 4.12.0 build * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-6 - Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sat Jan 02 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-4 - Rebuild for flocq 3.4.0 * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 1.3.3-3 - Rebuild for coq 8.12.2 * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 1.3.3-2 - Rebuild for coq 8.12.1 and menhir 20201201
/usr/share/emacs/site-lisp/why3.el /usr/share/emacs/site-lisp/why3.elc
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu May 9 18:23:28 2024