Merge pull request #287385 from r-ryantm/auto-update/approxmc

approxmc: 4.1.23 -> 4.1.24
This commit is contained in:
maxine 2024-02-09 22:04:18 +01:00 committed by GitHub
commit 243d58bdc3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -12,13 +12,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "approxmc";
version = "4.1.23";
version = "4.1.24";
src = fetchFromGitHub {
owner = "meelgroup";
repo = "approxmc";
rev = finalAttrs.version;
hash = "sha256-pE2m6Cc2u53H/5CM+2JuQxZOhjhHUZOi0kn23CJmALM=";
hash = "sha256-rADPC7SVwzjUN5jb7Wt341oGfr6+LszIaBUe8QgmpRU=";
};
nativeBuildInputs = [ cmake ];