| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: why-coq | Distribution: Fedora Project |
| Version: 2.29 | Vendor: Fedora Project |
| Release: 2.fc15 | Build date: Thu Jul 14 22:59:04 2011 |
| Group: Applications/Engineering | Build host: x86-14.phx2.fedoraproject.org |
| Size: 941838 | Source RPM: why-2.29-2.fc15.src.rpm |
| Packager: Fedora Project | |
| Url: http://why.lri.fr/ | |
| Summary: Libraries for interfacing Coq with Why | |
This package contains a set of routines that assist in the manipulation of why Coq-formatted output within Coq.
LPGLv2 with exceptions
* Thu Jul 14 2011 Jerry James <loganjerry@gmail.com> - 2.29-2
- Fix broken conditionals
* Mon Jul 11 2011 Jerry James <loganjerry@gmail.com> - 2.29-1
- New upstream release (fixes FTBFS: bz 715902)
- Remove unnecessary spec file elements (BuildRoot, etc.)
- Update approach to filtering provides and requires
- Add has_pvs analogously to has_coq, and simplify macro usage
- Add (X)Emacs support packages
- New subpackage for the jessie plugin to avoid unowned directories and
permit a direct dependency on frama-c
- Prepare for the eventual availability of APRON
* Thu Apr 14 2011 Karsten Hopp <karsten@redhat.com> 2.28-2.2
- add ppc to excludearch, too. No pvs-sbcl available there
* Wed Apr 13 2011 Karsten Hopp <karsten@redhat.com> 2.28-2.1
- add ppc64 to excludearch, no sbcl available there
* Mon Feb 07 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.28-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Fri Jan 21 2011 Richard W.M. Jones <rjones@gmail.com> - 2.28-1
- Since 2.26 FTBFS, try latest upstream (2.28).
- Rebase Makefile.in patch.
- Fix(?) test result.
- No libdir/frama-c directory is created any more.
* Fri Jan 21 2011 Richard W.M. Jones <rjones@gmail.com> - 2.26-2
- Bump and rebuild for OCaml 3.12.
* Sat Oct 09 2010 David A. Wheeler + Mark Rader <dwheeler@dwheeler.com> - 2.26-1
- Upgrade to upstream version 2.26 (inc. update of krakatoa.pdf)
- Integrated with Frama-C and PVS (as pvs-sbcl)
* Mon Jan 11 2010 Richard W.M. Jones <rjones@gmail.com> - 2.23-2
- Rebuild to fix dependencies.
* Fri Jan 08 2010 Alan Dunn <amdunn@gmail.com> - 2.23-1
- Upgrade to upstream version 2.23
- Move execstack fixing to spec file from patch
- Moved patch descriptions to initial patch declaration as in examples
in Fedora documentation
- New Caduceus, Krakatoa documentation
- Update test result from small test min.mlw
- Added CVC3 interfacing capabilities
- Removed patch for gwhy configuration, as there is a new mechanism for this
* Tue Sep 22 2009 Dennis Gilmore <dennis@ausil.us> - 2.17-5
- Exclude sparc64 s390 s390x there is no ocaml there
* Fri Aug 07 2009 Alan Dunn <amdunn@gmail.com> - 2.17-4
- Removed now irrelevant check for no OCaml in Fedora < 9 (those
distributions are EOL)
- Changed ExcludeArch to proper Fedora versions
- Builds coq subpackage exactly when Coq can be built, thus making
build independent of whether Coq can be built
- define -> global
- Fixed accidental use of in tar ocamlgraph instead of one that is
separately packaged
* Mon Jul 27 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.17-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.17-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Wed Dec 24 2008 Alan Dunn <amdunn@gmail.com> 2.17-1
- Upgrade to version 2.17 (bz: 477790)
- Add ownership of two directories common with Coq, but neither program requires the other (bz: 474016)
- Minor filename change in 2.17 (GPL -> LICENSE)
- Added back Coq .v files to match policy for Coq
- Changed directory structure re: jessie and krakatoa to match new structure in 2.17
- Minor changes to patches to ensure they still work in 2.17
- Corrected package location gwhy-icon.png (should only be in gwhy)
* Tue Aug 05 2008 Alan Dunn <amdunn@gmail.com> 2.14-2.1
- ExcludeArch ppc64 on Fedora 8 due to no ocaml.
* Fri Aug 01 2008 Alan Dunn <amdunn@gmail.com> 2.14-2
- Fixed minor issues in response to package review:
- Inclusion of COPYING, GPL license-related files
- Added config.mll patch to make default config file created nicer
- Changes subpackage dependencies to be fully versioned.
- Makes during build allowed to be noisy (allowed to print).
* Wed Jul 30 2008 Alan Dunn <amdunn@gmail.com> 2.14-1
- Changed to new version of why, removed previous why-cpulimit name
change, zenon output format patches as the issues were fixed in
why 2.14.
- Moved doc subpackage back into main package.
- Added example files to documentation subpackage.
- Added check section with test on small why file.
- Reformatted some macro names for greater readability.
* Thu Jul 24 2008 Alan Dunn <amdunn@gmail.com> 2.13-2
- Added several patches: fixed Zenon output, completed fix of rename
of cpulimit -> why-cpulimit.
* Wed Jul 23 2008 Alan Dunn <amdunn@gmail.com> 2.13-1
- Initial Fedora RPM version.
/usr/lib/caduceus/coq /usr/lib/caduceus/coq/caduceus_tactics.v /usr/lib/caduceus/coq/caduceus_why.v /usr/lib/coq/user-contrib/Why /usr/lib/coq/user-contrib/Why/Caduceus.v /usr/lib/coq/user-contrib/Why/Caduceus.vo /usr/lib/coq/user-contrib/Why/Why.v /usr/lib/coq/user-contrib/Why/Why.vo /usr/lib/coq/user-contrib/Why/WhyArrays.v /usr/lib/coq/user-contrib/Why/WhyArrays.vo /usr/lib/coq/user-contrib/Why/WhyBool.v /usr/lib/coq/user-contrib/Why/WhyBool.vo /usr/lib/coq/user-contrib/Why/WhyCM.v /usr/lib/coq/user-contrib/Why/WhyCM.vo /usr/lib/coq/user-contrib/Why/WhyCoqCompat.v /usr/lib/coq/user-contrib/Why/WhyCoqCompat.vo /usr/lib/coq/user-contrib/Why/WhyExn.v /usr/lib/coq/user-contrib/Why/WhyExn.vo /usr/lib/coq/user-contrib/Why/WhyInt.v /usr/lib/coq/user-contrib/Why/WhyInt.vo /usr/lib/coq/user-contrib/Why/WhyLemmas.v /usr/lib/coq/user-contrib/Why/WhyLemmas.vo /usr/lib/coq/user-contrib/Why/WhyPermut.v /usr/lib/coq/user-contrib/Why/WhyPermut.vo /usr/lib/coq/user-contrib/Why/WhyPrelude.v /usr/lib/coq/user-contrib/Why/WhyPrelude.vo /usr/lib/coq/user-contrib/Why/WhyReal.v /usr/lib/coq/user-contrib/Why/WhyReal.vo /usr/lib/coq/user-contrib/Why/WhySorted.v /usr/lib/coq/user-contrib/Why/WhySorted.vo /usr/lib/coq/user-contrib/Why/WhyTactics.v /usr/lib/coq/user-contrib/Why/WhyTactics.vo /usr/lib/coq/user-contrib/Why/WhyTuples.v /usr/lib/coq/user-contrib/Why/WhyTuples.vo /usr/lib/coq/user-contrib/Why/caduceus_lists.v /usr/lib/coq/user-contrib/Why/caduceus_lists.vo /usr/lib/coq/user-contrib/Why/caduceus_tactics.v /usr/lib/coq/user-contrib/Why/caduceus_tactics.vo /usr/lib/coq/user-contrib/Why/caduceus_why.v /usr/lib/coq/user-contrib/Why/caduceus_why.vo /usr/lib/coq/user-contrib/Why/jessie_why.v /usr/lib/coq/user-contrib/Why/jessie_why.vo /usr/share/doc/why-coq-2.29 /usr/share/doc/why-coq-2.29/README.why-coq.Fedora
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon May 20 07:38:10 2013