diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-06-04 12:47:24 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-06-04 12:47:24 +0100 |
| commit | 90cc6afa6af2472b24fd6f1e4fc710b8dad462b9 (patch) | |
| tree | 77f7ac78cdfdb562f8b2f4d19f70dd6d9d9002bd /manifest.scm | |
Initial commit.
Diffstat (limited to 'manifest.scm')
| -rw-r--r-- | manifest.scm | 28 |
1 files changed, 28 insertions, 0 deletions
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)) |