rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The why rpms
39 commits 27 branches 26 tags 396 KiB
Find a file
Exact
Jerry James 8e6cc4625e Rebuild for alt-ergo 0.95.
2013-01-14 16:21:29 -07:00
.gitignore New upstream version. 2012-07-30 20:55:08 -06:00
div.pvs Update to version 2.26 2010-10-09 13:34:44 -04:00
gwhy-2.31.patch Use the correct version of the patch. 2012-07-30 21:11:07 -06:00
gwhy-icon.png Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
gwhy.desktop Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
jessie.desktop Update to version 2.26 2010-10-09 13:34:44 -04: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 New upstream version. 2012-07-30 20:55:08 -06:00
why-2.31-coq84.patch Frama-c is fixed; rebuild with the Jessie plugin enabled and functioning. 2012-08-27 16:19:46 -06:00
why-2.31-Makefile.in.patch New upstream version. 2012-07-30 20:55:08 -06:00
why-2.31-ocaml4.patch Add ocaml-mlgmpidl-devel and why3 BRs. 2012-08-22 17:28:12 -06:00
why-2.31-warning.patch Add ocaml-mlgmpidl-devel and why3 BRs. 2012-08-22 17:28:12 -06:00
why.spec Rebuild for alt-ergo 0.95. 2013-01-14 16:21:29 -07: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.)