ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-26 04:29:25 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: agda-cubical: Update to 0.5.

Browse source 
* gnu/packages/agda.scm (agda-cubical): Update to 0.5.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
This commit is contained in:
Josselin Poiret 2023-07-13 21:04:11 +02:00 committed by 宋文武
parent 03ae5bb866
commit 3ec8acd3df
No known key found for this signature in database
GPG key ID: D415BF253B515976
1 changed files with 24 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

51
gnu/packages/agda.scm
View file

@ -262,34 +262,31 @@ (define-public agda-cubical
;; Upstream's HEAD follows the latest Agda release, but they don't release
;; until a newer Agda release comes up, so their releases are always one
;; version late.
(let* ((revision "1")
(commit "814d54b08b360b8e80828065f54b80e3a98a0092"))
(package
(name "agda-cubical")
(version (git-version "0.4" revision commit))
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/agda/cubical.git")
(commit commit)))
(file-name (git-file-name name version))
(sha256
(base32
"0d25gb1qzpx539k62qjsjq4xmzp34qk7n3hmd9y6v8slhrrxw312"))))
(build-system agda-build-system)
(arguments
(list
#:gnu-and-haskell? #t
#:phases
#~(modify-phases %standard-phases
(replace 'build
(lambda _
(invoke "make"))))))
(synopsis "Standard library for Cubical Agda")
(description "A standard library for Cubical Agda, comparable to
(package
(name "agda-cubical")
(version "0.5")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/agda/cubical.git")
(commit (string-append "v" version))))
(sha256
(base32
"0yfg7gr55n08ly1qgzpcp16s15k1abycppbcdi9lzg1hjryqxcg3"))))
(build-system agda-build-system)
(arguments
(list
#:gnu-and-haskell? #t
#:phases
#~(modify-phases %standard-phases
(replace 'build
(lambda _
(invoke "make"))))))
(synopsis "Standard library for Cubical Agda")
(description "A standard library for Cubical Agda, comparable to
agda-stdlib but using cubical methods.")
(home-page "https://github.com/agda/cubical")
(license license:expat))))
(home-page "https://github.com/agda/cubical")
(license license:expat)))
(define-public agda-1lab
;; Upstream doesn't do releases (yet). Use a commit that builds with 2.6.3,