Package: gnat-gps-doc Architecture: all Version: 19.2-3ubuntu2 Built-Using: sphinx (= 1.8.5-5) Multi-Arch: foreign Priority: optional Section: universe/doc Source: gnat-gps Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Ludovic Brenta Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 21042 Depends: libjs-sphinxdoc (>= 1.0) Recommends: ada-reference-manual-2012 Filename: pool/universe/g/gnat-gps/gnat-gps-doc_19.2-3ubuntu2_all.deb Size: 15918396 MD5sum: 235b01569efa00e45106026f03344ee8 SHA1: 06a2279c746b257b494b8dc63f0037498252ad59 SHA256: aeb2886be1cff2b7eb7adc4ad2fb45af4fac0e9bb0c907caca089d2ae920390d Homepage: https://github.com/AdaCore/gps Description: integrated development environment for C and Ada (documentation) Description-md5: b6019fe644bdc4031fbf4dd12b950413