Search Criteria
Package Details: idris2-git latest-5
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.000000 |
| First Submitted: | 2020-05-27 03:21 (UTC) |
| Last Updated: | 2025-07-09 04:58 (UTC) |
Dependencies (8)
- chez-schemeAUR (chez-scheme-gitAUR)
- sh (dashbinshAUR, zshbinshAUR, bash-devel-gitAUR, bash-gitAUR, bash)
- git (git-gitAUR, git-glAUR) (make)
- nodejs (nodejs-gitAUR, python-nodejs-wheelAUR, nodejs-lts-hydrogenAUR, nodejs-lts-iron, nodejs-lts-jod, nodejs-lts-krypton) (check)
- racket (racket-gitAUR, racket-minimal) (check)
- gcc (gcc-gitAUR, gccrs-gitAUR, gcc-snapshotAUR) (optional) – refc backend
- nodejs (nodejs-gitAUR, python-nodejs-wheelAUR, nodejs-lts-hydrogenAUR, nodejs-lts-iron, nodejs-lts-jod, nodejs-lts-krypton) (optional) – javascript backend
- racket (racket-gitAUR, racket-minimal) (optional) – racket backend
Required by (14)
- idris2-algebra-git (requires idris2)
- idris2-elab-util-git (requires idris2)
- idris2-filepath-git (requires idris2)
- idris2-getopts-git (requires idris2)
- idris2-lsp-git (requires idris2)
- idris2-lsp-lib-git (requires idris2)
- idris2-pack-git (requires idris2) (make)
- idris2-pack-git (requires idris2) (optional)
- idris2-parser-all-git (requires idris2)
- idris2-parser-git (requires idris2)
- idris2-prettier-git (requires idris2)
- idris2-refined-git (requires idris2)
- idris2-sop-git (requires idris2)
- 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
refcbackend: