rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The why rpms
106 commits 27 branches 26 tags 396 KiB
Find a file
Exact
Jerry James 88002a4073 New upstream release. 
Add -num patch to fix incomplete num to zarith conversion.
2018-02-12 20:20:06 -07:00
.gitignore New upstream release. 2018-02-12 20:20:06 -07:00
div.pvs Update to version 2.26 2010-10-09 13:34:44 -04:00
jessie.appdata.xml Rebuild for coq 8.5, flocq 2.5.1, gappalib-coq 1.2.1, why3 0.86.3, and 2016-02-12 09:03:09 -07:00
jessie.desktop Remove dropped patches. 2014-03-24 18:47:16 -06:00
patch_jessie_pvs Update to version 2.26 2010-10-09 13:34:44 -04:00
README.why Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
README.why-coq.Fedora Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
rem.pvs Update to version 2.26 2010-10-09 13:34:44 -04:00
sources New upstream release. 2018-02-12 20:20:06 -07:00
why-num.patch New upstream release. 2018-02-12 20:20:06 -07:00
why-ocaml-4.06.patch New upstream release. 2018-02-12 20:20:06 -07:00
why-project.patch New upstream release. 2018-02-12 20:20:06 -07:00
why-safe-string.patch New upstream release. 2018-02-12 20:20:06 -07:00
why.spec New upstream release. 2018-02-12 20:20:06 -07:00

README.why-coq.Fedora 

Fedora why-coq package:

Contains libraries for interfacing why with Coq.

You shouldn't have to do anything extra - you should now just be able
to use the Coq-related capabilities of Why.