rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The why rpms
10 commits 27 branches 26 tags 396 KiB
Find a file
Exact
Richard W.M. Jones 932630f603 Rebuild to fix dependencies.
2010-01-11 22:28:29 +00:00
.cvsignore - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00:00
caduceus.ps - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00:00
gwhy-2.23.patch - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00: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
import.log - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00:00
Makefile Fix typo that causes a failure to update the common directory. (releng 2009-11-25 22:43:13 +00:00
min.mlw Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
min_why.why.result - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00: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
sources - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00:00
why-2.23-Makefile.in.patch - Upgrade to upstream version 2.23 2010-01-08 19:58:52 +00:00
why.spec Rebuild to fix dependencies. 2010-01-11 22:28:29 +00: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.)