-----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-3
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.5
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, 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
 9b6498689267140082238dbdd5337d0a56f1b773 5628 ada-reference-manual_2012.2-3.debian.tar.xz
Checksums-Sha256: 
 856b53819c5addd07662056f3190e44f18a1fa69aaa1633043858ee6193ffd19 2518065 ada-reference-manual_2012.2.orig.tar.gz
 6f995321c953025bb6d954ea6a2538ba4027914770dac3509463207033f4a264 5628 ada-reference-manual_2012.2-3.debian.tar.xz
Files: 
 364c3215fa0c904807f0ddbd950c112a 2518065 ada-reference-manual_2012.2.orig.tar.gz
 e185da19851abcbeaf3be50d508f0cde 5628 ada-reference-manual_2012.2-3.debian.tar.xz

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

iQIcBAEBCAAGBQJTXp5lAAoJELUqnPRJDfyN8lAP/19sqShYKnxak5oxapGCskgx
hcJjO1R3nNJ9lVCCSCWr97WcxV5i+VvCZ9xYSDrmZ/KQ2xjAT5OupU0jjoUeyZtb
7BEU4pEood+WnBVW1i6veBFvCquG1cE7YJOKPubtsWdbUj5/JaxLqUt1/j8V1OYu
1PKTi5T+5tg0f3fzj23GBVKCK+UGXyCfJ2v9f8M/0NiHVfYYhTlqZMXpZplQwXTv
gK96Ws6wVnG0iDnL+6av0hiy55eC2HVsMC8tDzBHnjO8nu3hN/GS3Vx3PmQypMEQ
/vMnxKrMP+W2KL4PjQFk2ntmhCElDYI59CZZFwGCYzLBOtEZ8y8rMQKMWtNSmdLc
efMrtYABOmO9+GkcVOuNpr/sqymvTnvrk+gsL3Yefg4Ci896rdqrILTfSwVsWCt6
tIa8X8WWmF32kfpfqxQ0aSB7a5Fd01EAgVytY3WJnQnEBsgThcV+F85iwFDWAWZw
Z1HlkLUsjKtHw4ad9Lc169uRrA4cE2XfizKeyUmnDBjyeQRIfmx7m1LVgDvlxZmH
IJGO1PtoLGbdKSKace23BhEoT6LF98IH6Ll3eVNucGmf777H+Gd8ZgLu2rUQnuEN
5J2DMtfs0Xz3LooFWY3w+AkjuOR0yD37qvgJX2sPxYE7TlWwoa8AI1/TVCkLgyEd
O8t2qsGTU9/KfzwMsm1G
=vZlK
-----END PGP SIGNATURE-----