[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#840537: marked as done (ITP: curry-libs -- Standard libraries of the Curry distributions PAKCS and KiCS2)

Your message dated Thu, 03 Nov 2016 12:00:12 +0000
with message-id <E1c2Ggm-0002I3-Qq@fasolo.debian.org>
and subject line Bug#840537: fixed in curry-libs 1.0.0-1
has caused the Debian Bug report #840537,
regarding ITP: curry-libs -- Standard libraries of the Curry distributions PAKCS and 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 owner@bugs.debian.org
immediately.)


-- 
840537: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840537
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>

* Package name    : curry-libs
  Version         : 1.0.0
  Upstream Author : Michael Hanus <mh@informatik.uni-kiel.de>
* URL             : https://git.ps.informatik.uni-kiel.de/curry/curry-libs
* License         : BSD-3-clause
  Programming Lang: Curry
  Description     : Standard libraries of the Curry distributions PAKCS and 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-libs binary package will be named curry-libs-source and it
 will provide the Curry 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-libs
Source-Version: 1.0.0-1

We believe that the bug you reported is fixed in the latest version of
curry-libs, 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 840537@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mike Gabriel <sunweaver@debian.org> (supplier of updated curry-libs 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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 19 Oct 2016 12:34:39 +0200
Source: curry-libs
Binary: curry-libs-source
Architecture: source all
Version: 1.0.0-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-libs-source - Standard libraries of the Curry distributions PAKCS and KiCS2 (so
Closes: 840537
Changes:
 curry-libs (1.0.0-1) unstable; urgency=medium
 .
   * Initial release to Debian. (Closes: #840537).
Checksums-Sha1:
 f74cae794919d666e903ee03b4fb6b57d844eadb 2016 curry-libs_1.0.0-1.dsc
 87b421b605391c72c3996e308566078c19a8d483 399726 curry-libs_1.0.0.orig.tar.gz
 02eb1459baf7240cfe28a84f9b03fb4d3aa42d2a 2240 curry-libs_1.0.0-1.debian.tar.xz
 9cb4317181db229310c4308cfb307f1c708cc4bb 317522 curry-libs-source_1.0.0-1_all.deb
Checksums-Sha256:
 7566600b78a5ec6868c8baf04a3b18800702f481f22bc4cf1dcc8574ea518fc8 2016 curry-libs_1.0.0-1.dsc
 815e5c464c46ffa0e110ab78293b967b268f826415b38fe6c89a0f2fa7c420fb 399726 curry-libs_1.0.0.orig.tar.gz
 3de5a2bad2a01be9cab962e6c116766a924dbbd0e9af371ed41d3cd217a9935c 2240 curry-libs_1.0.0-1.debian.tar.xz
 5fc6d39ea0e4171af871b7dd6fbf10014696e2c00f4e3075d36cbe2dfd21ac80 317522 curry-libs-source_1.0.0-1_all.deb
Files:
 178816e7e2f843b204dba45615a7f6ac 2016 devel optional curry-libs_1.0.0-1.dsc
 1bdf7bc908cd9be459d9c2203badd61d 399726 devel optional curry-libs_1.0.0.orig.tar.gz
 3f43aed30f6d29c16768f2ac9bdf9d30 2240 devel optional curry-libs_1.0.0-1.debian.tar.xz
 978664c884fbbd8cd1d76ae0d3215c90 317522 devel optional curry-libs-source_1.0.0-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYB2PVAAoJEJr0azAldxsxO4UP/3AxF6Kggr/YuPM2CB9V+ytq
He9DL0W0+V7khUjSbCV0IcT+uF/fDEtVESZPAfWw06J+q5GycxjFJVQxQVmt9XWW
apLCOdeNZEHMjvetUa5u1L+QDTk7Q9BhgG9HlHb8d/2G2wnUKJjBZrjyQmcG9b4x
CluWEEepfH05PeQwEZULCqudSe7pWvYhDApClNiBOCKhRWez7RRIKnbGEdI3w1VX
k4G685YIUZnPJStxhfefqk6kdRYM1xVthv7YBw+5k05Meuj5VD+9Gzf+v1BjE+r6
74PIIwS1vUaLpIpYeCbZYGofKBUBE5Qbzu62USkj9v2qZ9WY7kMQmuwDOSZJfL0R
o/XUWeBPpaMSnCwZu60Gir2idKt1H75MQbZVQghGGVi2K/7CsEKIBQH/lRsynri5
jYYjnTDKzo/JBzfzOO1wFlyr06jUnwo5rH/Qorf6VGpy6QKN4TJTDQCEseAp60n4
gfh0N3xAhTJmfUUoxJx5fPaVWHERHVsdzWFqu1YIQGVcDoym6z+OwgMHJbcggskM
E0yMV0s5/EE+WOot8AWZKyKus66dsbBXUDq00RbHH7XqfAOhQOGr5vBN5XytF0oY
1iyj1cJDva8O7JaE2Mfx5GBNsFYdHMyaoQWRnP/aamAAg7jixlTgsErC8fTixtxs
TncuwQmsh1u2/TErbJkW
=uxCD
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: