-----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.3-3
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Uploaders: Nicolas Boulenguez <nicolas@debian.org>
Homepage: http://www.stephe-leake.org/ada/arm.html
Standards-Version: 4.4.1
Vcs-Browser: https://salsa.debian.org/debian/ada-reference-manual
Vcs-Git: https://salsa.debian.org/debian/ada-reference-manual.git
Build-Depends: debhelper-compat (= 12), gnat, gprbuild, texinfo, texlive-fonts-recommended, texlive-latex-recommended
Package-List:
 ada-reference-manual-2005 deb doc optional arch=all
 ada-reference-manual-2012 deb doc optional arch=all
Checksums-Sha1:
 2271b66ef2e5cb7dedfc63b0472484341c282a23 2578264 ada-reference-manual_2012.3.orig.tar.gz
 f87db42ae949d09b4e02302c882e46f96dcdf8d7 7176 ada-reference-manual_2012.3-3.debian.tar.xz
Checksums-Sha256:
 476fdb804fc702c91331b9a9c75d5db8a75681718aabfda8dc0f3be5b96ac0e6 2578264 ada-reference-manual_2012.3.orig.tar.gz
 a195096e3ca9d7f0a78e83df714ca019b59c880a15cba2845936bec21d245ecc 7176 ada-reference-manual_2012.3-3.debian.tar.xz
Files:
 5e23d923314bacd304cfb58d699a5a74 2578264 ada-reference-manual_2012.3.orig.tar.gz
 897d91f8741d15670ebcf5d0fa2eb216 7176 ada-reference-manual_2012.3-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJHBAEBCAAxFiEEYtlNMqmXIhEvWffytSqc9EkN/I0FAl3v1bUTHG5pY29sYXNA
ZGViaWFuLm9yZwAKCRC1Kpz0SQ38jRBkEACG+8+VHKygnsSR4Ei/E4j0aaRWDczG
Hp4xy6hHOXgzk+5BXi1bLTFOBJo7Aw+tP70IQh9XeamGOxLggyI4Nv7GB/pkjVRN
8AU3jQdPiEr7LsxuRPUr1x++pPFSSBf5I5LFQ79pfsQ7uWFICU/+yrwRtXFRaDf3
NH5Qbi2gMOjosqlpa/8Ym3UA9ecaP3NAuJCb5IdRNqbPuHOfbklXCfm09035dN7S
hPFcqmK6+DLpzupDgZf5H0QLwMfk5a1PcE7vRaDY+l2Y9gxXsStlJNs7rnpfCo3x
9AIjvJMa4wd97bRkCHi/+UbXxrL3Q7QaPohH5EQmLFXwbu9wKOi6//PpSCIc4uJ4
n9Hf/qVGKbxx3nk5DDKkI75OtYvki/S5bKpi2aphCiZddt2Cs3CyuvsOi7/l66zO
UPAifKeG8+k3pU1UV8MiStC5WPwS9z9H1tn2uwT9gCQa2LUxScdSjilNRj7jafpn
zsuRvd/mSWjlFtHWRY+KqMaLERVoqC+5PWcycPlCOJ/LRLrmxOCNjRsaUvRN6GOu
ydLjVt7uU9CXA2kTS0rdTiEQXv4M9tmS7cPwvURyll54OF9cm92mR2PIG2CfOiSk
X3Jy03vOyBeUw+g6MP+E+EngXSAmO3Gyi/JX8Eq7HImqN4buYFU3dqGs9UTBkff3
LNIknwhiB/zg3w==
=rE6I
-----END PGP SIGNATURE-----