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

zenon-0.8.2-9.fc28 RPM for s390x

From Fedora Rawhide for s390x / z

Name: zenon Distribution: Fedora Project
Version: 0.8.2 Vendor: Fedora Project
Release: 9.fc28 Build date: Thu Sep 7 04:15:14 2017
Group: Unspecified Build host: firefly.bos.redhat.com
Size: 3471159 Source RPM: zenon-0.8.2-9.fc28.src.rpm
Packager: Fedora Project
Url: http://zenon-prover.org/
Summary: Automated theorem prover for first-order classical logic
Zenon is an automated theorem prover for first order classical logic
with equality, based on the tableau method.  Zenon can read input files
in TPTP, Coq, Focal, and its own Zenon format.  Zenon can directly
generate Coq proofs (proof scripts or proof terms), which can be
reinserted into Coq specifications.  Zenon can also be extended.

Provides

Requires

License

BSD

Changelog

* Wed Sep 06 2017 Jerry James <loganjerry@gmail.com> - 0.8.2-9
  - Rebuild for coq 8.6.1
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.2-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.2-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Jan 12 2017 Jerry James <loganjerry@gmail.com> - 0.8.2-5
  - Rebuild for coq 8.6
* Sat Nov 05 2016 Richard W.M. Jones <rjones@redhat.com> - 0.8.2-4
  - Rebuild for OCaml 4.04.0.
* Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 0.8.2-3
  - Rebuild for coq 8.5pl3
* Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 0.8.2-2
  - Rebuild for coq 8.5pl2
* Fri Jun 10 2016 Jerry James <loganjerry@gmail.com> - 0.8.2-1
  - New upstream release
* Wed Jun 01 2016 Jerry James <loganjerry@gmail.com> - 0.8.1-1
  - New upstream release
* Fri Apr 22 2016 Jerry James <loganjerry@gmail.com> - 0.8.0-8
  - Rebuild for coq 8.5pl1
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 0.8.0-7
  - Rebuild for coq 8.5
* Fri Feb 05 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Fri Jun 19 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.8.0-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat Apr 11 2015 Jerry James <loganjerry@gmail.com> - 0.8.0-4
  - Rebuild for coq 8.4pl6
* Wed Jan 07 2015 Jerry James <loganjerry@gmail.com> - 0.8.0-3
  - Update URLs
* Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 0.8.0-2
  - Rebuild for coq 8.4pl5
* Thu Oct 23 2014 Jerry James <loganjerry@gmail.com> - 0.8.0-1
  - New upstream release
  - Sources for the icon are no longer provided
  - Fix license handling
* Mon Aug 18 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7.1-14
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Mon Jun 16 2014 Jerry James <loganjerry@gmail.com> - 0.7.1-13
  - Drop bz 921706 workaround; now unnecessary
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7.1-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 0.7.1-11
  - Rebuild for coq 8.4pl4
  - Add workaround for bz 921706
* Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 0.7.1-10
  - Remove ocaml_arches macro (bz 1087794)
* Sat Dec 21 2013 Ville Skyttä <ville.skytta@iki.fi> - 0.7.1-9
  - Pass -g to ocamlopt, don't strip executable too early.
* Wed Dec 18 2013 Jerry James <loganjerry@gmail.com> - 0.7.1-8
  - Rebuild for coq 8.4pl3
  - Enable debuginfo generation
* Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7.1-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Wed May 08 2013 Jerry James <loganjerry@gmail.com> - 0.7.1-6
  - Rebuild for coq 8.4pl2
* Fri Feb 15 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7.1-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 07 2013 Jerry James <loganjerry@gmail.com> - 0.7.1-4
  - Rebuild for coq 8.4pl1
* Thu Dec 13 2012 Jerry James <loganjerry@gmail.com> - 0.7.1-3
  - Rebuild for OCaml 4.00.1
* Tue Aug 21 2012 Jerry James <loganjerry@gmail.com> - 0.7.1-2
  - Rebuild for coq 8.4
* Mon Jul 30 2012 Jerry James <loganjerry@gmail.com> - 0.7.1-1
  - New upstream release
  - Install the coq files where coq can find them automatically
* Sun Jul 22 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6.3-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jan 09 2012 Jerry James <loganjerry@gmail.com> - 0.6.3-5
  - Rebuild for OCaml 3.12.1
* Tue Dec 27 2011 Jerry James <loganjerry@gmail.com> - 0.6.3-4
  - Rebuild for coq 8.3pl3
* Mon Nov 14 2011 Jerry James <loganjerry@gmail.com> - 0.6.3-3
  - Change ExclusiveArch to %{ocaml_arches}
* Thu Jul 14 2011 Jerry James <loganjerry@gmail.com> - 0.6.3-2
  - Move the coq files back to /usr/share to avoid a dependency on coq
  - Add paper describing zenon to %doc
* Tue Jul 12 2011 Jerry James <loganjerry@gmail.com> - 0.6.3-1
  - New upstream release
  - Drop unnecessary spec file elements (BuildRoot, etc.)
  - Execstack flag clearing no longer necessary
  - Build on exactly the arches that coq builds on
  - Build the icons
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.5.0-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Tue Sep 22 2009 Dennis gilmore <dennis@ausil.us> - 0.5.0-7
  - ExcludeArch sparc64  no ocaml
* Tue Aug 11 2009 Ville Skyttä <ville.skytta@iki.fi> - 0.5.0-6
  - Use bzipped upstream tarball.
* Mon Jul 27 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.5.0-5.1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Mon Jun 15 2009 Karsten Hopp <karsten@redhat.com> 0.5.0-4.1
  - ocaml not available on mainframes, add excludearch
* Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.5.0-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-3
  - Add documentation for Zenon and its built-in format as man pages
    (man pages used so Debian, etc., will use them too)
  - Fix release number so it increases everywhere
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-2.1
  - macro fc8 failed, minor rebuild for Fedora 8
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-2
  - Moved examples to an "examples" subdirectory in /usr/share/doc/NAME-VERSION
  - Moved "check" to be after "install" in spec file (that's when it's executed)
  - Exclude ppc64 for Fedora 8 (it works on 9 and 10, but not 8)
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-1
  - Initial package

Files

/usr/bin/zenon
/usr/lib/.build-id
/usr/lib/.build-id/70
/usr/lib/.build-id/70/2bc22e3d47dd64a615dc50a2675f22f716550d
/usr/lib64/coq/user-contrib/Zenon
/usr/lib64/coq/user-contrib/Zenon/zenon.v
/usr/lib64/coq/user-contrib/Zenon/zenon.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.v
/usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_equiv.v
/usr/lib64/coq/user-contrib/Zenon/zenon_equiv.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_focal.v
/usr/lib64/coq/user-contrib/Zenon/zenon_focal.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_induct.v
/usr/lib64/coq/user-contrib/Zenon/zenon_induct.vo
/usr/share/doc/zenon
/usr/share/doc/zenon/examples
/usr/share/doc/zenon/examples/tptp-COM003+2.p
/usr/share/doc/zenon/examples/tptp-ReadMe
/usr/share/doc/zenon/zenlpar07.pdf
/usr/share/licenses/zenon
/usr/share/licenses/zenon/LICENSE
/usr/share/man/man1/zenon.1.gz
/usr/share/man/man5/zenon-format.5.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Dec 14 08:13:55 2017