rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The why rpms
69 commits 27 branches 26 tags 396 KiB
Find a file
Exact
Jerry James 03ccd7aa9e Rebuild for why3 0.86.1.
2015-06-22 17:18:39 -06:00
.gitignore Remove dropped patches. 2014-03-24 18:47:16 -06:00
div.pvs Update to version 2.26 2010-10-09 13:34:44 -04:00
gwhy-2.33.patch Fix gwhy-2.33.patch (bz 1164470). 2014-11-15 14:19:02 -07:00
gwhy-icon.png Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
gwhy.appdata.xml Rebuild for ocamlgraph 1.8.4. 2014-02-26 10:47:08 -07:00
gwhy.desktop Remove dropped patches. 2014-03-24 18:47:16 -06:00
jessie.appdata.xml Rebuild for ocamlgraph 1.8.4. 2014-02-26 10:47:08 -07:00
jessie.desktop Remove dropped patches. 2014-03-24 18:47:16 -06:00
min.mlw Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
min_why.why.result - Since 2.26 FTBFS, try latest upstream (2.28). 2011-01-21 18:43:31 +00: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
README.why-gwhy.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 Remove dropped patches. 2014-03-24 18:47:16 -06:00
why-2.34-Makefile.in.patch New upstream release. 2014-03-18 13:21:31 -06:00
why-flocq24.patch Rebuild for the final ocaml 4.02.0 release. 2014-09-02 20:19:24 -06:00
why-ocamlgraph186.patch Add -ocamlgraph186 patch to adapt to ocamlgraph 1.8.6. 2015-03-20 10:46:25 -06:00
why-project.patch Omit "-z now" when building with relro (bz 1105265). 2014-06-26 15:44:21 -06:00
why.spec Rebuild for why3 0.86.1. 2015-06-22 17:18:39 -06:00

README.why-gwhy.Fedora 

Fedora why-gwhy package:

Contains the gwhy GUI for Why.

Run gwhy with "gwhy <filename>". (If you forget and run without a
filename you'll be prompted for it.)