GNU bug report logs - #64601
[PATCH] gnu: agda-cubical: Update to 0.5.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 64601 in the body.
You can then email your comments to 64601 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Josselin Poiret <dev <at> jpoiret.xyz>
To: guix-patches <at> gnu.org
Cc: Josselin Poiret <dev <at> jpoiret.xyz>
Subject: [PATCH] gnu: agda-cubical: Update to 0.5.
Date: Thu, 13 Jul 2023 21:04:11 +0200

From: Josselin Poiret <dev <at> jpoiret.xyz>

---
 gnu/packages/agda.scm | 51 ++++++++++++++++++++-----------------------
 1 file changed, 24 insertions(+), 27 deletions(-)

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 88626b823c..3748ab7059 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -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,

base-commit: d17879cd0dec60ea7490632910257890f207d6cb
-- 
2.40.1

Message #10 received at 64601-done <at> debbugs.gnu.org (full text, mbox):

From: 宋文武 <iyzsong <at> envs.net>
To: Josselin Poiret <dev <at> jpoiret.xyz>
Cc: 64601-done <at> debbugs.gnu.org
Subject: Re: bug#64601: [PATCH] gnu: agda-cubical: Update to 0.5.
Date: Sat, 22 Jul 2023 11:31:27 +0800

Josselin Poiret <dev <at> jpoiret.xyz> writes:


>  gnu/packages/agda.scm | 51 ++++++++++++++++++++-----------------------
>  1 file changed, 24 insertions(+), 27 deletions(-)

Pushed to master, thank you!

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.