Format: 1.8 Date: Thu, 18 Jul 2013 00:55:58 +0200 Source: gnat-gps Binary: gnat-gps gnat-gps-dbg gnat-gps-doc gnat-gps-common Architecture: armhf Version: 5.0-16 Distribution: saucy-proposed Urgency: low Maintainer: Ubuntu/armhf Build Daemon Changed-By: Nicolas Boulenguez Description: gnat-gps - integrated development environment for C and Ada gnat-gps-common - integrated development environment for C and Ada (common files) gnat-gps-dbg - integrated development environment for C and Ada (debugging symbo gnat-gps-doc - integrated development environment for C and Ada (documentation) Closes: 708932 Changes: gnat-gps (5.0-16) unstable; urgency=low . * rules: simplified using debhelper 9. Link C objects directly, without intermediate static archive. Add missing substitutions in config.ads. * patches: refreshed without timestamps. * copyright, patches/texinfo: GPL-2+ instead of GNU GFDL. Closes: #708932. * lintian-overrides: a patch removing a non DFSG license must contain it * install all documentation in a single /usr/share/doc/gnat-gps directory. * Revert to parallel build. Timeout is more frequent than RAM exhaustion. Checksums-Sha1: 2707f0f7a76d31b458582e902c891c7cb2b55b61 6448596 gnat-gps_5.0-16_armhf.deb 86168a1e2f3e69193871485fc2855d443ddc2e1c 21092368 gnat-gps-dbg_5.0-16_armhf.deb Checksums-Sha256: 4c8ddead3c3a21f346bf930a8afc52574a01cf21cc24a1ed897ad69bc6b4da98 6448596 gnat-gps_5.0-16_armhf.deb 4857007bdeee63a3cea2afcdd57d0239ccb534c1cfe6fe79e39de83b27048da7 21092368 gnat-gps-dbg_5.0-16_armhf.deb Files: f805d726b9658242a99f6318d7bac6f1 6448596 devel optional gnat-gps_5.0-16_armhf.deb 2441cf7a9e1cc4aab40abb008435bec7 21092368 debug extra gnat-gps-dbg_5.0-16_armhf.deb