pyrox.dev
Merge pull request #137876 from r-ryantm/auto-update/opensmt
opensmt: 2.1.0 -> 2.1.1
authored by Michael Raskin and committed by GitHub 47eaf672 12178905
+2
-2
pkgs/applications/science/logic/opensmt/default.nix
+2
-2
pkgs/applications/science/logic/opensmt/default.nix
···
6
7
stdenv.mkDerivation rec {
8
pname = "opensmt";
9
-
version = "2.1.0";
10
11
src = fetchFromGitHub {
12
owner = "usi-verification-and-security";
13
repo = "opensmt";
14
rev = "v${version}";
15
-
sha256 = "sha256-m8TpMBY1r0h8GJTHM4FLBuZtX+WK/Q7RTXUnNmUWV+o=";
16
};
17
18
nativeBuildInputs = [ cmake bison flex ];
···
6
7
stdenv.mkDerivation rec {
8
pname = "opensmt";
9
+
version = "2.1.1";
10
11
src = fetchFromGitHub {
12
owner = "usi-verification-and-security";
13
repo = "opensmt";
14
rev = "v${version}";
15
+
sha256 = "sha256-StnEvkSSKDHGYXIQsDUu9T9Ztl+RtDTP47JvnRyH0bE=";
16
};
17
18
nativeBuildInputs = [ cmake bison flex ];