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

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)

Required by (1)

Sources (1)