gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

btor2tools: 0-unstable-2024-08-07 -> 0-unstable-2025-09-18 (#445678)

Browse Source
This commit is contained in:
Vladimír Čunát
2025-09-28 07:37:08 +02:00
parent 072095cb06 2b45b9bde4
commit 9d5a9f05df
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/bt/btor2tools/package.nix
+3 -3
View File
@@ -8,13 +8,13 @@
stdenv.mkDerivation {
pname = "btor2tools";
version = "0-unstable-2024-08-07";
version = "0-unstable-2025-09-18";
src = fetchFromGitHub {
owner = "boolector";
repo = "btor2tools";
rev = "44bcadbfede292ff4c4a4a8962cc18130de522fb";
sha256 = "0ncl4xwms8d656x95ga8v8zjybx4cmdl5hlcml7dpcgm3p8qj4ks";
rev = "d33c73ff1d173f1bfac8ba6b1c6d68ba62c55f8e";
sha256 = "sha256-RVjZ5HM2yQ3eAICFuzwvNeQDXzWzzSiCCslIWMJi6U8=";
};
nativeBuildInputs = [ cmake ] ++ lib.optional stdenv.hostPlatform.isDarwin fixDarwinDylibNames;