diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2025-09-18 16:04:37 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2025-09-18 16:04:42 +0900 |
| commit | 55eb7f3331c269f80586c2860408f06628693a85 (patch) | |
| tree | c6185969585a8c389161d1286efb8ac10860e8f0 | |
| parent | b5f64f1ea906c911702740ed9554bc9d98841922 (diff) | |
| download | loftix-55eb7f3331c269f80586c2860408f06628693a85.tar.gz | |
Update checksum for FUZZOLIC's Z3 patchset
What in the fuck, GitHub?
| -rw-r--r-- | loftix/deduction.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/loftix/deduction.scm b/loftix/deduction.scm index dd84df2..035f4f6 100644 --- a/loftix/deduction.scm +++ b/loftix/deduction.scm @@ -44,7 +44,7 @@ (uri (string-append upstream "/compare/" base-tag ".." commit ".diff")) (sha256 - (base32 "07fga2jn5830fz9snwbzz2mpm2qqfjchsb969rqs7pf5py0h93fp")) + (base32 "1np9jxcy4l4hczw4f4z4773hz8w42k2bhrwdj01y7a5k5zlw2vxh")) (file-name (string-append name ".patch"))))))) (home-page "https://github.com/season-lab/z3") (synopsis "Z3 for FUZZOLIC"))))) |