From 69b82b0f568dd840f05f6aa9902ee6dcd5df5cad Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Tue, 8 Mar 2022 18:49:39 +0000
Subject: Migrate to agda-stdlib-2.0-dev.

---
 guix.scm | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

(limited to 'guix.scm')

diff --git a/guix.scm b/guix.scm
index 6e3e28c..e5e8d80 100644
--- a/guix.scm
+++ b/guix.scm
@@ -8,6 +8,22 @@
              (yellowsquid build-system agda))
 (define %source-dir (dirname (current-filename)))
 
+;; NOTE: still a dev build
+(define agda-stdlib-2.0-dev
+  (package
+    (inherit agda-stdlib-1.7.1)
+    (name "agda-stdlib")
+    (version "2.0")
+    (home-page "https://github.com/agda/agda-stdlib")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference (url home-page)
+                                  (commit "a9e97a33e2796d9ce4f8ed6da5a927ae33daf0b1")))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0m5f0x8jygvl9ackqpxxjx70kb2jb2qv6irj5wzxx8bd9q423m85"))))))
+
 (define-public agda-helium
   (package
     (name "agda-helium")
@@ -17,7 +33,7 @@
                         #:recursive? #t
                         #:select? (git-predicate %source-dir)))
     (build-system agda-build-system)
-    (inputs (list agda-stdlib-1.7.1))
+    (inputs (list agda-stdlib-2.0-dev))
     (synopsis "Semantics of the Arm M-profile Vector Extension (MVE) in Agda")
     (description "")
     (license license:expat)))
-- 
cgit v1.2.3