Accepted adacontrol 1.19r10-3 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 23 Jun 2018 18:42:52 +0200
Source: adacontrol
Binary: adacontrol adacontrol-doc
Architecture: source
Version: 1.19r10-3
Distribution: experimental
Urgency: medium
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Changed-By: Nicolas Boulenguez <nicolas@debian.org>
Description:
adacontrol - Ada rules controller
adacontrol-doc - Ada rules controller (documentation)
Changes:
adacontrol (1.19r10-3) experimental; urgency=medium
.
* Rebuild with gnat-8, libgnatcoll17-dev, libasis2017-dev.
* Standards-version 4.1.4.
* Patch the tests to use gnatgcc instead of gcc.
* Remove overrides for pedantic lintian messages.
Checksums-Sha1:
fe72c0c49e0e3441d5fb8c13a32b83425fd16909 2267 adacontrol_1.19r10-3.dsc
4314060cefcdd3cafdee4bd26e68d42cef82d794 13772 adacontrol_1.19r10-3.debian.tar.xz
Checksums-Sha256:
fa9192e1ac088b83363b3459e9bd1ffc9cc5830f2f9a10b81dc6c7c1067b9e13 2267 adacontrol_1.19r10-3.dsc
4f743df5308028183e9518fd8c1c4bf7204f0b8fa84aa0d7f289b8f60c74ac7c 13772 adacontrol_1.19r10-3.debian.tar.xz
Files:
4d82da88cfd7f7e8352301f2f81c75ba 2267 devel optional adacontrol_1.19r10-3.dsc
9d8f471ba09b90e16ac67573956833aa 13772 devel optional adacontrol_1.19r10-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJHBAEBCAAxFiEEYtlNMqmXIhEvWffytSqc9EkN/I0FAlsueuoTHG5pY29sYXNA
ZGViaWFuLm9yZwAKCRC1Kpz0SQ38jQiND/4vXd13rZ21uUwxPHcAa0NbmqXc2ed6
0ZlGvVFvxvdzhNRaYqwNs60GoVFA7dwd0yX4vITOIGMMuZb6t7rzV9GC5W4sSUAE
n1kjCxWDnFdJx7YO/+BaNKCi+d2es07zTzbRdUJN1WD38dOvb5+8+AZKY0/1aMxo
FKObGtmDNFXOpTmfG7JEpKTrbNzgUB2FfEBFCX1KWhsy1oIh+Crwk6pFQ46XHxkL
kBN1+o5918izSGPovslRh8YUmRAkDP6vNs+rAyWYnwk+YmskhaSr5XxNDHVBCu2k
7JXSlCuAz1nkJ8N6r6ankoZogmrh/Gwn2vYFSwZl972JMrdWPY7++NI8IARWNae/
ln+caByUhKE5SzcwEExNqiajY7OYk/jlVbRTZoRORhIs/eby+EXthcvPbghLYeCS
12G7PkH/rTKiqS6tXXnI/4OnT3XtiCyWMPiqE9bg2JYc7gnlIbepX3CM2Md5/+F1
rR59vOgYi66Q8tELUIHkXoQ/MKfOX8d1zolbk/Po4CubKi/+sisfpF38COFpTYH7
/jaSeKPaLUBmF5vbLl6MYRN7NHjAwBka+ZrsIUrDWtdEOiqZMxhpYwOrA2y4XVcm
ChV9POSzOF7Dmh9+WANWIJiRof6n7z63kwtDPKMpDpWyF2fUPWf3rgYVUiKGhyon
yCZfRvUf/5hPWg==
=cXEJ
-----END PGP SIGNATURE-----