nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-26 07:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
17,922 Commits 198 Branches 125 Tags 9 GiB
bf4edd50de
Commit Graph

2 Commits

Author SHA1 Message Date
Michael Raskin
946cd2431f Update LEO-II 
svn path=/nixpkgs/trunk/; revision=28180
 2011-08-05 18:22:40 +00:00
Michael Raskin
c32bd62956 Adding LEO2 automated higher-order prover 
svn path=/nixpkgs/trunk/; revision=24952
 2010-12-01 21:29:42 +00:00