Your message dated Thu, 03 Nov 2016 12:00:13 +0000
with message-id <e1c2ggn-0002io...@fasolo.debian.org>
and subject line Bug#840539: fixed in curry-tools 1.0.0+dfsg1-1
has caused the Debian Bug report #840539,
regarding ITP: curry-tools -- Tools that are used by different Curry systems,
like PAKCS or KiCS2
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
840539: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840539
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Mike Gabriel <mike.gabr...@das-netzwerkteam.de>
* Package name : curry-tools
Version : 1.0.0
Upstream Author : Michael Hanus <m...@informatik.uni-kiel.de>
* URL : https://git.ps.informatik.uni-kiel.de/curry/curry-tools
* License : BSD-3-clause
Programming Lang: Curry
Description : Tools that are used by different Curry systems, like PAKCS
or KiCS2
PAKCS and KiCS2 are two different implementations of the programming
language Curry. Curry is a functional programming language being developed
at Kiel, Aachen and Portland University.
Whereas PAKCS is a Curry to Prolog compiler, KiCS2 compiles Curry code
into Haskell. Both compilers require two source code trees at compiler
build time: curry-libs and curry-tools at build time.
The curry-tools binary package will be named curry-tools-source and it
will provide the Curry Tools source code required for building PAKCS (or
KICS2).
This package will be maintained in Debian as part of my work at Kiel
University, Germany.
--- End Message ---
--- Begin Message ---
Source: curry-tools
Source-Version: 1.0.0+dfsg1-1
We believe that the bug you reported is fixed in the latest version of
curry-tools, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 840...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mike Gabriel <sunwea...@debian.org> (supplier of updated curry-tools package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----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-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
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-----
--- End Message ---