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
..
1.8.x.nix	Change occurrences of gcc to the more general cc	2014-12-26 11:06:21 -06:00
2.0.x.nix	cryptol: add 1.8.x expression	2014-04-29 17:50:55 -05:00
fix-gitrev.patch	cryptol v2.0.0	2014-04-25 05:42:00 -05:00