Search Criteria
Package Details: gnatcoll-gmp-git r2796.8160d1d9-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/gnatcoll-gmp-git.git (read-only, click to copy) |
---|---|
Package Base: | gnatcoll-gmp-git |
Description: | GNAT Components Collection - Bindings to GMP |
Upstream URL: | https://github.com/AdaCore/gnatcoll-bindings/ |
Licenses: | GPL |
Conflicts: | gnatcoll, gnatcoll-gmp |
Provides: | gnatcoll-gmp |
Submitter: | pmderodat |
Maintainer: | pmderodat |
Last Packager: | pmderodat |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2018-06-25 21:22 (UTC) |
Last Updated: | 2019-06-29 07:46 (UTC) |
Dependencies (5)
- gcc-ada (gcc-ada-gitAUR, gcc-ada-debugAUR, gcc-ada-snapshotAUR)
- gmp (gmp-hgAUR)
- gnatcoll-coreAUR (gnatcoll-core-gitAUR)
- git (git-gitAUR, git-glAUR) (make)
- gprbuildAUR (gprbuild-gitAUR, gprbuild-bootstrapAUR) (make)
Required by (7)
- all-ada (requires gnatcoll-gmp)
- gpr (requires gnatcoll-gmp)
- gpr2tools (requires gnatcoll-gmp)
- langkit (requires gnatcoll-gmp)
- libadalang (requires gnatcoll-gmp)
- libadalang-git (requires gnatcoll-gmp)
- templates_parser (requires gnatcoll-gmp)