diff options
Diffstat (limited to 'loft')
| -rw-r--r-- | loft/synthesis.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/loft/synthesis.scm b/loft/synthesis.scm index be62654..022e66c 100644 --- a/loft/synthesis.scm +++ b/loft/synthesis.scm @@ -15,7 +15,7 @@ (method url-fetch) (uri (pypi-uri "pacfix" version)) (sha256 - (base32 "1111111111111111111111111111111111111111111111111111")))) + (base32 "1gpr410gfwab5mg3k57r001mddqgxk9d5rbn89v1wczi51ljlsc5")))) (build-system pyproject-build-system) (native-inputs (list python-flit-core)) (propagated-inputs (list python-pysmt)) |