mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-01-18 21:46:35 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e.

Browse source 
* gnu/packages/agda.scm (agda-1lab): Update to
afcf848d367f906d6d07d1612fbd41d7dd8c978e.

Change-Id: I0c0b5273c13152e079f9e62daffc5c051d62ca63
This commit is contained in:
Josselin Poiret 2024-09-21 15:19:10 +02:00
parent fd299f580d
commit bea5e1e239
No known key found for this signature in database
GPG key ID: 505E40B916171A8A
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/agda.scm
View file

@ -297,8 +297,8 @@ (define-public agda-cubical
(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 @@ (define-public agda-1lab
(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 :(