Package: gprbuild-doc Architecture: all Version: 2024.1.20231009-5~24.04 Built-Using: sphinx (= 7.2.6-6) Multi-Arch: foreign Priority: optional Section: universe/doc Source: gprbuild Origin: Ubuntu Maintainer: Nicolas Boulenguez Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 2146 Depends: libjs-sphinxdoc (>= 7.2.2) 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-5~24.04_all.deb Size: 953594 MD5sum: 6917f5c2e54febba0eb1d2f59a689cc4 SHA1: 5a77863b61aea84c40728b19f42da97f2fc31bcd SHA256: d56500138d518081a57bae6e8534bd7ca9240247b261bd5a6dabe911b1035fc2 SHA512: 3f37d14e820e724caded2d1fb2c334c979b37eba973fd8eec9e6a88cf5c5d181122a8f2c936ce0b964c8ede085589878c58f04cc8485115b154853a44a4a4cde Homepage: https://github.com/AdaCore/gprbuild Description: multi-language extensible build tool (documentation) Description-md5: ce55a9d70218721427625dfec46bb041