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.35 |
| 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 (bash-devel-git, dashbinsh, bash-devel-static-git, bash-git, bash-xdg, zshbinsh, bash)
- git (git-vfs, git-git, git-run-command-patch-git) (make)
- nodejs (nodejs6-bin, nodejs-git, nodejs-nightly, nodejs-lts-fermium, nodejs-lts-gallium, nodejs-lts-hydrogen) (check)
- racket (racket-git, racket-minimal) (check)
- gcc (gccrs-git, gcc-git) (optional) – refc backend
- nodejs (nodejs6-bin, nodejs-git, nodejs-nightly, 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
refcbackend: