Package: gprbuild-doc Architecture: all Version: 2024.1.20231009-5build1 Built-Using: sphinx (= 7.4.7-3) Multi-Arch: foreign Priority: optional Section: universe/doc Source: gprbuild Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Nicolas Boulenguez Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 2150 Depends: libjs-sphinxdoc (>= 7.4) Suggests: gprbuild Breaks: gprbuild (<< 2021.0.0.0778b109-1) Replaces: gprbuild (<< 2021.0.0.0778b109-1) Filename: pool/universe/g/gprbuild/gprbuild-doc_2024.1.20231009-5build1_all.deb Size: 954966 MD5sum: df2ed39a80dcc0fa46caf5c1c5823f32 SHA1: 819b822e720a5a0b01c207b71156a3692238f743 SHA256: 72f4e721875c59968d412fd841fd66ae60cf87aa90ebaf20d906033e4e069325 SHA512: 24d56112a06c7b1b9e3ced6f2789897f9fb6a483689d1ea13a19e86da68970f55d7ed392450c8490205d349baa136f501c172f8717cb99672d902c0db39e457c Homepage: https://github.com/AdaCore/gprbuild Description: multi-language extensible build tool (documentation) Description-md5: ce55a9d70218721427625dfec46bb041