-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 22 Nov 2018 14:44:59 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 2.0.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Curry Maintainers
<pkg-curry-maintain...@lists.alioth.debian.org>
Changed-By: Mike Gabriel <sunwea...@debian.org>
Description:
curry-tools-source - Tools that are used by different Curry systems, like
PAKCS or KiC
Changes:
curry-tools (2.0.2-1) unstable; urgency=medium
.
* New upstream release.
* debian/control:
+ Bump Standards-Version: to 4.2.1. No changes needed.
+ Update versioned B: pakcs (<< 2.0.2~).
* debian/upstream/metadata:
+ Add file. Comply with DEP-12.
Checksums-Sha1:
842b926c217400964cda9d892388efee8429311c 2082 curry-tools_2.0.2-1.dsc
665f5d3b87fb65df80f0ec2afe289cbbfc2bfe97 472674 curry-tools_2.0.2.orig.tar.gz
cb59ffefe10add99e4c791cbf68f3f078ab54f8e 3788 curry-tools_2.0.2-1.debian.tar.xz
312ecdd1ed71ecdc7525b0db03da4d1eb20f1d49 6219
curry-tools_2.0.2-1_source.buildinfo
Checksums-Sha256:
54db22742de64c8c3e19be6529699f098020b19e53a546daf6bbd26f9dcce14b 2082
curry-tools_2.0.2-1.dsc
64b5c328845dbe57f3325f0d89730456ab79e4ac3c90208ec5ce6ad1e723bd9a 472674
curry-tools_2.0.2.orig.tar.gz
8a105c3b3c430f182d556b175c70d87d757338e6ab6598fb2b33646ad085087b 3788
curry-tools_2.0.2-1.debian.tar.xz
8c9b1e8509131df02190830f3e97f7cdc279cd0c1aa5d60f66cfc8931d47c010 6219
curry-tools_2.0.2-1_source.buildinfo
Files:
a886e2d8cc82910e8dccf86e60c0cfed 2082 devel optional curry-tools_2.0.2-1.dsc
ec7dffb16903af370e1d163d6182ad97 472674 devel optional
curry-tools_2.0.2.orig.tar.gz
d3ca1d453e65cdc5fb67e755bb5be8ab 3788 devel optional
curry-tools_2.0.2-1.debian.tar.xz
14e96c44853d8d34e49a53db51167537 6219 devel optional
curry-tools_2.0.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlv2szwVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxQBgP/RIgxX0iQnOWPiEorikEMB9VuM8v
hYfCCZHWK6thdWwIUJZfusVv/aD81f45vZRjKn8YFSXDsWJNBEeWrJ6ri0y2QPgg
ZylxgvY3EJLr6jp5mITTkE4tfkNjYQUL+1NQ29pv/yYa9rZ1iMQwrS1HIqe09/hp
6olQ2FHehGtebU4L25TW+MSkdmgMVI4Qv4SxEHIV60pgzXMhCy09KHQEe7Iwoe5Z
Gut8yc6oXTVOT1uvHMC/f1rYd/uGDCpcKn2OqMZwTgr+3GoTCY1d1u0tTvYk979i
ulSEw5pHO9fRKTfqSUU3oO5yg0pYi2LH5g4491VZ6WvowF5CE0vZKdb3wD8zftby
uiGJ6pdfvsL4RsMwL12emJOWfi7QKB0F12gTjUHRcVCbREYv0OujqSAtHqnL5bxw
60c7UoF5fLnKWgaZJoea4lZuFQeIIaHOlPxH/PaHbTv2XWtyEZx4QUWJHW1+xcsm
i1/D9+VsBGlR62pFSYEhWuYqHCREVB7S9aZea14y+hHGTy1R06igSXQcDXP+lmh1
ZXxOxRMGlUSDlcq0TH4mKtke9pUDwjs51ggwvCNBCDFM6D9/b8EC91KDdIARyXaY
YhiZYnxiJ41UdN2dJjg6IhcjpUrXfjKW6uHSBgX7pjJYplNfa1te/oqXwTmvxcu0
FXpYtsX8F37fmxjM
=18I2
-----END PGP SIGNATURE-----
