diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2021-08-22 09:30:15 +0000 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2021-08-22 09:30:15 +0000 |
| commit | 3760bcfd589b4dbe86ec634e4908ebd0126f4c0c (patch) | |
| tree | 102f77f512ae2c2e5e8f8f1e55c93df5c81f9fe0 | |
| parent | 456481aa3dd633038c86635f3bcf83d339254119 (diff) | |
opensmt: 2.0.1 -> 2.1.0
| -rw-r--r-- | pkgs/applications/science/logic/opensmt/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix index 1681d4545904..fd22b7b1add8 100644 --- a/pkgs/applications/science/logic/opensmt/default.nix +++ b/pkgs/applications/science/logic/opensmt/default.nix @@ -6,13 +6,13 @@ stdenv.mkDerivation rec { pname = "opensmt"; - version = "2.0.1"; + version = "2.1.0"; src = fetchFromGitHub { owner = "usi-verification-and-security"; repo = "opensmt"; rev = "v${version}"; - sha256 = "uoIcXWsxxRsIuFsou3RcN9e48lc7cWMgRPVJLFVslDE="; + sha256 = "sha256-m8TpMBY1r0h8GJTHM4FLBuZtX+WK/Q7RTXUnNmUWV+o="; }; nativeBuildInputs = [ cmake bison flex ]; |