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

Format: 3.0 (quilt)
Source: ada-reference-manual
Binary: ada-reference-manual-2005, ada-reference-manual-2012
Architecture: all
Version: 1:2012.2-6
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Uploaders: Nicolas Boulenguez <nicolas@debian.org>
Homepage: http://www.stephe-leake.org/ada/arm.html
Standards-Version: 3.9.6
Vcs-Browser: http://www.ada-france.org:8081/branch/changes/org.debian.ada-reference-manual
Vcs-Mtn: www.ada-france.org org.debian.ada-reference-manual
Build-Depends-Indep: debhelper (>= 9), dpkg-dev (>= 1.16.1), gnat, faketime, texinfo, texlive-latex-recommended, texlive-fonts-recommended
Package-List:
 ada-reference-manual-2005 deb doc optional arch=all
 ada-reference-manual-2012 deb doc optional arch=all
Checksums-Sha1:
 652883202760abb55cb8d13464c6bcc773f88009 2518065 ada-reference-manual_2012.2.orig.tar.gz
 5c0ae57579fbe6d1c7acfbe1dcaca8cb52da3c9b 6292 ada-reference-manual_2012.2-6.debian.tar.xz
Checksums-Sha256:
 856b53819c5addd07662056f3190e44f18a1fa69aaa1633043858ee6193ffd19 2518065 ada-reference-manual_2012.2.orig.tar.gz
 033a5067c5791008ac190192c327e274e929f56aa5f8148f9b8f9acc375ff7f5 6292 ada-reference-manual_2012.2-6.debian.tar.xz
Files:
 364c3215fa0c904807f0ddbd950c112a 2518065 ada-reference-manual_2012.2.orig.tar.gz
 4368b0a10c9f70cf21ba2e74d7ef7828 6292 ada-reference-manual_2012.2-6.debian.tar.xz

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

iQIcBAEBCAAGBQJVoqjkAAoJELUqnPRJDfyNTQYQALrK13VqW178UdgTdt++frsF
YNALlEk5EbOn6q387lDqmU7pzBvhkCRsCEHXKHoS2mQ5hCR7FjZM7VE8KkKc4+hk
QSgFcVcgo7frDOxEJMEtg/dVcprJlHRV4DY9xQ4n0jKy/fxfpG8oX79LKVcNcC+C
LIvXX3RxzMrsPbB6HKooWmSt6aD7uTVlnpe7IgVVtdHKe0X4fMmqgsiTcJzOXC+c
0o+r3mvqzssOiKe7DbEePC6W3Zrxv1qcBcTC45CDTMQNLW50fCM5nELbDHmTFmSk
KFCsMwMGcFPq4MfgwsFOvZo7PBdBBWEkH6R/zKXtWOMsI/UAmc84NLBuL/rN4rbA
5MfzLqtx05Tr3hLwjXahi/OMwAGSaFES2YxUw/edzL9D20vot1HjnSflVOiJG5zC
cl7/fFkcbt8pfHalXXyXund7YMCT53jdHWQXyoBsSAaAOVduICwsAZCamWF9NZEF
7mOvTRDhxirg+cKlhihcqYWzXowvg7u1GJrXmpbowiZdngWmEB0w+WqDOaDgD7j9
CVOaQH6ZVLV4lCO+d/P0DlfoB2ebAy5NhCJzXmPnP3y82NJUDVPUuko5FFLZuQJ/
OFBywHuSK31cu1CmGAGobPkVZg/fEdwnp8z7kTen2S3LvOqVl4LvMhKxfIiFNiS5
jxs82EsKEN4RvNqaeyhZ
=WwMK
-----END PGP SIGNATURE-----