JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
14,557 Commits 2 Branches 0 Tags 12 GiB
5fca670490
Commit Graph

3 Commits

Author SHA1 Message Date
Peter Simons
098b763939 pkgs/applications/science/logic/prover9: fixed trivial syntax error 
svn path=/nixpkgs/trunk/; revision=23453
 2010-08-26 12:06:05 +00:00
Peter Simons
403938b004 pkgs/applications/science/logic/prover9: updated homepage and license 
svn path=/nixpkgs/trunk/; revision=23447
 2010-08-26 11:42:41 +00:00
Peter Simons
340d4a6ddd pkgs/applications/science/logic/prover9: initial version 
svn path=/nixpkgs/trunk/; revision=23446
 2010-08-26 11:37:05 +00:00