| 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.94 |
| First Submitted: |
2025-07-08 23:31 (UTC) |
| Last Updated: |
2025-07-09 00:16 (UTC) |