Format: 1.8
Date: Fri, 09 Feb 2018 12:11:06 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: all
Version: 2.0.1-1
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-008.buildd>
Changed-By: Mike Gabriel <sunweaver@debian.org>
Description:
 curry-tools-source - Tools that are used by different Curry systems, like PAKCS or KiC
Changes:
 curry-tools (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-tools-source): pakcs (<< 2.0.1~).
   * debian/{control,compat}:
     + Bump to DH version level 10 (level 11 not yet supported by CDBS).
Checksums-Sha1:
 1c6b861d770f079b4615f7f978564db76961a2b0 243984 curry-tools-source_2.0.1-1_all.deb
 92b3a4c0a61dfd5318b80b944612ad759d8b9dd4 6465 curry-tools_2.0.1-1_amd64.buildinfo
Checksums-Sha256:
 0ee6527b6cf8c065fe2e37e396b432bfad1e5e4d5351cca48e1589a27a569336 243984 curry-tools-source_2.0.1-1_all.deb
 4dd5963f3269ff6c21afcae7c6907c8de220ad91413fc956567a07e3de90f078 6465 curry-tools_2.0.1-1_amd64.buildinfo
Files:
 f06dce8919dc7ee7372c8d778fba5ad4 243984 devel optional curry-tools-source_2.0.1-1_all.deb
 853edc4bb4320bb8a521e5c4cf22d292 6465 devel optional curry-tools_2.0.1-1_amd64.buildinfo