public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Forgot to add picosat to the all-packages.nix in revision 29869. Now I'm adding it.

Browse Source 
svn path=/nixpkgs/trunk/; revision=30554
This commit is contained in:
Russell O'Connor 2011-11-24 19:53:42 +00:00
parent c9b2f32c45
commit a31ff3d009
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/top-level/all-packages.nix
View File

@ -8244,6 +8244,8 @@ let
opensmt = callPackage ../applications/science/logic/opensmt { }; opensmt = callPackage ../applications/science/logic/opensmt { };
picosat = callPackage ../applications/science/logic/picosat {};
prover9 = callPackage ../applications/science/logic/prover9 { }; prover9 = callPackage ../applications/science/logic/prover9 { };
satallax = callPackage ../applications/science/logic/satallax {}; satallax = callPackage ../applications/science/logic/satallax {};