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

Merge pull request #263288 from r-ryantm/auto-update/cryptominisat

Browse Source 
cryptominisat: 5.11.14 -> 5.11.15
This commit is contained in:
Weijia Wang
2023-12-05 10:46:20 +01:00
committed by GitHub
parent 0e58059a3b 1d182037be
commit 3b03119bcf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/cryptominisat/default.nix
+2 -2
View File
@@ -8,13 +8,13 @@
stdenv.mkDerivation rec {
pname = "cryptominisat";
version = "5.11.14";
version = "5.11.15";
src = fetchFromGitHub {
owner = "msoos";
repo = "cryptominisat";
rev = version;
hash = "sha256-p/sVinjEh078PGtJ6JBRA8EmrJVcchBs9L3bRZvCHuo=";
hash = "sha256-OenuIPo5U0+egWMpxfaKWPLbO5YRQJSXLYptih+ZQQ0=";
};
buildInputs = [ python3 boost ];