John Wiegley 28b6fb61e6 Change occurrences of gcc to the more general cc ... This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.		2014-12-26 11:06:21 -06:00
..
abc
acgtk	Added acgtk-1.1	2014-10-28 14:06:21 +01:00
alt-ergo	zarith: propagate build input gmp	2014-11-07 09:50:39 +00:00
boolector
coq	coq_HEAD: update to latest Git version	2014-12-19 13:58:07 -06:00
cvc3	Turn more licenses into lib.licenses style	2014-11-06 00:48:16 +00:00
cvc4	cvc4: new derivation	2014-10-12 16:21:02 +02:00
ekrhyper
eprover
hol	Fix license attribute of many bsd-like licensed packages	2014-12-21 00:00:35 +01:00
hol_light	hol_light: update from 199 to 205	2014-11-17 06:53:45 +00:00
iprover
isabelle	isabelle: Version 2014 building on Linux and Darwin	2014-09-30 23:15:31 -05:00
lci
leo2	Fix license attribute of many bsd-like licensed packages	2014-12-21 00:00:35 +01:00
logisim
ltl2ba
matita
minisat
opensmt
ott	Turn more licenses into lib.licenses style	2014-11-06 00:48:16 +00:00
otter
picosat
prooftree
prover9
satallax	Turn more licenses into lib.licenses style	2014-11-06 00:48:16 +00:00
spass	Fix license attribute of many bsd-like licensed packages	2014-12-21 00:00:35 +01:00
stp	boost: Remove boost.lib	2014-11-02 17:22:27 -08:00
tptp
twelf	Turn more licenses into lib.licenses style	2014-11-06 00:48:16 +00:00
verifast	Change occurrences of gcc to the more general cc	2014-12-26 11:06:21 -06:00
why3	why3: update from 0.83 to 0.85	2014-10-12 16:21:02 +02:00
yices	Change occurrences of gcc to the more general cc	2014-12-26 11:06:21 -06:00
z3