public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
21,710 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

3 Commits

Author SHA1 Message Date
Michael Raskin 07de46c2fa Update E prover 
svn path=/nixpkgs/trunk/; revision=31269
 2012-01-04 10:31:49 +00:00
Michael Raskin 4f6c18925d Fix installation for updated E prover release 
svn path=/nixpkgs/trunk/; revision=23435
 2010-08-26 04:34:20 +00:00
Michael Raskin 05c7e81eaa Move E prover to applications/science/logic 
svn path=/nixpkgs/trunk/; revision=23434
 2010-08-25 22:38:11 +00:00