Ubuntu
gprbuild package

gprbuild 2014-5 source package in Ubuntu

Changelog

gprbuild (2014-5) unstable; urgency=medium


  * gprbuild-doc Replaces/Breaks: gprbuild (<< 2013-1) which used to
    provide gprbuild_gps.xml. Closes: #768214.

 -- Nicolas Boulenguez <email address hidden>  Thu, 06 Nov 2014 21:12:43 +0100

Upload details

Uploaded by:
Nicolas Boulenguez
Uploaded to:
Sid
Original maintainer:
Nicolas Boulenguez
Architectures:
any all
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
gprbuild_2014-5.dsc 2.0 KiB 45814499dfc75cfe468c4739c276361361d070ec965a77e04f7aee199cbea8d2
gprbuild_2014.orig.tar.gz 2.3 MiB 3c8986ff5f83cc0d3ee69f6e71d9f69a7eb1a7e2656493c829b18fb55c4ad5ac
gprbuild_2014-5.debian.tar.xz 17.8 KiB 15fc15dae85b14e4427a9027adeef8234a9a052f3629a3c0fc704356fa07129f

Available diffs

No changes file available.

Binary packages built by this source

gprbuild: No summary available for gprbuild in ubuntu vivid.

No description available for gprbuild in ubuntu vivid.

gprbuild-doc: No summary available for gprbuild-doc in ubuntu vivid.

No description available for gprbuild-doc in ubuntu vivid.