Package: gprbuild-doc Architecture: all Version: 2024.1.20231009-4build2 Built-Using: sphinx (= 7.2.6-6) 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: 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-4build2_all.deb Size: 953568 MD5sum: 7491d27748e72482f63bbe307f730132 SHA1: 96955be44786317b14a9d4898cc62685cd7ecc6a SHA256: ef4c719a27ae72ca45994d71ab57504bdc7c6a081e15d7fa470b75c3ca6e24da SHA512: d7394dab70a7f8e401bf59f423aae91cc609a382c2106a19cc45c3a7ba48e4eb4b7c0717192b4f706e6624812e3ef7dd08b2546eed3c1904382bb0f334f50a36 Homepage: https://github.com/AdaCore/gprbuild Description: multi-language extensible build tool (documentation) Description-md5: ce55a9d70218721427625dfec46bb041