Bug#286557: marked as done (ITP: zinc-compiler -- Compiler of Zinc, a functional logic programming language)
Your message dated Tue, 08 Mar 2005 23:28:00 -0500
with message-id <E1D8sng-00007J-00@newraff.debian.org>
and subject line Bug#286557: fixed in zinc-compiler 1.0.2-1
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 20 Dec 2004 20:46:09 +0000
>From chipi@criptonita.com Mon Dec 20 12:46:09 2004
Return-path: <chipi@criptonita.com>
Received: from zipi.telecable.es [212.89.0.24]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1CgUPx-00067d-00; Mon, 20 Dec 2004 12:46:09 -0800
Received: (qmail 13045 invoked from network); 20 Dec 2004 20:45:25 -0000
Received: from unknown (HELO criptonita.com) ([83.97.200.6])
(envelope-sender <chipi@criptonita.com>)
by 0 (qmail-ldap-1.03) with SMTP
for <submit@bugs.debian.org>; 20 Dec 2004 20:45:25 -0000
Received: by criptonita.com (sSMTP sendmail emulation); Mon, 20 Dec 2004 21:45:35 +0100
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Nacho Barrientos Arias <chipi@criptonita.com>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: zinc-compiler -- Compiler of Zinc,
a functional logic programming language
Bcc: Nacho Barrientos Arias <chipi@criptonita.com>
X-Mailer: reportbug 3.4
Date: Mon, 20 Dec 2004 21:45:35 +0100
X-Debbugs-Cc: debian-devel@lists.debian.org
Message-Id: <E1CgUPx-00067d-00@spohr.debian.org>
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-11.0 required=4.0 tests=BAYES_00,HAS_PACKAGE,
X_DEBBUGS_CC autolearn=ham version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
Package: wnpp
Severity: wishlist
* Package name : zinc-compiler
Version : 1.0.2
Upstream Author : Diego Berrueta <diego@berrueta.net>
* URL : http://www.sourceforge.net/projects/zinc-project
* License : BSD
Description : Compiler of Zinc, a functional logic programming language
The main purpose of the Zinc Compiler is to develop an experimental
Curry compiler which features some extensions to the language, such
as type classes. Zinc Compiler is written in Haskell.
The Zinc Compiler is being developed by Diego Berrueta as a final year
project. It is available under the BSD license.
-- System Information:
Debian Release: 3.1
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.9
Locale: LANG=spanish, LC_CTYPE=spanish (charmap=ISO-8859-1) (ignored: LC_ALL set to es_ES)
---------------------------------------
Received: (at 286557-close) by bugs.debian.org; 9 Mar 2005 04:39:43 +0000
>From rdonald@newraff.debian.org Tue Mar 08 20:39:43 2005
Return-path: <rdonald@newraff.debian.org>
Received: from newraff.debian.org [208.185.25.31] (mail)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1D8sz1-0001VW-00; Tue, 08 Mar 2005 20:39:43 -0800
Received: from rdonald by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1D8sng-00007J-00; Tue, 08 Mar 2005 23:28:00 -0500
From: Nacho Barrientos Arias <chipi@criptonita.com>
To: 286557-close@bugs.debian.org
X-Katie: lisa $Revision: 1.30 $
Subject: Bug#286557: fixed in zinc-compiler 1.0.2-1
Message-Id: <E1D8sng-00007J-00@newraff.debian.org>
Sender: Randall Donald <rdonald@newraff.debian.org>
Date: Tue, 08 Mar 2005 23:28:00 -0500
Delivered-To: 286557-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
X-Spam-Level:
Source: zinc-compiler
Source-Version: 1.0.2-1
We believe that the bug you reported is fixed in the latest version of
zinc-compiler, which is due to be installed in the Debian FTP archive:
zinc-compiler_1.0.2-1.diff.gz
to pool/main/z/zinc-compiler/zinc-compiler_1.0.2-1.diff.gz
zinc-compiler_1.0.2-1.dsc
to pool/main/z/zinc-compiler/zinc-compiler_1.0.2-1.dsc
zinc-compiler_1.0.2-1_i386.deb
to pool/main/z/zinc-compiler/zinc-compiler_1.0.2-1_i386.deb
zinc-compiler_1.0.2.orig.tar.gz
to pool/main/z/zinc-compiler/zinc-compiler_1.0.2.orig.tar.gz
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 286557@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Nacho Barrientos Arias <chipi@criptonita.com> (supplier of updated zinc-compiler 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@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 8 Dec 2004 13:09:43 +0100
Source: zinc-compiler
Binary: zinc-compiler
Architecture: source i386
Version: 1.0.2-1
Distribution: unstable
Urgency: low
Maintainer: Nacho Barrientos Arias <chipi@criptonita.com>
Changed-By: Nacho Barrientos Arias <chipi@criptonita.com>
Description:
zinc-compiler - Compiler of Zinc, a functional logic programming language
Closes: 286557
Changes:
zinc-compiler (1.0.2-1) unstable; urgency=low
.
* Fixed "Upstream Author(s)" line in copyright file.
* zinc-compiler binaries now compile with woody version of ghc and gcc
* Include manpages.
* First upload to the Debian repository (closes: Bug#286557).
Files:
37159cd847d74930d38d6d582f68a2ec 659 devel optional zinc-compiler_1.0.2-1.dsc
9c39be004314cf31fc45a5e4db6a9ddc 661722 devel optional zinc-compiler_1.0.2.orig.tar.gz
fcb132a1672c74edcc218edcfa2b9936 9703 devel optional zinc-compiler_1.0.2-1.diff.gz
82cb7c3d376ef507da7a9c7bff2734a7 1645868 devel optional zinc-compiler_1.0.2-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFByZomHkQIZYcutOURApM9AJ4jZwKqqTfY2BqILQ27BJ/sqiJxHQCeP7uG
ekJ3h25uNTrPjxPZtyQjGfQ=
=9kgM
-----END PGP SIGNATURE-----
Reply to: