Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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.005228
First Submitted:	2024-03-11 16:11 (UTC)
Last Updated:	2024-03-12 01:52 (UTC)

Dependencies (7)

chez-scheme^AUR (chez-scheme-git^AUR)
sh (dashbinsh^AUR, bash-devel-static-git^AUR, zshbinsh^AUR, bash-devel-git^AUR, busybox-coreutils^AUR, bash-git^AUR, bash)
git (git-git^AUR, git-gl^AUR) (make)
idris2^AUR (idris2-git^AUR) (make)
idris2-filepath (idris2-filepath-git^AUR) (make)
idris2-toml-idr (idris2-toml-idr-git^AUR) (make)
idris2^AUR (idris2-git^AUR) (optional) – Bootstrapping

Required by (0)

Sources (1)

idris2-pack