gnat-gps-doc binary package in Ubuntu Trusty arm64

 GNAT Programming Studio is a complete integrated development environment
 that gives access to a wide range of tools and integrates them smoothly.
 This package contains the documentation in ASCII, Info, HTML and
 PostScript formats. This documentation consists of:
  - the GPS Tutorial: building Hello, World with the GPS
  - a User's Guide: using the GPS for multi-language projects
  - a Programmer's Manual: extending the GPS with new modules

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2013-10-18 14:25:21 UTC Published Ubuntu Trusty arm64 release universe doc Optional 5.0-16
  • Published on 2013-10-18
  • Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu