Package: gnat-gps-doc Architecture: all Version: 6.1.2016-1ubuntu1 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: 15447 Depends: libjs-sphinxdoc (>= 1.0) Recommends: ada-reference-manual-2012 Filename: pool/universe/g/gnat-gps/gnat-gps-doc_6.1.2016-1ubuntu1_all.deb Size: 10876430 MD5sum: 7e0daefb5bfe2346221a0c17dc38be63 SHA1: 4e991270d0b99ee7759aa611128c0b84b9d01576 SHA256: 3830360a0241afca6688ed56451a0a79c6c272d0f28b2a264fa97ee31dd88315 Homepage: http://libre.adacore.com/libre/tools/gps Description: integrated development environment for C and Ada (documentation) Description-md5: b6019fe644bdc4031fbf4dd12b950413