cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
16335 commits 1 branch 0 tags 3.7 GiB
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