Package: gnat-gps-doc
Priority: optional
Section: universe/doc
Installed-Size: 13163
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ludovic Brenta <lbrenta@debian.org>
Architecture: all
Source: gnat-gps
Version: 5.3dfsg-1ubuntu1
Depends: libjs-sphinxdoc (>= 1.0)
Recommends: ada-reference-manual-2012, gprbuild-doc
Filename: pool/universe/g/gnat-gps/gnat-gps-doc_5.3dfsg-1ubuntu1_all.deb
Size: 9097196
MD5sum: 194d12055adfbb54f540d5800ad63b5d
SHA1: f3724d03ced48349158193f17f68e3c9c7cfd8eb
SHA256: 722ed189a079ebc2dc4ae73aeaf0d83ceffc511ab2a30f63e6725b564ab2fc80
Description: integrated development environment for C and Ada (documentation)
Homepage: http://libre.adacore.com/libre/tools/gps
Description-md5: fce1e78769d4732c5c603fa0bc58c060
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu