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 <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Nicolas Boulenguez <nicolas@debian.org>
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