gpr2tools
Port variant standard
Summary Tools based on GPR2 library
Package version 24.0.0
Homepage https://github.com/AdaCore/gpr
Keywords devel, ada
Maintainer John Marino
License GPLv3+
Other variants There are no other variants.
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 25 APR 2024, 12:19:55 UTC
Port created 10 SEP 2023, 14:51:03 UTC
Subpackage Descriptions
single This package contains tools based on the GPR2 library.
Configuration Switches (platform-specific settings discarded)
This port has no build options.
Package Dependencies by Type
Build (only) libadalang:dev:standard
libgpr2:dev:standard
gmake:primary:standard
libiconv:dev:standard
gprbuild:primary:standard
Build and Runtime libgpr2:primary:standard
libiconv:primary:standard
Download groups
main mirror://GITHUB/AdaCore:gpr:v24.0.0
Distribution File Information
6a7d03d57e2070c2d59561771c8d0be3a4d2dcd2d862d212d06583dc59f64b3a 1422678 AdaCore-gpr-24.0.0.tar.gz
Ports that require gpr2tools:standard
No other ports depend on this one.