-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 19 Apr 2008 01:15:14 +0200 Source: asis Binary: libasis-dev asis-programs libasis2007 Architecture: source amd64 Version: 2007-1 Distribution: unstable Urgency: low Maintainer: Ludovic Brenta <lbrenta@debian.org> Changed-By: Ludovic Brenta <lbrenta@debian.org> Description: asis-programs - Ada Semantic Interface Specification (ASIS) example programs libasis-dev - Ada Semantic Interface Specification (ASIS) headers and libraries libasis2007 - Ada Semantic Interface Specification (ASIS) runtime library Closes: 425626 445764 445769 472529 Changes: asis (2007-1) unstable; urgency=low . * New upstream version. Closes: #445764, #445769. * patches/gcc-4.3.patch: new; compile with GCC 4.3. Closes: #472529. * Build gnatcheck, new tool from upstream. Closes: #425626. * debian/gnatcheck.1: new. * Do not build display_source, removed upstream. * debian/display_source.1: remove. * Compile the library with all optional run-time checks enabled. * Change asis.gpr into a proper library project file using new features of the project manager. Checksums-Sha1: e1bc3dd4f3e348e1659b1b271f2cc73026e0fd63 1057 asis_2007-1.dsc 577893fcf07cf00154a25550bcdc867ff805c40f 1136478 asis_2007.orig.tar.gz ec6bf054c672eda363a2711b2dd8bdf1e92a833e 15789 asis_2007-1.diff.gz 73c4385f46dce38985a2a1f0cd2d0202291aadb4 4147686 libasis-dev_2007-1_amd64.deb e2f6daab6d2a031dae5c9b46645c9461a53dd377 840716 asis-programs_2007-1_amd64.deb 354fd0ed4cc3d1ea2ad355afdc5619157d2a2ac9 726438 libasis2007_2007-1_amd64.deb Checksums-Sha256: d157e04898a79eddf0c617c20a0121f13d8450698f10d24c01b8b393ac6f0057 1057 asis_2007-1.dsc 6b2c050fb614f4677cac5f3361c38145f3af3fc4c6b9b21ac40ebc63ae653cb7 1136478 asis_2007.orig.tar.gz 8082c6199e1b9d2964ec51b1c834aacdb5a81db5564879eb56f48465dfe48547 15789 asis_2007-1.diff.gz 1dbdfd44366b1bcdabea852338ce79d250f9b38320d96cb192a886f7c7bfa3c6 4147686 libasis-dev_2007-1_amd64.deb 79a10eb4effeeb0dc21ebb60683ab043993795448adc8003ca6a2d22a00ea36c 840716 asis-programs_2007-1_amd64.deb 18f1e43ca14765f93504a342b803cb1c522fd2bd4f68f7d4d63646435aca8ecd 726438 libasis2007_2007-1_amd64.deb Files: 87bfc43ae8a648e8cde82b0bfc5eb541 1057 libdevel optional asis_2007-1.dsc b582193fb7445deac8c61bfde3d769e5 1136478 libdevel optional asis_2007.orig.tar.gz a6994f8d43faf33016ecd5ae7c489996 15789 libdevel optional asis_2007-1.diff.gz 9e5046969ee3638433bffbcee8f2778a 4147686 libdevel optional libasis-dev_2007-1_amd64.deb cd6c12bd61c52336de8429d8b6438bf5 840716 devel optional asis-programs_2007-1_amd64.deb 6890807faf801ecb5b1b063a49ae957f 726438 libs optional libasis2007_2007-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFICeTsx9kwJZ3/qtQRAsdJAJ0cHdKNRtpbcWy2Yuoa9Nvvg7PdYgCfdNCS AiG3rtecf51ZKCuOg+TH+7E= =p49T -----END PGP SIGNATURE----- Accepted: asis-programs_2007-1_amd64.deb to pool/main/a/asis/asis-programs_2007-1_amd64.deb asis_2007-1.diff.gz to pool/main/a/asis/asis_2007-1.diff.gz asis_2007-1.dsc to pool/main/a/asis/asis_2007-1.dsc asis_2007.orig.tar.gz to pool/main/a/asis/asis_2007.orig.tar.gz libasis-dev_2007-1_amd64.deb to pool/main/a/asis/libasis-dev_2007-1_amd64.deb libasis2007_2007-1_amd64.deb to pool/main/a/asis/libasis2007_2007-1_amd64.deb
