opensmt: 2.5.0 -> 2.5.1
This commit is contained in:
parent
d8a74c29c9
commit
b954ef286d
1 changed files with 2 additions and 2 deletions
|
@ -6,13 +6,13 @@
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "opensmt";
|
pname = "opensmt";
|
||||||
version = "2.5.0";
|
version = "2.5.1";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "usi-verification-and-security";
|
owner = "usi-verification-and-security";
|
||||||
repo = "opensmt";
|
repo = "opensmt";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "sha256-+u0Go+QU56mmV1G+m+sDOhi3QaWveZILS9fWv8THoWc=";
|
sha256 = "sha256-XwrhqxDunao4uyUyBhDgGdMjRlmetke77Zmb7za+Aes=";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ cmake bison flex ];
|
nativeBuildInputs = [ cmake bison flex ];
|
||||||
|
|
Loading…
Reference in a new issue