Package Details: idris2-pack-git latest-2

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)

Required by (0)

Sources (1)