-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: adacontrol Binary: adacontrol, adacontrol-doc Architecture: any all Version: 1.20r7-3 Maintainer: Ludovic Brenta Uploaders: Nicolas Boulenguez Homepage: http://www.adalog.fr/en/adacontrol.html Standards-Version: 4.3.0 Vcs-Browser: http://www.ada-france.org:8081/branch/changes/org.debian.adacontrol Vcs-Mtn: mtn://www.ada-france.org?org.debian.adacontrol Testsuite: autopkgtest Build-Depends: debhelper-compat (= 12) Build-Depends-Arch: gnat (>= 4.9), libasis2018-dev, libgnatcoll17-dev, gprbuild (>= 2015-2), dos2unix Build-Depends-Indep: texinfo, texlive-base, texlive-plain-generic, texlive-latex-base, texlive-fonts-recommended Package-List: adacontrol deb devel optional arch=any adacontrol-doc deb doc optional arch=all Checksums-Sha1: c3ae71345b9331b43e59fcf1ea85da3cb8831c4c 671048 adacontrol_1.20r7.orig.tar.xz ff299e060924ad5e83cf3cd8ec7ab741f34bf392 12928 adacontrol_1.20r7-3.debian.tar.xz Checksums-Sha256: 915562c899cbec298b07d39292fc40881f6de55da14ce96f4d2381e73ae9f17f 671048 adacontrol_1.20r7.orig.tar.xz 8ae6761e2438249d1d0db6bccea364cc6a73757a0394d61b5263aeacb9090615 12928 adacontrol_1.20r7-3.debian.tar.xz Files: 9d4bc35448a9d7bbb62d637b78399ee4 671048 adacontrol_1.20r7.orig.tar.xz 14843f1928fdfb09855965494167d3a6 12928 adacontrol_1.20r7-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJHBAEBCAAxFiEEYtlNMqmXIhEvWffytSqc9EkN/I0FAlyvBcATHG5pY29sYXNA ZGViaWFuLm9yZwAKCRC1Kpz0SQ38jVFAD/9smF+ZXvvReJ4rtL/f4tVaeq/0FHJ7 GiG09d50pLNuJvyNm7QJdBE9+Ya4ust7LVRmlOAPSRSH288oF/7c5wC5EhpL0wKL Hc3qZIe2qVQLTX+YRJVQizWX9VdC0XecwV53zB7sYm7rYa4MMqpvDEcqQ5IknTs9 /HhxchWf2iDLY1sJXI56YMyAYpIB72AiCcz/MNbUEKNZm5YHuDxvEt40ywO/odmW XFGv9yvqA0bt/Ye6klH1H0i/QpeJO8f4pnNc/oQKitXV1CqDPck5inyU8ad9SCHS fElT9gmq6o86/8rPpwuvVMoN+hQPfHVt3u6Ha3HvCGm0NXrGuEnoZpz9hSjEA1HF 4mUbs7ukWX751IWoVt+9g9Wutxxhb+KYX/7t5U3WbHjwhvPS2H/JGCBeA4NDkzCT jwM0Fcke58lDqdM1pWLFPf3oNUWD2s8/p4rHIr/Sce0vHcTc2ghW5B/b1W0DL8Cs NAEu4xVWUckwQXG62gQKQLsGt48l/P/e42w9vGPsac9gb2voG/rcq8Xh/L3nBkOF 8mHXFFOF6YNFrObskALkx2TZk+sR0l5H0ZX420FxOblrxIIUkDfjtEpUZpvmsYex Dpb8O9rzy3GIPNuEbmJbvD8O8XNQQ0ZgEyLYDUpeTVr8hPCfPArNWDLqRz4Qz0k/ MjjtLxTjEnu/fA== =efcQ -----END PGP SIGNATURE-----