diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2021-01-14 15:26:10 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-14 15:26:10 +0000 |
commit | d714c53f1701cd5e7e6aa7c1750d637ade5f3a98 (patch) | |
tree | 04d5adf65b81fe7b87633aa34f7e5c6e759bbe2c /pkgs/applications/science | |
parent | f2210b7287c1e08f2bb8babbfa302dd10f2f6f99 (diff) | |
download | nixpkgs-d714c53f1701cd5e7e6aa7c1750d637ade5f3a98.tar nixpkgs-d714c53f1701cd5e7e6aa7c1750d637ade5f3a98.tar.gz nixpkgs-d714c53f1701cd5e7e6aa7c1750d637ade5f3a98.tar.bz2 nixpkgs-d714c53f1701cd5e7e6aa7c1750d637ade5f3a98.tar.lz nixpkgs-d714c53f1701cd5e7e6aa7c1750d637ade5f3a98.tar.xz nixpkgs-d714c53f1701cd5e7e6aa7c1750d637ade5f3a98.tar.zst nixpkgs-d714c53f1701cd5e7e6aa7c1750d637ade5f3a98.zip |
fix mis-merge
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/opensmt/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix index 902dfc5765d..1681d454590 100644 --- a/pkgs/applications/science/logic/opensmt/default.nix +++ b/pkgs/applications/science/logic/opensmt/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, lib, fetchFromGitHub +{ stdenv, lib, fetchFromGitHub , cmake, libedit, gmpxx, bison, flex , enableReadline ? false, readline , gtest |