-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 20 Aug 2018 15:59:07 +0200
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 2.0.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
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-2) unstable; urgency=medium
.
* debian/control:
+ Update Vcs-*: fields. Package has been migrated to salsa.debian.org.
+ Bump Standards-Version: to 4.2.0. No changes needed.
* debian/copyright:
+ Use secure URI for copyright format reference.
* debian/watch:
+ Update for tarball export feature in latest GitLab versions.
Checksums-Sha1:
cc9c7891a746ee04c82ce03ded5a999c7b59245e 2082 curry-tools_2.0.1-2.dsc
8c57df228bdf2ac36a8ca27ed3be486113b06fd1 3588 curry-tools_2.0.1-2.debian.tar.xz
0f621c72c80820137e5c78303d8af7192ca48765 6166 curry-tools_2.0.1-2_source.buildinfo
Checksums-Sha256:
3fe5c352f8bf3a8c87183c9783ef8306021ec6a9697003a1f67e36f742553427 2082 curry-tools_2.0.1-2.dsc
b55e7f589fbbe884aba91391ef5f8b549496d8108fb69270b0de9801314a1bbf 3588 curry-tools_2.0.1-2.debian.tar.xz
3dfdb6a7421c7f6a03fef3475480a253d6f26883053dbcac10352bde646ebfb7 6166 curry-tools_2.0.1-2_source.buildinfo
Files:
21aa0f63f341204e0f20c03e0a8e21c4 2082 devel optional curry-tools_2.0.1-2.dsc
bcbed5ec6964d701726e8b0b961bdc0c 3588 devel optional curry-tools_2.0.1-2.debian.tar.xz
c571c1d51139d19f2c8007f963f4eb12 6166 devel optional curry-tools_2.0.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlt6yUkVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxKpUQAI8aKIxss4SQLG98xrX2Dqm99A74
4nGp0E8OWoDgdptCOpKJHVzMLolK4a2VAqh5IYKzCYIMYxUrgGbSiHsMv4c3IrOZ
FaKKIUiMNYITvdHma8gaDf3+txLtVWVOO45AUF84j1RMovXVhIdxRbr6uESnwJ6Z
DnS1YawxzLtjLaTFxN8Mwn4ZlCQbscrsJ4WqyUGS376onY4tDXEhkIys+CFkaLXf
m2fYrdcZo+Ig3L+cUEYcbetT05mD/VBBn4uNGsooZQDnEiGnznpr1SN7mdZrZe88
CbqKd4n4k5WSjZz9MWvBqo8svVwY/ihB/26QdEwgwlhVld0beaVw/0nO1d07DTcf
ycxNHK2lvjicZ02g/NkgT+GwMps/VgOKPni7wUKmfa+e1FIt2L88sFrB/gHLi0KE
8xYxwL4xYPlJ5KC1jjjTisTMHrXURqe5ljqkFMSA7Tx7O9/4CnJQrgxjdvO3iTqL
5ChPKmx1KhzhLHS8u6dLkD2AtStYgx0AAdsQqNDiNUt9LRQVKdVGUPUlaU0zvIfk
Tp6mPd1qMChC/12qRrzXdKDFN/9NG3P0f5O9tXz2/GFK1XHVhJFqBk7MpUgzdard
CwLePt6jhA8LpDIeb81VbjknKv/wo4GnZhHw/pZ957D+jiYGCXZcDPifCXi7f5eE
bUCYSze2TlEyD0Q6
=l33C
-----END PGP SIGNATURE-----
