gnat-gps-doc binary package in Ubuntu Focal amd64

 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 HTML and PDF 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
  - an user's guide for the gnatdoc command line tool

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-02-28 03:48:23 UTC Published Ubuntu Focal amd64 release universe doc Optional 19.2-3ubuntu2
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal amd64 proposed universe doc Optional 19.2-3ubuntu2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-26 13:38:16 UTC Superseded Ubuntu Focal amd64 proposed universe doc Optional 19.2-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of gnat-gps 19.2-3ubuntu2 in ubuntu focal PROPOSED
  • Published
  2020-02-28 03:50:39 UTC Superseded Ubuntu Focal amd64 release universe doc Optional 18-5ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of gnat-gps 19.2-3ubuntu2 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu