Format: 1.8 Date: Fri, 09 Feb 2018 12:02:51 +0100 Source: curry-libs Binary: curry-libs-source Architecture: all Version: 2.0.1-1 Distribution: bionic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Mike Gabriel Description: curry-libs-source - Standard libraries of the Curry distributions PAKCS and KiCS2 (so Changes: curry-libs (2.0.1-1) unstable; urgency=medium . * New upstream release. * debian/control: + Bump Standards-Version: to 4.1.3. No changes needed. + Add B (curry-libs-source): pakcs (<< 2.0.1~). * debian/{control,compat}: + Bump to DH version level 10 (level 11 not yet supported by CDBS). Checksums-Sha1: 386bab9dc49c9ed614274a93b05dc7bcbabe3d9c 125372 curry-libs-source_2.0.1-1_all.deb d63864438f1b52558e9b9c927d5ef73cb955cbc6 6458 curry-libs_2.0.1-1_amd64.buildinfo Checksums-Sha256: d629b002900913c6c2a4df20ae599973e81f8c887810eeb32fa5b9e2269cbe19 125372 curry-libs-source_2.0.1-1_all.deb 2a3f3367ae16092f541dc1dc943a416bd5adb90ae386b2d914d01735d00d4ecd 6458 curry-libs_2.0.1-1_amd64.buildinfo Files: c94defd3d472256989ef9dafc9965110 125372 devel optional curry-libs-source_2.0.1-1_all.deb bb3a459d3db865f0ea2c7a4a94eea8ec 6458 devel optional curry-libs_2.0.1-1_amd64.buildinfo