mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2016-01-25	compcert: 2.5 -> 2.6	Vincent Laporte	1	-3/+3
2015-07-15	compcert: 2.4 -> 2.5	Vincent Laporte	1	-5/+19
2014-12-26	Change occurrences of gcc to the more general cc	John Wiegley	1	-2/+5
2014-10-05	CompCert: update to 2.4	Vincent Laporte	1	-8/+7
2014-07-01	compcert: Correct syntax used in default.nix	John Wiegley	1	-2/+2
2014-07-01	compcert: build with 64-bit compiler, add darwin support	John Wiegley	1	-3/+6
2014-06-09	compcert: fix build by adding menhir dependency	Austin Seipp	1	-2/+2
2014-06-06	compcert: 2.2 -> 2.3pl2	Austin Seipp	1	-2/+2
2014-05-02	compcert: Fix Hydra platforms	Austin Seipp	1	-1/+1
2014-05-01	nixpkgs: add CompCert	Austin Seipp	1	-0/+24