philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

2 commits

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