Accepted curry-tools 1.0.0+dfsg1-1 (source all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 19 Oct 2016 14:13:14 +0200
Source: curry-tools
Binary: curry-tools-source
Architecture: source all
Version: 1.0.0+dfsg1-1
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
Closes: 840539
Changes:
curry-tools (1.0.0+dfsg1-1) unstable; urgency=medium
.
* Initial release to Debian. (Closes: #840539).
Checksums-Sha1:
bb9daa4b276edfddca9596a2ee358d5491db1cbe 2070 curry-tools_1.0.0+dfsg1-1.dsc
e65a6849d5d8f8bbd32eb02a6625d2b7730cbee9 566864 curry-tools_1.0.0+dfsg1.orig.tar.xz
49f8ac6b5de22ad9ac15133ed07bda8300e87149 3228 curry-tools_1.0.0+dfsg1-1.debian.tar.xz
c4c63ef58bc7b6525216ab8c38eb430ed6444a9f 572948 curry-tools-source_1.0.0+dfsg1-1_all.deb
Checksums-Sha256:
5b88f53e9306a38e8ae8c79754d656eda59ece2c3717ab43d5a0402343205f3f 2070 curry-tools_1.0.0+dfsg1-1.dsc
7a119bec85e067686541acc9a874dcf8729cfda0677c94e5916ae364fcdef718 566864 curry-tools_1.0.0+dfsg1.orig.tar.xz
7bd1a0965e92aa53a5081d151449989f46808a775e4ff99e462a6d51d0895178 3228 curry-tools_1.0.0+dfsg1-1.debian.tar.xz
9c72f077c87f223a55a5f49f5e62247db3d629199da1eea1d57f3b04310a772e 572948 curry-tools-source_1.0.0+dfsg1-1_all.deb
Files:
9b1d40490031af95efa40f713e51a717 2070 devel optional curry-tools_1.0.0+dfsg1-1.dsc
d5c2b851cd4eeaa99ef1ad1321ca722b 566864 devel optional curry-tools_1.0.0+dfsg1.orig.tar.xz
05fba1d76ba49cee1c7cb6f611200b04 3228 devel optional curry-tools_1.0.0+dfsg1-1.debian.tar.xz
25daa58455f35a71ce10e98af3bdcff0 572948 devel optional curry-tools-source_1.0.0+dfsg1-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJYB2OHAAoJEJr0azAldxsxIiMQAKpSp19u2pTMPEgDZSIXJr0u
R9XAKKVBBoKTUZ+oTVvoQL/HOYIfp7TSWJUEKtokFAjZt6iwiRA2CQMidABakm5x
JcENLX113mN8k2jpTOr2U3hc6FKi/wCmIbIdcDWFbpBE20gCn/luE7hKwY53f9re
ZIU730tzfw0nJPrEaFO/l5UhGKplDAxc+1I+eBz1DZ324lNuBxbCNO4ejcb3Uc2B
qXmnzOtfI7uXrxQse+OGwj64sny+4YENZ0rlOEVR+mVVD6IWK887mVvczXjVstN2
sVzvrFwFHan1lgCoU07F/ck8DbSSH7m1tMceV9li0PxNry82rhpqUqJXG51HZnNU
ZkU0jOavat8FZlRNh6+jvCYRaWavJ1Nr7UjQJQ2hOA03/sIM6j4YhR/0mYGnpcTC
TgClBEXEFTXSEqT0VfdC2wwXRUzm/LJsa3RLeZdwpXqUpbbYanGP1JaMUWhsQdce
3SqUHLhe0OxcNnhPRk0fMVHlZ04hJxvHkb+Sj/0FEEY3aWPxRVz/k8olQwiLsCZs
EJW2N6hEMMzN96jLrpgXELYitx6fXHDYPfvjkt7npzVE/k5vMFeB8ohIOpzNuLzZ
obOGfpzyLNYINnuBgF9shVzO8oz7lQKY32vDEfz3k+x8VRoRY5NXVpZq3MXni8/6
wGtPvq2kFD82g76tXvwT
=bZmW
-----END PGP SIGNATURE-----
Reply to: