rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The why rpms
4 commits 27 branches 26 tags 396 KiB
Find a file
Exact
Jesse Keating a28ed67f72 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
2009-02-25 18:36:27 +00:00
.cvsignore Changed patches slightly so that hunks match updated files in 2.17. 2008-12-24 16:37:05 +00:00
caduceus.ps Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
gwhy-2.17.patch Changed patches slightly so that hunks match updated files in 2.17. 2008-12-24 16:37:05 +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 Changed patches slightly so that hunks match updated files in 2.17. 2008-12-24 16:37:05 +00:00
Makefile Setup of module why 2008-08-04 18:32:10 +00:00
min.mlw Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
min_why.why.result Initial commit of Fedora why package. 2008-08-05 16:49:17 +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 Changed patches slightly so that hunks match updated files in 2.17. 2008-12-24 16:37:05 +00:00
why-2.17-Makefile.in.patch Changed patches slightly so that hunks match updated files in 2.17. 2008-12-24 16:37:05 +00:00
why-config.patch Initial commit of Fedora why package. 2008-08-05 16:49:17 +00:00
why.spec - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild 2009-02-25 18:36:27 +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.)