Format: 1.8 Date: Fri, 04 May 2018 09:41:41 +0200 Source: gnat-gps Binary: gnat-gps gnat-gps-doc gnat-gps-common Architecture: arm64 Version: 17.0.2017-1ubuntu1 Distribution: cosmic-proposed Urgency: low Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: gnat-gps - integrated development environment for C and Ada gnat-gps-common - integrated development environment for C and Ada (common files) gnat-gps-doc - integrated development environment for C and Ada (documentation) Changes: gnat-gps (17.0.2017-1ubuntu1) cosmic; urgency=low . * Merge from Debian unstable. Remaining changes: - debian/control: gnat-gps: Recommend gdb | gdb-minimal. Checksums-Sha1: 5e74e82f22182369c00d50bb76626e04eb637f64 53669152 gnat-gps-dbgsym_17.0.2017-1ubuntu1_arm64.ddeb a204c1201dfec0eef54b8d54bdc1a09149431da6 15032 gnat-gps_17.0.2017-1ubuntu1_arm64.buildinfo b8035c447d4a5831fa12b364e73e747d9d5cf291 14833484 gnat-gps_17.0.2017-1ubuntu1_arm64.deb Checksums-Sha256: 43c3bc2b3cf234c776b5d1ac2c4a858ede1ef69eaacd676ae51d84544ef9151e 53669152 gnat-gps-dbgsym_17.0.2017-1ubuntu1_arm64.ddeb ba0abb17aee6f31680be2c7b990a1057575b67ba166f247445d66737bdcbb1cb 15032 gnat-gps_17.0.2017-1ubuntu1_arm64.buildinfo c4ebc6859665cca45c0d49db1800095a77419d911e8e029762bdce6cdeadf350 14833484 gnat-gps_17.0.2017-1ubuntu1_arm64.deb Files: 631607ed569ad437519c65eed4331c85 53669152 debug optional gnat-gps-dbgsym_17.0.2017-1ubuntu1_arm64.ddeb ba737150d178f8c74b6da8b7b22f5cc2 15032 devel optional gnat-gps_17.0.2017-1ubuntu1_arm64.buildinfo 6f09f669cd1aebfd4afad44fbef6b6b0 14833484 devel optional gnat-gps_17.0.2017-1ubuntu1_arm64.deb Original-Maintainer: Ludovic Brenta