pyrox.dev
Merge pull request #144502 from r-ryantm/auto-update/opensmt
opensmt: 2.1.1 -> 2.2.0
authored by
Michael Raskin
and committed by
GitHub
df3adb03
8440eddb
+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.1.1";
9
+
version = "2.2.0";
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-StnEvkSSKDHGYXIQsDUu9T9Ztl+RtDTP47JvnRyH0bE=";
15
+
sha256 = "sha256-6VkBGDzqG3mplpvFh5DIR0I1I2/J0Pi7xYk/yVn04Kg=";
16
16
};
17
17
18
18
nativeBuildInputs = [ cmake bison flex ];