Package: gprconfig-kb
Architecture: all
Version: 24.0.0-1
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: 267
Recommends: gprbuild (>= 2022)
Breaks: gprbuild (<< 2021)
Replaces: gprbuild (<< 2021)
Filename: pool/universe/g/gprconfig-kb/gprconfig-kb_24.0.0-1_all.deb
Size: 29852
MD5sum: d2584e61a98041eaf62d6ea55c4e366a
SHA1: 7b200855d6ba49690d7415f31850a7affbb995aa
SHA256: 774f955e25991c8c784ff307525452689a4fe51c5025140671b25963e211320b
SHA512: 35d13789ed389c182cc5d07ead262e3eccb9e188b589df9db44e535576bd7b4a684f51039a9edf96c0b19b026dc649ae90879f65a621409fbf258ec2aa50b202
Homepage: https://github.com/AdaCore/gprconfig_kb
Description: compiler list for the gprbuild build tool
Description-md5: a6fd5f67094e2bd89f9fddcce06755d0