7 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Dennis Gilmore	925d085369	no ocaml on s390 s390x and sparc64 F-12-split F-12-start why-2_17-5_fc12	2009-09-22 19:36:16 +00:00
Alan Dunn	292010d5c9	- Removed now irrelevant check for no OCaml in Fedora < 9 (those ... why-2_17-4_fc12 distributions are EOL) - Changed ExcludeArch to proper Fedora versions - Builds coq subpackage exactly when Coq can be built, thus making build independent of whether Coq can be built - define -> global - Fixed accidental use of in tar ocamlgraph instead of one that is separately packaged	2009-08-08 02:35:30 +00:00
Jesse Keating	069bfa960a	- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild why-2_17-3_fc12	2009-07-27 07:15:16 +00:00
Jesse Keating	a28ed67f72	- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild F-11-split F-11-start why-2_17-2_fc11	2009-02-25 18:36:27 +00:00
Alan Dunn	df0122dde8	Changed patches slightly so that hunks match updated files in 2.17. why-2_17-1_fc11	2008-12-24 16:37:05 +00:00
Alan Dunn	652b3f3bd9	Initial commit of Fedora why package. F-10-split F-10-start why-2_14-2_fc10	2008-08-05 16:49:17 +00:00
Kevin Fenzi	0f35747732	Setup of module why F-8-split F-8-start F-9-split F-9-start	2008-08-04 18:32:10 +00:00