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) |