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

Bug#840519: marked as done (ITP: pakcs -- The Portland Aachen Kiel Curry System)

Your message dated Thu, 26 Jan 2017 22:00:14 +0000
with message-id <E1cWs5W-0006Ic-Ox@fasolo.debian.org>
and subject line Bug#840519: fixed in pakcs 1.14.1-1
has caused the Debian Bug report #840519,
regarding ITP: pakcs -- The Portland Aachen Kiel Curry System
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.)


-- 
840519: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840519
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    : pakcs
  Version         : 1.14.1
  Upstream Author : Michael Hanus <mh@informatik.uni-kiel.de>
* URL             : http://www-ps.informatik.uni-kiel.de/~pakcs/
* License         : BSD-3-clause
  Programming Lang: Curry, Prolog
  Description     : The Portland Aachen Kiel Curry System

 PAKCS is an implementation of the multi-paradigm declarative language
 Curry jointly developed by the Portland State University, the Aachen
 University of Technology, and the University of Kiel.

 Although this is not a highly optimized implementation but based on a
 high-level compilation of Curry programs into Prolog programs, it is not
 a toy implementation: PAKCS has been used for a variety of applications
 (e.g., graphical programming environments, an object-oriented front-end
 for Curry, partial evaluators, database applications, HTML programming
 with dynamic web pages, prototyping embedded systems).

--- End Message ---
--- Begin Message --- 
Source: pakcs
Source-Version: 1.14.1-1

We believe that the bug you reported is fixed in the latest version of
pakcs, 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 840519@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 pakcs 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: Fri, 23 Dec 2016 16:49:39 +0100
Source: pakcs
Binary: pakcs
Architecture: source amd64
Version: 1.14.1-1
Distribution: unstable
Urgency: low
Maintainer: Mike Gabriel <sunweaver@debian.org>
Changed-By: Mike Gabriel <sunweaver@debian.org>
Description:
 pakcs      - Portland Aaachen Kiel Curry Compiler
Closes: 840519
Changes:
 pakcs (1.14.1-1) unstable; urgency=low
 .
   * Initial release to Debian. (Closes: #840519).
Checksums-Sha1:
 02f7b58e312046e4deccf702eaf5d6523086366e 1938 pakcs_1.14.1-1.dsc
 2a17182f4c0be0b4d29607ebf6bb443c820f713b 652341 pakcs_1.14.1.orig.tar.gz
 aeefbb872ebeb5ec1343740d2e1ab8a9cd4b3917 30944 pakcs_1.14.1-1.debian.tar.xz
 46504ac4720dbca5cdc892e9080acb6c79c8c39f 7513 pakcs_1.14.1-1_amd64.buildinfo
 206f1250e74da1598fbaaad10ab5fef3ebafbaaf 15020308 pakcs_1.14.1-1_amd64.deb
Checksums-Sha256:
 e5a5b82351b7da5b16d4530c488f89ba27ef5fc254bf2b88224e4a807e18e11a 1938 pakcs_1.14.1-1.dsc
 827d403167f60aa5c731e8d906792e19207c235dcb7a61403ca8c05fb7a4e280 652341 pakcs_1.14.1.orig.tar.gz
 ec5ca34aae71d6d96c17c70d0b89c0c0f37a18fa3c68376c43f932d84d7317e1 30944 pakcs_1.14.1-1.debian.tar.xz
 e8b3dd6d53f1c7ef190b5d17b9f606a908005c7ba3b42f9055a28b1b472d1bc7 7513 pakcs_1.14.1-1_amd64.buildinfo
 186a4800ead4037a1d7d142e32d2f6edcaff19a75391769f6860eab7a2475120 15020308 pakcs_1.14.1-1_amd64.deb
Files:
 b06e50e300ee87e1a308b4747ae11119 1938 devel extra pakcs_1.14.1-1.dsc
 840d5054094506527594b1174bdb9efd 652341 devel extra pakcs_1.14.1.orig.tar.gz
 f3f75dc9548553b60feb4786e947e55a 30944 devel extra pakcs_1.14.1-1.debian.tar.xz
 86f42e8c6370f6894ccd885b3f87c21a 7513 devel extra pakcs_1.14.1-1_amd64.buildinfo
 79e52ff498d9363b93bf45052ab58b63 15020308 devel extra pakcs_1.14.1-1_amd64.deb

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

iQIcBAEBCAAGBQJYXcA0AAoJEJr0azAldxsx6j4P/juAH8bexyxs6VNvFNya0W/t
pfhvPxM0+2w6URyXr1ownTtUgp8HbFGMhAxogbkPEHCwDfe0auNOH0L0oCVEmK1J
HEa4Ex/pb9zqs0xdxOU9hOkQw1rd051oClQWlYrIs4PVEr5JlQ82OF8EDBhrMVA6
EZUcPw7npE3HKaCaTI+OpuUzvmJEnuGZV/QNAUEYJpJcktb2KzJPlm7i0bRmu2sC
cUnRsWzADczdFRaXm6rL2hV/qzq93vU4oEZrByaww+Z2MsArHW/dH7MmRXvAFwhV
BgnEyv4hU4wIsD0VQuYqqqe3whyV9+AKGxSPRfb1yHjG/Tjrpv9qoxp9uDeUkAuu
ueIy27DByIn9ERfgGnqbSXfzUQP5TPHx2jUMvAGYvaNJO1fP4aYGG0Fcm5/+4DfP
NRpy6Obl4y0Ex+VBz7lk/YEr66gwKjH8zloFwal5EXK3SGk/RhPn4wRKIM49NSUm
Gxf4Ygy3V8czc8HvX4jn6q+3Tv1WIoAwirwqUxLpELcr5X9lYSlJQVJ3bPi1abrs
NaDXpR5mkB+tyb6B4HNiquhdFXWi9mY4mw+sVV16z7+7KE1lQR64jNs6nb8Zlnmj
bGJQ78B8TVF039EwrVz1mhSHcDjUqYno6j+1Iixi5KPCBzBGu9tBG5DpwCKg45Xp
93miMW0n8YE7Lpihy+UO
=UmsV
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: