Back to ada-reference-manual PTS page

Accepted ada-reference-manual 1:2012.2-9 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 27 Apr 2016 17:47:04 +0200
Source: ada-reference-manual
Binary: ada-reference-manual-2005 ada-reference-manual-2012
Architecture: source
Version: 1:2012.2-9
Distribution: unstable
Urgency: medium
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Changed-By: Nicolas Boulenguez <nicolas@debian.org>
Description:
 ada-reference-manual-2005 - Ada 2005 language standard
 ada-reference-manual-2012 - Ada 2012 language standard
Changes:
 ada-reference-manual (1:2012.2-9) unstable; urgency=medium
 .
   * Rebuild with gnat-6 and all hardening options.
   * Drop Depend/Break/Replace restrictions older than oldstable.
   * Standards-Version: 3.9.8 (no changes).
Checksums-Sha1:
 537b38def84a943ffec81a791e6542e05dbfc3a9 2218 ada-reference-manual_2012.2-9.dsc
 6ef504c9447ce1d67b3557712897d89f27f00e9e 7940 ada-reference-manual_2012.2-9.debian.tar.xz
Checksums-Sha256:
 2baf636dd0c09579e0944e4ac529847934defb82994e03c44e3ea8e749012cbd 2218 ada-reference-manual_2012.2-9.dsc
 c955bf0cd723f562957d974ccf0639621dffa152d2039417b8cf9e7f1cff7fb8 7940 ada-reference-manual_2012.2-9.debian.tar.xz
Files:
 6b68ec7b13ec175e60c9d9f0ca6b1414 2218 doc optional ada-reference-manual_2012.2-9.dsc
 9a1a62dade87c7eaf5eba563ff963733 7940 doc optional ada-reference-manual_2012.2-9.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJXIQXvAAoJELUqnPRJDfyNTmQP/RvLG1td9oHVTz6+X/H0AE74
//p+u62/SN0S0VMqyCM70Mt7zI/AIyUuNJxHZDxb2ELlckpM27qLINf9Xa92j6Rg
yrihxH0fBvWSAyASqcFFO08aObSt0ui/kob2bBHYw4O3yWPMwKnotielINO1irx0
BcTaHTWnrrdXXn5GBSJiFsZw9EDGHMHVfw5CBQWFz/8cWLvs+1Co9iOlPTnzA6lc
ipGH6WqHL2QuMDi7FkrW5STfZkEodIG28pSgwKk5qcmfkEVbK4ALxkBh2dUaPLuQ
UG24B6tuErZOmTjDkSWrYzxi1bIqk6jeoVc19J9Lj9nCCTScSyBb7lNuF0c8aUEB
F/9tb+8eJU5r4fH/KSfzPNWNBhW4YwTY6fqKY+on9fGK8SOKXKXYitnWx/BhQ+K1
8XCD1SJIXFryfh/1HVtWE2oSgnB5g0F1O5cSmXZRshGoN8dcOnbtmVEeYQxUHXpK
bBxTGr1n/Dt+zhCHZDNJlj1kEDZqWdYHwPVPp2nCrp3nawtbn5yYi7kak7uiPfuX
8AQyE2Vx+bh25ND7G3v4BeK8sur2jJ0zv0X5XJW3q6dqj4vR9ClnMQGUS1wU0M04
DZ7yOW1vyDUv+SxZLjk83kRhzpMW3JyStebqBWB92NIwA1FGryPxTcFf47HfEvjG
d7NaW1Wmn0EWFlV1QPba
=pRtI
-----END PGP SIGNATURE-----