diff options
| author | Franz Pletz <fpletz@fnordicwalking.de> | 2019-12-30 03:31:33 +0100 |
|---|---|---|
| committer | Franz Pletz <fpletz@fnordicwalking.de> | 2019-12-30 03:50:35 +0100 |
| commit | 1a871b43824b79432fe06b9c15029961c4b0efb6 (patch) | |
| tree | 1d3193aa6099e315caea9cc6150b9a38b5d400fd /pkgs/top-level | |
| parent | a88fc6be6df50f4cbc0273dd31baea6ffc51da27 (diff) | |
minisat: 2.2.0 -> 2.2.1
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index ac7ac83ec7cd3..7513834a25b5a 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -24059,7 +24059,6 @@ in mcrl2 = callPackage ../applications/science/logic/mcrl2 { }; minisat = callPackage ../applications/science/logic/minisat {}; - minisatUnstable = callPackage ../applications/science/logic/minisat/unstable.nix {}; monosat = callPackage ../applications/science/logic/monosat {}; |