From 90cc6afa6af2472b24fd6f1e4fc710b8dad462b9 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 4 Jun 2022 12:47:24 +0100
Subject: Initial commit.

---
 manifest.scm | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 manifest.scm

(limited to 'manifest.scm')

diff --git a/manifest.scm b/manifest.scm
new file mode 100644
index 0000000..d8b46bd
--- /dev/null
+++ b/manifest.scm
@@ -0,0 +1,28 @@
+(use-modules (gnu packages agda)
+             (guix build-system gnu)
+             (guix gexp)
+             (guix git-download)
+             ((guix licenses) #:prefix license:)
+             (guix packages)
+             (yellowsquid packages agda)
+             (yellowsquid build-system agda))
+(define %source-dir (dirname (current-filename)))
+
+(define-public agda-stdlib-2.0
+  (package
+    (inherit agda-stdlib-1.7)
+    (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 "6e79234dcd47b7ca1d232b16c9270c33ff42fb84")))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0n1xksqz0d2vxd4l45mxkab2j9hz9g291zgkjl76h5cn0p9wylk3"))))))
+
+(packages->manifest
+ (list agda
+       agda-stdlib-2.0))
-- 
cgit v1.2.3