pyrox.dev
opensmt: 2.5.1 -> 2.5.2
+2
-2
pkgs/applications/science/logic/opensmt/default.nix
+2
-2
pkgs/applications/science/logic/opensmt/default.nix
···
6
6
7
7
stdenv.mkDerivation rec {
8
8
pname = "opensmt";
9
-
version = "2.5.1";
9
+
version = "2.5.2";
10
10
11
11
src = fetchFromGitHub {
12
12
owner = "usi-verification-and-security";
13
13
repo = "opensmt";
14
14
rev = "v${version}";
15
-
sha256 = "sha256-XwrhqxDunao4uyUyBhDgGdMjRlmetke77Zmb7za+Aes=";
15
+
sha256 = "sha256-gP2oaTEBVk54oK4Le5VudF7+HM8JXCzVqv8UXc08RFQ=";
16
16
};
17
17
18
18
nativeBuildInputs = [ cmake bison flex ];