-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 5 Jul 2006 08:41:06 +0200 Source: asis Binary: libasis2005 asis-programs libasis-dev Architecture: source i386 Version: 2005-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 libasis2005 - Ada Semantic Interface Specification (ASIS) runtime library Changes: asis (2005-1) unstable; urgency=low . * New upstream version. Do not provide the GNAT sources, bundled by upstream, since we build against libgnatvsn. Do not provide documentation anymore; it is non-free. We still provide the tutorial, examples and some explanation files. * debian/tools.gpr, debian/rules: do not build display_source anymore, it FTBFS due to the support for Ada 2005, for which it has not been updated. Build gnatcheck, which is new in this version of ASIS-for-GNAT. * debian/copyright: change to the pure GPL, per upstream. Explain. * debian/control: - Change my email address: now a full DD! - Build-depend on gnat and libgnatvsn-dev (>= 4.1). - (libasis-3.15p-1-dev): rename to libasis-dev. - (libasis-3.15p-1): rename to libasis2006. - Update Standards-Version to 3.7.2 with no changes. - Add alpha, amd64, hppa, ia64, mips, mipsel and s390 to Architecture. - Build-Depend on quilt, which we now use to manage patches. - (asis-programs): depend on gnat-4.1. * debian/install_asis.gpr: build without -gnata and -gnatVa, because libgnatvsn4.1 is also built without these checks. * debian/00-docs.patch: remove. * debian/01-gnatgcc.patch: update and move to patches/gnatgcc.patch. * debian/asistant.1, debian/display_source.1, debian/gnatmetric.1, debian/gnatpp.1: new. * patches/gcc-4.1.patch: new, but disabled; only applies to ASIS 2006. * patches/series: new. Files: cc23d823a1ca457e780515296bf7d8c8 697 libdevel optional asis_2005-1.dsc 64ded8450c30fcdcd5bbf5e8f6ed3791 909746 libdevel optional asis_2005.orig.tar.gz 12d9de82b4993e17f060e0e7fa87dffb 15376 libdevel optional asis_2005-1.diff.gz 31b2a10e11553c1f9bd78d493ca119d0 2812848 libdevel optional libasis-dev_2005-1_i386.deb 7d749bea8544c746dc1dcb94ca8de82d 664226 devel optional asis-programs_2005-1_i386.deb af02c4068a4ccf21970a5c9fff7164f2 518066 libs optional libasis2005_2005-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFEtBmHx9kwJZ3/qtQRAiyJAKChg3/95HYvT7slpiIx2JS3rM1WPgCfd8Zi dxxCg1JVmkFBYKB3/La5oBM= =x7yB -----END PGP SIGNATURE----- Accepted: asis-programs_2005-1_i386.deb to pool/main/a/asis/asis-programs_2005-1_i386.deb asis_2005-1.diff.gz to pool/main/a/asis/asis_2005-1.diff.gz asis_2005-1.dsc to pool/main/a/asis/asis_2005-1.dsc asis_2005.orig.tar.gz to pool/main/a/asis/asis_2005.orig.tar.gz libasis-dev_2005-1_i386.deb to pool/main/a/asis/libasis-dev_2005-1_i386.deb libasis2005_2005-1_i386.deb to pool/main/a/asis/libasis2005_2005-1_i386.deb