# Coq's plugin architecture requires cmxs files, so: ExclusiveArch: %{ocaml_native_compiler} # NOTE: Upstream has said that the Frama-C support is still experimental, and # less functional than the corresponding support in why2. They recommend not # enabling it for now. We abide by their wishes. Revisit this decision each # release. Name: why3 Version: 1.7.2 Release: 3%{?dist} Summary: Software verification platform License: LGPL-2.1-only WITH OCaml-LGPL-linking-exception URL: https://www.why3.org/ VCS: https://gitlab.inria.fr/why3/why3 Source0: https://why3.gitlabpages.inria.fr/releases/%{name}-%{version}.tar.gz # Desktop file written by Jerry James Source1: fr.lri.%{name}.desktop # AppData file written by Jerry James Source2: fr.lri.%{name}.metainfo.xml BuildRequires: coq BuildRequires: emacs-nw BuildRequires: emacs-proofgeneral BuildRequires: flocq BuildRequires: graphviz BuildRequires: latexmk BuildRequires: libappstream-glib BuildRequires: make BuildRequires: ocaml BuildRequires: ocaml-apron-devel BuildRequires: ocaml-camlidl-devel BuildRequires: ocaml-findlib BuildRequires: ocaml-lablgtk3-sourceview3-devel BuildRequires: ocaml-menhir BuildRequires: ocaml-mlmpfr-devel BuildRequires: ocaml-num-devel BuildRequires: ocaml-ocamldoc BuildRequires: ocaml-ocamlgraph-devel BuildRequires: ocaml-ppx-deriving-devel BuildRequires: ocaml-ppx-sexp-conv-devel BuildRequires: ocaml-re-devel BuildRequires: ocaml-sexplib-devel BuildRequires: ocaml-zarith-devel BuildRequires: ocaml-zip-devel BuildRequires: %{py3_dist sphinx} BuildRequires: %{py3_dist sphinxcontrib-bibtex} BuildRequires: tex(capt-of.sty) BuildRequires: tex(comment.sty) BuildRequires: tex(fncychap.sty) BuildRequires: tex(framed.sty) BuildRequires: tex(latex) BuildRequires: tex(needspace.sty) BuildRequires: tex(tabulary.sty) BuildRequires: tex(tgtermes.sty) BuildRequires: tex(upquote.sty) BuildRequires: tex(wrapfig.sty) BuildRequires: tex-urlbst Requires: gtksourceview3%{?_isa} Requires: hicolor-icon-theme Requires: texlive-base%{?_isa} Requires: vim-filesystem Recommends: bash-completion Recommends: flocq Provides: bundled(js-jquery) # The corresponding Provides is not generated, so filter this out %global __requires_exclude ocaml\\\((Driver_ast|Why3)\\\) # This can be removed when F39 reaches EOL Obsoletes: %{name}-xemacs < 1.4.0-4 %description Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. %package examples Summary: Example inputs Requires: %{name} = %{version}-%{release} BuildArch: noarch %description examples Example source code with why3 annotations. %package emacs Summary: Emacs support file for %{name} files Requires: %{name} = %{version}-%{release} Requires: emacs(bin) BuildArch: noarch %description emacs This package contains an Emacs support file for working with %{name} files. %package all Summary: Complete Why3 software verification platform suite Requires: %{name}%{?_isa} = %{version}-%{release} Requires: alt-ergo coq cvc5 E gappa yices-tools z3 zenon %description all This package provides a complete software verification platform suite based on Why3, including various automated and interactive provers. %package -n ocaml-%{name} Summary: Software verification library for ocaml Requires: ocaml-zip-devel%{?_isa} %description -n ocaml-%{name} This package contains an ocaml library that exposes the functionality of why3 to applications. %package -n ocaml-%{name}-devel Summary: Development files for using the ocaml-%{name} library Requires: ocaml-%{name}%{?_isa} = %{version}-%{release} Requires: ocaml-menhir%{?_isa} Requires: ocaml-num-devel%{?_isa} Requires: ocaml-re-devel%{?_isa} Requires: ocaml-sexplib-devel%{?_isa} Requires: ocaml-zip-devel%{?_isa} %description -n ocaml-%{name}-devel This package contains development files needed to build applications that use the ocaml-%{name} library. %package proofgeneral Summary: Why3 integration with ProofGeneral Requires: %{name} = %{version}-%{release} Requires: emacs-proofgeneral BuildArch: noarch %description proofgeneral This package provides a why3 plugin for ProofGeneral. %prep %autosetup -p1 fixtimestamp() { touch -r $1.orig $1 rm $1.orig } # Use the correct compiler flags, keep timestamps, and harden the build due to # network use. Link the binaries with runtime compiled with -fPIC. # This avoids many link-time errors. sed -e "s|-Wall|%{build_cflags}|;s/ -O -g//" \ -e "s/cp /cp -p /" \ -e "s|^OLINKFLAGS =.*|& -runtime-variant _pic -ccopt \"%{build_ldflags}\"|" \ -i Makefile.in # Update the ProofGeneral integration instructions sed -i.orig 's,(MY_PATH_TO_WHY3)/share/whyitp,%{_emacs_sitelispdir},' share/whyitp/README fixtimestamp share/whyitp/README %build %configure --enable-verbose-make --enable-bddinfer # FIXME: Parallel make sometimes fails make make doc rm -f doc/html/.buildinfo examples/use_api/.merlin.in %install %make_install make install-lib DESTDIR=%{?buildroot} INSTALL="%{__install} -p" %ifarch %{ocaml_native_compiler} # Install the native coq files cd lib/coq for dir in $(find . -name .coq-native); do cp -a $dir %{buildroot}%{_libdir}/%{name}/coq/$dir done cd - %endif # Install the bash completion file mkdir -p %{buildroot}%{bash_completions_dir} cp -p share/bash/%{name} %{buildroot}%{bash_completions_dir} # Install the zsh completion file mkdir -p %{buildroot}%{zsh_completions_dir} cp -p share/zsh/_why3 %{buildroot}%{zsh_completions_dir} # Install the LaTeX style mkdir -p %{buildroot}%{_texmf}/tex/latex/why3 cp -p share/latex/why3lang.sty %{buildroot}%{_texmf}/tex/latex/why3 # Move the gtksourceview language file to the right place mkdir -p %{buildroot}%{_datadir}/gtksourceview-3.0 mv %{buildroot}%{_datadir}/%{name}/lang \ %{buildroot}%{_datadir}/gtksourceview-3.0/language-specs # Install the desktop file mkdir -p %{buildroot}%{_datadir}/applications desktop-file-install --dir=%{buildroot}%{_datadir}/applications %{SOURCE1} # Install the icon mkdir -p %{buildroot}%{_datadir}/icons/hicolor/scalable cp -p share/images/src/logo-kim.svg \ %{buildroot}%{_datadir}/icons/hicolor/scalable/%{name}.svg # Install the AppStream metadata mkdir -p %{buildroot}%{_metainfodir} cp -p %{SOURCE2} %{buildroot}%{_metainfodir} appstream-util validate-relax --nonet \ %{buildroot}%{_metainfodir}/fr.lri.%{name}.metainfo.xml # Move the vim file to the right place mkdir -p %{buildroot}%{_datadir}/vim/vimfiles mv %{buildroot}%{_datadir}/%{name}/vim/ftdetect \ %{buildroot}%{_datadir}/%{name}/vim/syntax \ %{buildroot}%{_datadir}/vim/vimfiles # Byte compile the Emacs support files cp -p share/whyitp/whyitp.el %{buildroot}%{_emacs_sitelispdir} cd %{buildroot}%{_emacs_sitelispdir} %{_emacs_bytecompile} %{name}.el whyitp.el cd - # Remove misplaced documentation rm -fr %{buildroot}%{_datadir}/doc # Fix permissions chmod 0755 %{buildroot}%{_bindir}/* \ %{buildroot}%{_libdir}/%{name}/commands/* \ %{buildroot}%{_libdir}/%{name}/plugins/*.cmxs \ %{buildroot}%{ocamldir}/%{name}/*.cmxs %files %doc AUTHORS CHANGES.md README.md doc/html doc/latex/manual.pdf %license LICENSE %{_bindir}/%{name} %{_bindir}/isabelle_client %{bash_completions_dir}/why3 %{zsh_completions_dir}/_why3 %{_datadir}/%{name}/ %{_datadir}/applications/fr.lri.%{name}.desktop %{_datadir}/gtksourceview-3.0/language-specs/%{name}.lang %{_datadir}/gtksourceview-3.0/language-specs/%{name}c.lang %{_datadir}/gtksourceview-3.0/language-specs/%{name}py.lang %{_datadir}/icons/hicolor/scalable/%{name}.svg %{_datadir}/vim/vimfiles/ftdetect/%{name}.vim %{_datadir}/vim/vimfiles/syntax/%{name}.vim %{_texmf}/tex/latex/why3/ %{_libdir}/%{name}/ %{_metainfodir}/fr.lri.%{name}.metainfo.xml %files -n ocaml-%{name} %dir %{ocamldir}/%{name}/ %{ocamldir}/%{name}/META %{ocamldir}/%{name}/*.cmi %ifarch %{ocaml_native_compiler} %{ocamldir}/%{name}/*.cmxs %endif %files -n ocaml-%{name}-devel %ifarch %{ocaml_native_compiler} %{ocamldir}/%{name}/*.a %{ocamldir}/%{name}/*.cmx %{ocamldir}/%{name}/*.cmxa %else %{ocamldir}/%{name}/*.cma %endif %{ocamldir}/%{name}/*.cmt %files examples %doc examples %files emacs %{_emacs_sitelispdir}/%{name}.el* %files proofgeneral %doc share/whyitp/README %{_emacs_sitelispdir}/whyitp.el* # "why3-all" is a meta-package; it just depends on other packages, so that # it's easier to install a useful suite of tools. Thus, it has no files: %files all %changelog * Thu Jun 13 2024 Jerry James - 1.7.2-3 - Rebuild for apron 0.9.15 - New upstream URL * Thu May 30 2024 Richard W.M. Jones - 1.7.2-2 - OCaml 5.2.0 for Fedora 41 * Thu Apr 18 2024 Jerry James - 1.7.2-1 - Version 1.7.2 * Mon Mar 25 2024 Richard W.M. Jones - 1.7.1-3 - Use %%{bash_completions_dir} macro * Fri Feb 2 2024 Jerry James - 1.7.1-2 - Build again because koji ran out of disk space * Fri Feb 2 2024 Jerry James - 1.7.1-1 - Version 1.7.1 * Sat Jan 27 2024 Fedora Release Engineering - 1.7.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 2 2024 Jerry James - 1.7.0-1 - Version 1.7.0 - Drop upstreamed coq patch * Mon Dec 18 2023 Richard W.M. Jones - 1.6.0-9 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones - 1.6.0-8 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones - 1.6.0-7 - OCaml 5.1 rebuild for Fedora 40 * Sat Sep 9 2023 Jerry James - 1.6.0-6 - Rebuild for ocaml-ocamlgraph 2.1.0 * Sat Jul 29 2023 Jerry James - 1.6.0-5 - Require cvc5 instead of cvc4 * Thu Jul 27 2023 Jerry James - 1.6.0-4 - Rebuild for ocaml-zarith 1.13 * Sat Jul 22 2023 Fedora Release Engineering - 1.6.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James - 1.6.0-2 - Validate metadata with appstream-util * Thu Jul 13 2023 Jerry James - 1.6.0-2 - Rebuild for mpfr 4.2.0 * Mon Jul 10 2023 Jerry James - 1.6.0-1 - Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support * Sat Apr 1 2023 Jerry James - 1.5.1-7 - Rebuild for coq 8.17.0 * Tue Jan 24 2023 Richard W.M. Jones - 1.5.1-6 - Rebuild OCaml packages for F38 * Sat Jan 21 2023 Fedora Release Engineering - 1.5.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Fri Jan 6 2023 Jerry James - 1.5.1-4 - BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022 * Sat Nov 26 2022 Jerry James - 1.5.1-3 - Rebuild for coq 8.16.1 * Tue Nov 1 2022 Jerry James - 1.5.1-2 - Rebuild for ocaml-ppxlib 0.28.0 * Fri Sep 16 2022 Jerry James - 1.5.1-1 - Version 1.5.1 * Thu Aug 18 2022 Jerry James - 1.5.0-3 - Rebuild to fix coq dependency - Convert License tag to SPDX * Sat Jul 23 2022 Fedora Release Engineering - 1.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jul 19 2022 Jerry James - 1.5.0-1 - Remove i686 support * Thu Jul 7 2022 Jerry James - 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 - 1.4.1-3 - OCaml 4.14.0 rebuild * Fri Mar 25 2022 Jerry James - 1.4.1-2 - Rebuild for coq 8.15.1 * Mon Feb 28 2022 Jerry James - 1.4.1-1 - Version 1.4.1 * Fri Feb 04 2022 Richard W.M. Jones - 1.4.0-11 - OCaml 4.13.1 rebuild to remove package notes * Sat Jan 22 2022 Fedora Release Engineering - 1.4.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Jan 17 2022 Jerry James - 1.4.0-9 - Rebuild for menhir 20211230 * Mon Dec 27 2021 Jerry James - 1.4.0-8 - Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11 * Tue Nov 30 2021 Jerry James - 1.4.0-7 - Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128 * Thu Oct 21 2021 Jerry James - 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 - 1.4.0-5 - OCaml 4.13.1 build * Mon Oct 04 2021 Richard W.M. Jones - 1.4.0-4 - Try to build on s390x with OCaml 4.13 * Fri Jul 30 2021 Jerry James - 1.4.0-3 - Rebuild for rebuilt coq * Fri Jul 23 2021 Fedora Release Engineering - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jul 14 2021 Jerry James - 1.4.0-1 - Version 1.4.0 - Drop all patches - Validate with appstreamcli instead of appstream-util * Tue Jun 8 2021 Jerry James - 1.3.3-9 - Rebuild for ocaml-menhir 20210419 * Wed Mar 3 2021 Jerry James - 1.3.3-8 - Rebuild for coq 8.13.1 and ocaml-zarith 1.12 * Tue Mar 2 11:18:12 GMT 2021 Richard W.M. Jones - 1.3.3-7 - OCaml 4.12.0 build * Sat Feb 20 2021 Jerry James - 1.3.3-6 - Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir * Wed Jan 27 2021 Fedora Release Engineering - 1.3.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sat Jan 2 2021 Jerry James - 1.3.3-4 - Rebuild for flocq 3.4.0 * Wed Dec 23 2020 Jerry James - 1.3.3-3 - Rebuild for coq 8.12.2 * Wed Dec 2 2020 Jerry James - 1.3.3-2 - Rebuild for coq 8.12.1 and menhir 20201201 * Fri Sep 25 2020 Jerry James - 1.3.3-1 - Version 1.3.3 * Wed Sep 02 2020 Richard W.M. Jones - 1.3.1-14 - OCaml 4.11.1 rebuild * Tue Sep 1 2020 Jerry James - 1.3.1-13 - Rebuild for coq 8.12.0 * Mon Aug 24 2020 Richard W.M. Jones - 1.3.1-13 - OCaml 4.11.0 rebuild * Thu Aug 6 2020 Jerry James - 1.3.1-12 - Rebuild for ocaml-lablgtk3 3.1.1 and ocaml-menhir 20200624 * Wed Jul 29 2020 Fedora Release Engineering - 1.3.1-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jun 15 2020 Jerry James - 1.3.1-10 - Rebuild for coq 8.11.2 * Sat Jun 13 2020 Jerry James - 1.3.1-9 - Rebuild for flocq 3.3.1 - Build the coq files with the native compiler when possible * Wed May 20 2020 Jerry James - 1.3.1-8 - Rebuild for coq 8.11.1 * Tue May 05 2020 Richard W.M. Jones - 1.3.1-7 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Sun Apr 12 2020 Jerry James - 1.3.1-6 - Make the dependencies on ocaml-num and ocaml-zip explicit (bz 1795083) * Wed Apr 8 2020 Jerry James - 1.3.1-5 - Rebuild for flocq 3.2.1 * Sun Apr 05 2020 Richard W.M. Jones - 1.3.1-4 - Update all OCaml dependencies for RPM 4.16. * Wed Apr 1 2020 Jerry James - 1.3.1-3 - Do not build with mlmpfr; symbols clash with mlgmpidl, causing frama-c to fail to start - Obsolete the why2 packages * Sat Mar 28 2020 Jerry James - 1.3.1-2 - Remove useless BRs and Rs (bz 1817878) * Wed Mar 25 2020 Jerry James - 1.3.1-1 - Version 1.3.1 * Fri Jan 31 2020 Fedora Release Engineering - 1.2.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Jerry James - 1.2.1-3 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones - 1.2.1-2 - OCaml 4.09.0 (final) rebuild. * Tue Oct 29 2019 Jerry James - 1.2.1-1 - New upstream release - Add -proofgeneral subpackage - Add desktop and AppData files * Fri Oct 11 2019 Jerry James - 1.2.0-6 - Rebuild for ocaml-menhir 20190924 * Fri Sep 6 2019 Jerry James - 1.2.0-5 - Rebuild for ocaml-zarith 1.9 * Thu Aug 1 2019 Jerry James - 1.2.0-4 - Also install the library, for consumption by frama-c * Thu Aug 1 2019 Jerry James - 1.2.0-3 - Rebuild for flocq 3.2.0 * Sat Jul 27 2019 Fedora Release Engineering - 1.2.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 5 2019 Jerry James - 1.2.0-1 - New upstream release * Sun Feb 03 2019 Fedora Release Engineering - 1.1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James - 1.1.1-1 - New upstream release * Sat Jul 14 2018 Fedora Release Engineering - 0.88.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Thu Jul 12 2018 Richard W.M. Jones - 0.88.3-4 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.88.3-3 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.88.3-2 - OCaml 4.07.0-rc1 rebuild. * Mon Feb 12 2018 Jerry James - 0.88.3-1 - New upstream release * Fri Feb 09 2018 Fedora Release Engineering - 0.88.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Dec 9 2017 Jerry James - 0.88.2-1 - New upstream release * Fri Nov 17 2017 Richard W.M. Jones - 0.88.1-1 - New upstream version 0.88.1. - OCaml 4.06.0 rebuild. * Sat Oct 7 2017 Jerry James - 0.88.0-1 - New usptream release * Thu Oct 5 2017 Jerry James - 0.87.3-12 - Rebuild for flocq 2.6.0 * Wed Sep 06 2017 Richard W.M. Jones - 0.87.3-11 - OCaml 4.05.0 rebuild. * Thu Aug 03 2017 Fedora Release Engineering - 0.87.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering - 0.87.3-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-8 - Bump release and rebuild. * Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-7 - Bump release and rebuild. * Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-6 - Bump release and rebuild. * Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-5 - OCaml 4.04.2 rebuild. * Fri May 12 2017 Richard W.M. Jones - 0.87.3-4 - OCaml 4.04.1 rebuild. * Fri Mar 24 2017 Jerry James - 0.87.3-3 - Rebuild to fix coq consistency issue * Sat Feb 11 2017 Fedora Release Engineering - 0.87.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Jan 12 2017 Jerry James - 0.87.3-1 - New upstream release * Mon Nov 07 2016 Richard W.M. Jones - 0.87.2-4 - Rebuild for OCaml 4.04.0. * Fri Oct 28 2016 Jerry James - 0.87.2-3 - Rebuild for coq 8.5pl3 - Remove obsolete scriptlets - Fix install location of why3lang.sty * Thu Sep 29 2016 Jerry James - 0.87.2-2 - Rebuild for flocq 2.5.2 and gappalib-coq 1.3.1 * Fri Sep 2 2016 Jerry James - 0.87.2-1 - New upstream release * Wed Jul 13 2016 Jerry James - 0.87.1-2 - Rebuild for coq 8.5pl2 * Wed Jun 1 2016 Jerry James - 0.87.1-1 - New upstream release * Fri Apr 22 2016 Jerry James - 0.87.0-3 - Rebuild for coq 8.5pl1 * Sat Apr 16 2016 Jerry James - 0.87.0-2 - Rebuild for ocaml-ocamlgraph 1.8.7 * Fri Mar 18 2016 Jerry James - 0.87.0-1 - New upstream release - Drop boomy icon removal; upstream no longer ships them * Fri Feb 12 2016 Jerry James - 0.86.3-1 - New upstream release - Use camlp4 in preference to camlp5 * Fri Feb 05 2016 Fedora Release Engineering - 0.86.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Nov 25 2015 Jerry James - 0.86.2-2 - Rebuild for ocaml-zarith 1.4.1 and ocaml-menhir 20151112 * Wed Oct 14 2015 Jerry James - 0.86.2-1 - New upstream release - Do not ship the nonfree boomy icons * Wed Jun 24 2015 Richard W.M. Jones - 0.86.1-2 - ocaml-4.02.2 final rebuild. * Mon Jun 22 2015 Jerry James - 0.86.1-1 - New upstream release * Wed Jun 17 2015 Richard W.M. Jones - 0.86-2 - ocaml-4.02.2 rebuild. * Sat May 16 2015 Jerry James - 0.86-1 - New upstream release * Sat Apr 11 2015 Jerry James - 0.85-9 - Rebuild for coq 8.4pl6 * Wed Mar 18 2015 Jerry James - 0.85-8 - Rebuild for ocaml-ocamlgraph 1.8.6 * Sat Feb 21 2015 Jerry James - 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 - 0.85-6 - ocaml-4.02.1 rebuild. * Thu Nov 6 2014 Jerry James - 0.85-5 - Rebuild for ocaml-camlp5 6.12 * Thu Oct 30 2014 Jerry James - 0.85-4 - Rebuild for coq 8.4pl5 * Tue Oct 14 2014 Jerry James - 0.85-3 - Rebuild for ocaml-zarith 1.3 * Thu Sep 18 2014 Jerry James - 0.85-2 - Bump and rebuild * Wed Sep 17 2014 Jerry James - 0.85-1 - New upstream release - New source URL * Tue Sep 2 2014 Jerry James - 0.84-1 - New upstream release - Fix license handling * Mon Aug 25 2014 Jerry James - 0.83-14 - Rebuild for new gappalib-coq build * Sun Aug 24 2014 Richard W.M. Jones - 0.83-13 - ocaml-4.02.0+rc1 rebuild. * Mon Aug 18 2014 Fedora Release Engineering - 0.83-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Mon Aug 4 2014 Jerry James - 0.83-11 - Rebuild for new gappalib-coq build * Sat Aug 02 2014 Richard W.M. Jones - 0.83-10 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. * Fri Aug 01 2014 Richard W.M. Jones - 0.83-9 - OCaml 4.02.0 beta rebuild. * Thu Jun 26 2014 Jerry James - 0.83-8 - Linking with -z relro -z now breaks plugins; omit "-z now" * Sun Jun 08 2014 Fedora Release Engineering - 0.83-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Tue May 13 2014 Jerry James - 0.83-6 - Rebuild for coq 8.4pl4 * Mon Apr 21 2014 Jerry James - 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 - 0.83-4 - Remove ocaml_arches macro (RHBZ#1087794). * Mon Mar 24 2014 Jerry James - 0.83-3 - Apply upstream fix for building with ocaml-zarith - Fix file encodings - Fix permission bits * Tue Mar 18 2014 Jerry James - 0.83-2 - Back out the post-release fix to the Coq printer, which breaks Frama-C * Fri Mar 14 2014 Jerry James - 0.83-1 - New upstream release - Use cvc4 instead of cvc3 * Wed Feb 26 2014 Jerry James - 0.82-2 - Rebuild for ocamlgraph 1.8.4 - BR ocaml-findlib instead of ocaml-findlib-devel * Fri Dec 13 2013 Jerry James - 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 - 0.81-6 - Apply upstream fix for change in the alt-ergo timelimit option * Tue Sep 17 2013 Jerry James - 0.81-5 - Rebuild for OCaml 4.01.0 - Enable debuginfo for the ocaml sources * Sun Aug 04 2013 Fedora Release Engineering - 0.81-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Fri Jun 21 2013 Jerry James - 0.81-3 - Rebuild for frama-c Fluorine 20130601 * Thu May 23 2013 Jerry James - 0.81-2 - Rebuild for frama-c Fluorine 20130501 * Fri May 10 2013 Jerry James - 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 - 0.73-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Mon Jan 7 2013 Jerry James - 0.73-4 - Rebuild for coq 8.4pl1 * Fri Dec 14 2012 Richard W.M. Jones - 0.73-3 - Rebuild for OCaml 4.00.1. * Thu Aug 23 2012 Jerry James - 0.73-2 - Rebuild for coq 8.4 * Thu Aug 2 2012 Jerry James - 0.73-1 - New upstream release * Sun Jul 22 2012 Fedora Release Engineering - 0.71-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Thu Apr 19 2012 Jerry James - 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 - 0.71-1 - Initial RPM