python3Packages.monosat: Fix hash

PR #81562 inadvertently broke these builds
This commit is contained in:
Aiken Cairncross 2020-03-03 17:44:33 +00:00 committed by Jon
parent 3a250de1d8
commit 3db82f6fc3

View File

@ -24,7 +24,7 @@ let
# Python 3.8 compatibility # Python 3.8 compatibility
(fetchpatch { (fetchpatch {
url = https://github.com/sambayless/monosat/commit/a5079711d0df0451f9840f3a41248e56dbb03967.patch; url = https://github.com/sambayless/monosat/commit/a5079711d0df0451f9840f3a41248e56dbb03967.patch;
sha256 = "0fwsk67798dns7izdry19r7r3nmym4cbgxfpbjbnx4b4mlak65j8"; sha256 = "1p2y0jw8hb9c90nbffhn86k1dxd6f6hk5v70dfmpzka3y6g1ksal";
}) })
]; ];