From a31ff3d00917e2daea4610d52793663fe17e36e0 Mon Sep 17 00:00:00 2001 From: Russell O'Connor Date: Thu, 24 Nov 2011 19:53:42 +0000 Subject: [PATCH] Forgot to add picosat to the all-packages.nix in revision 29869. Now I'm adding it. svn path=/nixpkgs/trunk/; revision=30554 --- pkgs/top-level/all-packages.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index e0c77757b35..2c715b650ac 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8244,6 +8244,8 @@ let opensmt = callPackage ../applications/science/logic/opensmt { }; + picosat = callPackage ../applications/science/logic/picosat {}; + prover9 = callPackage ../applications/science/logic/prover9 { }; satallax = callPackage ../applications/science/logic/satallax {};