-----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-----
