2 commits

Author	SHA1	Message	Date
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