diff options
author | Merlin Göttlinger <megoettlinger@gmail.com> | 2019-02-26 13:36:04 +0100 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2019-02-26 12:36:04 +0000 |
commit | 5781856630d734738aae55f5bc15e71b210aeb10 (patch) | |
tree | 6d3135116746465250d867ac39b28f4012b3fa51 /pkgs/top-level | |
parent | 8aa34227e882eb43dfbd40663fc7fa930f395312 (diff) | |
download | nixlib-5781856630d734738aae55f5bc15e71b210aeb10.tar nixlib-5781856630d734738aae55f5bc15e71b210aeb10.tar.gz nixlib-5781856630d734738aae55f5bc15e71b210aeb10.tar.bz2 nixlib-5781856630d734738aae55f5bc15e71b210aeb10.tar.lz nixlib-5781856630d734738aae55f5bc15e71b210aeb10.tar.xz nixlib-5781856630d734738aae55f5bc15e71b210aeb10.tar.zst nixlib-5781856630d734738aae55f5bc15e71b210aeb10.zip |
clprover: init at 1.0.3 (#56403)
* clprover: init at 1.0.3
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7c84a06eb2cf..885d64b14dd8 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -1181,6 +1181,8 @@ in clingo = callPackage ../applications/science/logic/potassco/clingo.nix { }; + clprover = callPackage ../applications/science/logic/clprover/clprover.nix { }; + colord-kde = libsForQt5.callPackage ../tools/misc/colord-kde {}; colpack = callPackage ../applications/science/math/colpack { }; |