Search Criteria
Package Details: idris2-git latest-1
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: | 2 |
Popularity: | 0.086894 |
First Submitted: | 2020-05-27 03:21 (UTC) |
Last Updated: | 2023-03-01 18:11 (UTC) |
Dependencies (8)
- chez-scheme (chez-scheme-git, chez-scheme-racket-git)
- sh (dashbinsh, bash-devel-static-git, bash-git, bash-xdg, zshbinsh, bash-devel-git, bash)
- git (git-vfs, git-run-command-patch-git, git-git, git-fc) (make)
- nodejs (nodejs6-bin, nodejs-nightly, nodejs-git, nodejs-lts-fermium, nodejs-lts-gallium, nodejs-lts-hydrogen) (check)
- racket (racket-git, racket-minimal) (check)
- gcc (gccrs-git, gcc-git, gcc11) (optional) – refc backend
- nodejs (nodejs6-bin, nodejs-nightly, nodejs-git, nodejs-lts-fermium, nodejs-lts-gallium, nodejs-lts-hydrogen) (optional) – javascript backend
- racket (racket-git, racket-minimal) (optional) – racket backend
Required by (1)
- idris2-lsp-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: