swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-29 00:20:19 +02:00
Code Issues Packages Projects Releases Wiki Activity
50398 commits 5 branches 0 tags 31 GiB
Commit graph

7 commits

Author SHA1 Message Date
Vincent Laporte 579e74549d CompCert: update to 2.4 2014-10-05 23:38:16 +01:00
John Wiegley f666bf4ddf compcert: Correct syntax used in default.nix 2014-07-01 17:01:11 -05:00
John Wiegley 8d5c4e8b4b compcert: build with 64-bit compiler, add darwin support 2014-07-01 16:43:27 -05:00
Austin Seipp 8155e5d119 compcert: fix build by adding menhir dependency 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-06-09 01:25:27 -05:00
Austin Seipp 8c0b63162b compcert: 2.2 -> 2.3pl2 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-06-06 23:09:47 -05:00
Austin Seipp 27a0d56514 compcert: Fix Hydra platforms 
Copy-pasta error, and compcert doesn't really make sense on Darwin or
64bit linux (it's callPackage_i686 anyway).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-02 14:07:36 -05:00
Austin Seipp 0c51a4ac98 nixpkgs: add CompCert 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 19:11:46 -05:00