Accepted adacontrol 1.16r11-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 27 Apr 2015 18:33:43 +0200
Source: adacontrol
Binary: adacontrol
Architecture: source
Version: 1.16r11-3
Distribution: unstable
Urgency: medium
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Changed-By: Nicolas Boulenguez <nicolas@debian.org>
Description:
adacontrol - Ada rules controller
Changes:
adacontrol (1.16r11-3) unstable; urgency=medium
.
* Embed date from debian changelog in docs, for reproducible builds.
* patches/adapt_test_to_debian.diff: accept new gcc x.y.z output.
* patches/avoid-tests-depending-on-glob-order.diff: new.
* Let autopkg run upstream tests, except failing t_representation_clauses.
Checksums-Sha1:
7acb46d1151c6cff783978e56a89b24958e7ced9 2100 adacontrol_1.16r11-3.dsc
804d95ea94614ca43feed79f979f21192e5f12aa 8940 adacontrol_1.16r11-3.debian.tar.xz
Checksums-Sha256:
a4ea65a04183af973b54e0cb3b0a716e0d80ac2a53a3e22b04a8a7b5ad2095cd 2100 adacontrol_1.16r11-3.dsc
7232173e295550a7c367233c7a153abe737902e3b00bc7ddf21280679e332071 8940 adacontrol_1.16r11-3.debian.tar.xz
Files:
02e9aaee1c2545763c906a6f19b0630f 2100 devel optional adacontrol_1.16r11-3.dsc
958c51164b9d644cbc4ef1390977bdff 8940 devel optional adacontrol_1.16r11-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVP7stAAoJELUqnPRJDfyNMCEP/Rftcj5VZ5LAvZbaq625kJfy
Qnf/4nvW4igQPP1AKepnSdJNri+sTSfst8aUQA/gS9G3wHjVvjqTvFE7PR2I3PGa
EdCtKt99EL22zoHI7gD9JBf2clqghYg/HrB06A6pg8KX5z/hwWA+VK7TQkwGdSfl
mobUofrrc1jqsutwlEuIP62ZlmIaRCMWLK+3mOrIFGTY6vN3J6q8IR43gt6Ijl3k
PXpIypDGKF9uc9P/ubhAKAMqInT/hu1x91wod5Yy3dgcR8cL9pUMAqBR2XOSj7WE
Gn0ga5VGcPZQ2y9kLF/Cnhqp56JnbfjXMXh37ODOGn+6w21n9mevv8oBIrElfb+g
cw4RiCgS3etGGU+ltXr674emsJhvKQBDRnss4J4rRhefkXp72v/opK7vZl1Ak3W3
Pv7twFAS4M7SJL5StPhlxqfJ2s+kvbhhlm/M2nrokw1x04R1iaY/qgZzrLsgMnJQ
yDditzeRZ5FA++g5UAbVIGeIJ7AVipuiN81ioVjeQPPsy2okNRuvMl1C5SjU5fx0
ZiZwVTvjmb3aMK0J6ZgNQ+SX0pQ2T4FeLCM6ZHD30IHwjOdfn++2Q3E+QRTb9yXh
RB/+QMhiWfpmMghW/tJnuI5yqqIJYSCYWPGlEbUUuR55pt5EK85iaqtWxJLGJjXW
RWuhynkwoLACm6blBP3X
=0MMR
-----END PGP SIGNATURE-----