diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-02-22 15:11:02 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-02-22 15:11:02 +0000 |
| commit | 05c7ebd116d695826bb07fe23532e7d1f6cd2969 (patch) | |
| tree | 1b0a87789a899f474037e9527bf53afb7d9dfffb | |
| parent | 60295c0c8f0c7ae76ee8a171f80160791ab122c1 (diff) | |
idris2-elab-util: new package
| -rw-r--r-- | yellowsquid/packages/idris.scm | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm index 22b193f..0a481f9 100644 --- a/yellowsquid/packages/idris.scm +++ b/yellowsquid/packages/idris.scm @@ -321,3 +321,24 @@ (description "") (license (license:non-copyleft "file://LICENSE")) (home-page "https://github.com/ohad/collie.git"))) + +(define-public idris2-elab-util + (package + (name "idris2-elab-util") + (home-page "https://github.com/stefan-hoeck/idris2-elab-util") + (version "0.6.0") + (source + (let ((commit "2fc2d188640ce6822b5e250db73b62f5a952ca4d")) + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit commit))) + (file-name (git-file-name name commit)) + (sha256 + (base32 "0s956hm3njm7d3kccrppqxnk4az67scp57k8v4j27q3j3y2fp0q9"))))) + (build-system idris2-build-system) + (arguments '(#:ipkg-name "elab-util")) + (synopsis "") + (description "") + (license license:bsd-2))) |