Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: idris2-parser-all-git latest-2

Package Actions

Git Clone URL:	https://aur.archlinux.org/idris2-parser-all-git.git (read-only, click to copy)
Package Base:	idris2-parser-all-git
Description:	Various total parsers for Idris2
Upstream URL:	https://github.com/stefan-hoeck/idris2-parser
Licenses:	custom:BSD
Conflicts:	idris2-parser-all, idris2-parser-json, idris2-parser-json-git, idris2-parser-show, idris2-parser-show-git, idris2-parser-toml, idris2-parser-toml-git, idris2-parser-tsv, idris2-parser-tsv-git, idris2-parser-webidl, idris2-parser-webidl-git
Provides:	idris2-parser-all, idris2-parser-json, idris2-parser-json-git, idris2-parser-show, idris2-parser-show-git, idris2-parser-toml, idris2-parser-toml-git, idris2-parser-tsv, idris2-parser-tsv-git, idris2-parser-webidl, idris2-parser-webidl-git
Submitter:	MithicSpirit
Maintainer:	MithicSpirit
Last Packager:	MithicSpirit
Votes:	1
Popularity:	0.98
First Submitted:	2025-07-08 23:31 (UTC)
Last Updated:	2025-07-09 00:16 (UTC)

Dependencies (7)

idris2^AUR (idris2-git^AUR)
git (git-git^AUR, git-gl^AUR) (make)
idris2-elab-util (idris2-elab-util-git^AUR) (make)
idris2-parser-git^AUR (make)
idris2-prettier (idris2-prettier-git^AUR) (make)
idris2-refined (idris2-refined-git^AUR) (make)
idris2-sop (idris2-sop-git^AUR) (make)

Required by (1)

idris2-pack-git (requires idris2-parser-toml) (make)

Sources (1)

idris2-parser