Author: roconnor
Date: Thu Nov 24 19:53:42 2011
New Revision: 30554
URL: https://nixos.org/websvn/nix/?rev=30554&sc=1
Log:
Forgot to add picosat to the all-packages.nix in revision 29869. Now I'm
adding it.
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Thu Nov 24 19:48:20
2011 (r30553)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Thu Nov 24 19:53:42
2011 (r30554)
@@ -8244,6 +8244,8 @@
opensmt = callPackage ../applications/science/logic/opensmt { };
+ picosat = callPackage ../applications/science/logic/picosat {};
+
prover9 = callPackage ../applications/science/logic/prover9 { };
satallax = callPackage ../applications/science/logic/satallax {};
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
