Search Criteria
Package Details: idris2-pack-git latest-2
Package Actions
Git Clone URL: | https://aur.archlinux.org/idris2-pack-git.git (read-only, click to copy) |
---|---|
Package Base: | idris2-pack-git |
Description: | An Idris2 package manager with curated package collections |
Upstream URL: | https://github.com/stefan-hoeck/idris2-pack |
Licenses: | custom:BSD |
Conflicts: | idris2-pack |
Provides: | idris2-pack |
Submitter: | MithicSpirit |
Maintainer: | MithicSpirit |
Last Packager: | MithicSpirit |
Votes: | 1 |
Popularity: | 0.004720 |
First Submitted: | 2024-03-11 16:11 (UTC) |
Last Updated: | 2024-03-12 01:52 (UTC) |
Dependencies (7)
- chez-schemeAUR (chez-scheme-gitAUR)
- sh (dashbinshAUR, bash-devel-static-gitAUR, zshbinshAUR, bash-devel-gitAUR, busybox-coreutilsAUR, bash-gitAUR, bash)
- git (git-gitAUR, git-glAUR) (make)
- idris2AUR (idris2-gitAUR) (make)
- idris2-filepath (idris2-filepath-gitAUR) (make)
- idris2-toml-idr (idris2-toml-idr-gitAUR) (make)
- idris2AUR (idris2-gitAUR) (optional) – Bootstrapping