Package: gprconfig-kb
Architecture: all
Version: 21.0.0-2
Multi-Arch: foreign
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Nicolas Boulenguez <nicolas@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 241
Recommends: gprbuild (>= 2021)
Breaks: gprbuild (<< 2021)
Replaces: gprbuild (<< 2021)
Filename: pool/universe/g/gprconfig-kb/gprconfig-kb_21.0.0-2_all.deb
Size: 25864
MD5sum: 0908c0c4472fe908a9a8c4ea7eb73d5b
SHA1: f67cbf73b7931289725082adff51630be600bbb7
SHA256: 1ebc4cf383a176e183c7d5e0abdbe07849cd8d17043112a2196ca0ec7398c32c
SHA512: 79e506635b193cf93b7ad09bc2c184ac13de9b722b2fd63a9a3f8cce2a0f908c204d62c0286416a9345180cd47d56d14fe1d8f2eb4dcc21bb687365419eb6d50
Homepage: https://github.com/AdaCore/gprconfig_kb
Description: compiler list for the gprbuild build tool
Description-md5: a6fd5f67094e2bd89f9fddcce06755d0