10 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Richard W.M. Jones	932630f603	Rebuild to fix dependencies. F-13-split F-13-start why-2_23-2_fc13	2010-01-11 22:28:29 +00:00
Alan Dunn	d5397effc2	- Upgrade to upstream version 2.23 ... why-2_23-1_fc13 - Move execstack fixing to spec file from patch - Moved patch descriptions to initial patch declaration as in examples in Fedora documentation - New Caduceus, Krakatoa documentation - Update test result from small test min.mlw - Added CVC3 interfacing capabilities - Removed patch for gwhy configuration, as there is a new mechanism for this	2010-01-08 19:58:52 +00:00
Bill Nottingham	d7e07426ce	Fix typo that causes a failure to update the common directory. (releng ... #2781)	2009-11-25 22:43:13 +00:00
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