libgnatvsn7-dev binary package in Ubuntu Bionic armhf

 GNAT is a compiler for the Ada programming language. It produces optimized
 code on platforms supported by the GNU Compiler Collection (GCC).
 .
 The libgnatvsn library exports selected GNAT components for use in other
 packages, most notably ASIS tools. It is licensed under the GNAT-Modified
 GPL, allowing to link proprietary programs with it.
 .
 This package contains the development files and static library.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-03-10 10:48:21 UTC Published Ubuntu Bionic armhf security universe libdevel Extra 7.5.0-3ubuntu1~18.04
  • Published
  • Copied from ubuntu bionic-release armhf in Staging Area
  2020-03-10 10:55:05 UTC Published Ubuntu Bionic armhf updates universe libdevel Extra 7.5.0-3ubuntu1~18.04
  • Published
  • Copied from ubuntu bionic-release armhf in Staging Area
  Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.5.0-3ubuntu1~18.04
  • Removal requested .
  • Deleted by Łukasz Zemczak

    moved to -updates

  • Published
  • Copied from ubuntu bionic-release armhf in Staging Area
  2020-03-10 10:50:38 UTC Superseded Ubuntu Bionic armhf security universe libdevel Extra 7.4.0-1ubuntu1~18.04.1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.5.0-3ubuntu1~18.04 in ubuntu bionic RELEASE
  • Published
  • Copied from ubuntu bionic-release armhf in 3719 - 2019-05-08
  2020-03-10 10:57:19 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 7.4.0-1ubuntu1~18.04.1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.5.0-3ubuntu1~18.04 in ubuntu bionic RELEASE
  • Published
  • Copied from ubuntu bionic-release armhf in 3719 - 2019-05-08
  2020-03-11 12:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.4.0-1ubuntu1~18.04.1
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    moved to -updates

  • Published
  • Copied from ubuntu bionic-release armhf in 3719 - 2019-05-08
  2019-06-13 12:08:26 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04.1 in ubuntu bionic RELEASE
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-05-02 00:34:27 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 90% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-05-01 19:13:59 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 80% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-05-01 13:33:52 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 70% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-05-01 06:39:38 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 60% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-05-01 01:53:45 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 50% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-04-30 19:33:51 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 40% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-04-30 12:54:36 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 30% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-04-30 07:34:35 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 20% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-04-30 01:23:40 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 10% of users 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-06-14 12:10:08 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.4.0-1ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Deleted by Andy Whitcroft

    moved to -updates

  • Published
  2019-04-29 19:30:41 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.4.0-1ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-30 01:45:18 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 90% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-29 19:54:14 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 80% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-29 13:33:38 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 70% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-29 07:44:13 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 60% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-29 01:38:52 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 50% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-28 19:43:51 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 40% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-28 13:54:48 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 30% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-28 07:38:55 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 20% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-09-28 01:49:21 UTC Superseded Ubuntu Bionic armhf updates universe libdevel Extra 10% of users 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-27ubuntu1~18.04 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2019-05-01 00:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-27ubuntu1~18.04
  • Removed from disk .
  • Removal requested .
  • Deleted by Łukasz Zemczak

    moved to -updates

  • Published
  2018-04-16 05:38:30 UTC Published Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-16ubuntu3
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-16ubuntu3
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-04-16 05:39:07 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-16ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-16ubuntu3 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-04-17 06:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-16ubuntu2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-04-13 05:27:04 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-15ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-16ubuntu2 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-04-14 06:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-15ubuntu2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-04-06 16:11:11 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-15ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-15ubuntu2 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-release armhf in Toolchain builds
  2018-04-07 19:26:04 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-14ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-15ubuntu2 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-04-09 00:10:08 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-14ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-04-02 08:49:07 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-13ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-14ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-04-03 12:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-13ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-03-28 18:03:14 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-12ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-13ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-03-29 18:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-12ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-03-19 11:35:47 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-11ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-12ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-03-20 12:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-11ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-03-12 10:48:43 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-10ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-11ubuntu1 in ubuntu bionic PROPOSED
  • Published
  2018-03-10 14:23:25 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-9ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-10ubuntu1 in ubuntu bionic PROPOSED
  • Published
  2018-03-10 07:34:56 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-8ubuntu3
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-9ubuntu1 in ubuntu bionic PROPOSED
  • Published
  2018-03-09 13:18:57 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-6ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-8ubuntu3 in ubuntu bionic PROPOSED
  • Published
  2018-03-13 12:06:04 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-5ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-11ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-03-14 12:10:09 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-5ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-02-20 12:19:16 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-4ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-5ubuntu1 in ubuntu bionic PROPOSED
  • Published
  2018-02-27 01:09:33 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.3.0-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-5ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-02-28 06:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-02-09 19:49:30 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.3.0-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-3ubuntu1 in ubuntu bionic PROPOSED
  • Published
  2018-01-26 04:20:20 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.2.0-20ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-1ubuntu1 in ubuntu bionic PROPOSED
  • Published
  2018-01-24 09:20:03 UTC Superseded Ubuntu Bionic armhf proposed universe libdevel Extra 7.2.0-19ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.2.0-20ubuntu1 in ubuntu bionic PROPOSED
  • Published
  2018-02-12 22:59:53 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.2.0-18ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.3.0-3ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-02-14 00:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.2.0-18ubuntu2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-12-17 16:54:30 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.2.0-17ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.2.0-18ubuntu2 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2017-12-18 18:10:09 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.2.0-17ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-12-06 17:09:17 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.2.0-16ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.2.0-17ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2017-12-07 18:10:09 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.2.0-16ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-11-18 04:54:15 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.2.0-13ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.2.0-16ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2017-11-19 06:10:13 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.2.0-13ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-11-13 14:10:13 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.2.0-12ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.2.0-13ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2017-11-14 18:10:11 UTC Deleted Ubuntu Bionic armhf proposed universe libdevel Extra 7.2.0-12ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-10-28 00:30:16 UTC Superseded Ubuntu Bionic armhf release universe libdevel Extra 7.2.0-8ubuntu3
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of gcc-7 7.2.0-12ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed armhf in Primary Archive for Ubuntu

Source package