Search Criteria
Package Details: idris2-git latest-3
Package Actions
Git Clone URL: | https://aur.archlinux.org/idris2-git.git (read-only, click to copy) |
---|---|
Package Base: | idris2-git |
Description: | A purely functional programming language with first class types |
Upstream URL: | https://www.idris-lang.org/ |
Licenses: | custom |
Conflicts: | idris2 |
Provides: | idris2 |
Submitter: | mb64 |
Maintainer: | CodingCellist (MithicSpirit) |
Last Packager: | MithicSpirit |
Votes: | 3 |
Popularity: | 0.000781 |
First Submitted: | 2020-05-27 03:21 (UTC) |
Last Updated: | 2024-03-01 16:40 (UTC) |
Dependencies (8)
- chez-schemeAUR (chez-scheme-gitAUR)
- sh (dashbinshAUR, bash-devel-static-gitAUR, bash-gitAUR, zshbinshAUR, bash-devel-gitAUR, busybox-coreutilsAUR, bash)
- git (git-gitAUR, git-glAUR) (make)
- nodejs (nodejs-lts-fermiumAUR, nodejs-gitAUR, python-nodejs-wheelAUR, nodejs-lts-hydrogen, nodejs-lts-iron) (check)
- racket (racket-gitAUR, racket-minimal) (check)
- gcc (gcc-gitAUR, gccrs-gitAUR, gcc11AUR, gcc-snapshotAUR) (optional) – refc backend
- nodejs (nodejs-lts-fermiumAUR, nodejs-gitAUR, python-nodejs-wheelAUR, nodejs-lts-hydrogen, nodejs-lts-iron) (optional) – javascript backend
- racket (racket-gitAUR, racket-minimal) (optional) – racket backend
Required by (6)
- idris2-filepath-git (requires idris2)
- idris2-lsp-git (requires idris2)
- idris2-lsp-lib-git (requires idris2)
- idris2-pack-git (requires idris2) (optional)
- idris2-pack-git (requires idris2) (make)
- idris2-toml-idr-git (requires idris2)
Latest Comments
MithicSpirit commented on 2022-10-10 21:52 (UTC)
I've fixed this issue along with some others (e.g. added
check()
) in my fork on Github [1]. I would greatly appreciate it if you could merge those changes over here (or make me a co-maintainer so I can do that myself).[1] https://github.com/MithicSpirit/idris2-git/blob/master/PKGBUILD
MithicSpirit commented on 2022-09-26 21:10 (UTC)
Getting the following error when using the
refc
backend: