alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #186735 from Mrmaxmeier/bump-bitwuzla

Browse source 
bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07
This commit is contained in:
Guillaume Girol 2022-08-15 11:28:29 +00:00 committed by GitHub
parent cb834b9cd6 4929601fe9
commit a571db98d2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/applications/science/logic/bitwuzla/default.nix
View file

@ -19,13 +19,13 @@
stdenv.mkDerivation rec {
pname = "bitwuzla";
version = "unstable-2021-07-01";
version = "unstable-2022-08-07";
src = fetchFromGitHub {
owner = "bitwuzla";
repo = "bitwuzla";
rev = "58d720598e359b1fdfec4a469c76f1d1f24db51a";
sha256 = "06ymqsdppyixb918161rmbgqvbnarj4nm4az88lkn3ri4gyimw04";
rev = "b6fb61736a5cf70cd0b35ec4aeeadf23971610ce";
hash = "sha256-T5VnnWrcZ8K1NjFf5eeg0TRpXBLRCxC67v8zWPwYF/Y=";
};
nativeBuildInputs = [ cmake pkg-config ];