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