diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2024-09-21 15:19:10 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2024-10-12 11:12:27 +0200 |
| commit | bea5e1e2392a2557c8f01f6fdfffb936af891557 (patch) | |
| tree | 9f605e395e0d9ea5697b311f9b837333d6e74182 /gnu/packages/agda.scm | |
| parent | fd299f580d37ab9eab4c6dc1e25c34e1c9f97c06 (diff) | |
| download | guix-bea5e1e2392a2557c8f01f6fdfffb936af891557.tar.gz guix-bea5e1e2392a2557c8f01f6fdfffb936af891557.zip | |
gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e.
* gnu/packages/agda.scm (agda-1lab): Update to
afcf848d367f906d6d07d1612fbd41d7dd8c978e.
Change-Id: I0c0b5273c13152e079f9e62daffc5c051d62ca63
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index f388b4d669..c20549888d 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -297,8 +297,8 @@ agda-stdlib but using cubical methods.") (define-public agda-1lab ;; Upstream doesn't do releases (yet). Use a commit that builds with 2.6.4, ;; since they use Agda HEAD. - (let* ((revision "2") - (commit "549fdb1c948a975e90e70f871993a4a4239aa280")) + (let* ((revision "3") + (commit "afcf848d367f906d6d07d1612fbd41d7dd8c978e")) (package (name "agda-1lab") (version (git-version "0.0" revision commit)) @@ -311,7 +311,7 @@ agda-stdlib but using cubical methods.") (file-name (git-file-name name version)) (sha256 (base32 - "1k4zj8dibyplakpxaw4a8hpsaqhakynjb83dqxrva4h4ssj6gkqj")))) + "12ax3n9111dkzm7nm3kwnvgslzsybyh740vml7l089in89f979wn")))) (build-system agda-build-system) (arguments ;; Check files individually first, to avoid running out of heap :( |