Bug#106182: marked as done (ITP: klic -- KL1 to C compiler system)
Your message dated Mon, 30 Jul 2001 14:59:37 -0400
with message-id <E15RIGP-00085P-00@auric.debian.org>
and subject line Bug#106182: fixed in klic 3.003-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.)
Darren Benham
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 22 Jul 2001 06:48:42 +0000
>From gotom@debian.or.jp Sun Jul 22 01:48:42 2001
Return-path: <gotom@debian.or.jp>
Received: from ikura.fe.dis.titech.ac.jp [::ffff:131.112.171.65]
by master.debian.org with smtp (Exim 3.12 1 (Debian))
id 15OD2g-0004lb-00; Sun, 22 Jul 2001 01:48:42 -0500
Received: (qmail 5704 invoked from network); 22 Jul 2001 06:48:24 -0000
Received: from unknown (HELO celesta.gotom.org.fe.dis.titech.ac.jp) (127.0.0.1)
by 127.0.0.1 with SMTP; 22 Jul 2001 06:48:24 -0000
Date: Sun, 22 Jul 2001 15:45:17 +0900
Message-ID: <wtwk811bgxu.wl@fe.dis.titech.ac.jp>
From: GOTO Masanori <gotom@debian.org>
To: submit@bugs.debian.org
Cc: debian-devel@lists.debian.org, gotom@debian.org
Subject: ITP: klic -- KL1 to C compiler system
User-Agent: Wanderlust/2.6.0 (Twist And Shout) SEMI/1.14.3 (Ushinoya) FLIM/1.14.2 (Yagi-Nishiguchi) APEL/10.3 Emacs/20.7 (i386-debian-linux-gnu) MULE/4.1 (AOI)
MIME-Version: 1.0 (generated by SEMI 1.14.3 - "Ushinoya")
Content-Type: text/plain; charset=US-ASCII
Delivered-To: submit@bugs.debian.org
Package: klic
Severity: wishlist
I intent to package `klic (and klic-doc)', KL1 to C compiler.
Description:
The KLIC implementation compiles KL1 programs into C programs, then
compiles them using C compilers of the host system, and then links the
objects with runtime libraries (including libraries provided by UNIX).
KLIC is an implementation of a concurrent logic programming language
KL1. KL1 is based on a flat version of the Guarded Horn Clauses (GHC)
language. GHC is a member of so-called commited-choice logic
programming language family and has sibblings such as Concurrent
Prolog, Parlog, Janus and Fleng.
URL: http://www.klic.org/ KLIC Association.
License: ICOT Free Software Copyright
(DFSG Free license).
-- gotom
---------------------------------------
Received: (at 106182-close) by bugs.debian.org; 30 Jul 2001 19:12:40 +0000
>From troup@auric.debian.org Mon Jul 30 14:12:40 2001
Return-path: <troup@auric.debian.org>
Received: from auric.debian.org [::ffff:206.246.226.45]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 15RIT1-0007CS-00; Mon, 30 Jul 2001 14:12:40 -0500
Received: from troup by auric.debian.org with local (Exim 3.12 1 (Debian))
id 15RIGP-00085P-00; Mon, 30 Jul 2001 14:59:37 -0400
From: GOTO Masanori <gotom@debian.or.jp>
To: 106182-close@bugs.debian.org
X-Katie: $Revision: 1.55 $
Subject: Bug#106182: fixed in klic 3.003-1
Message-Id: <E15RIGP-00085P-00@auric.debian.org>
Sender: James Troup <troup@auric.debian.org>
Date: Mon, 30 Jul 2001 14:59:37 -0400
Delivered-To: 106182-close@bugs.debian.org
We believe that the bug you reported is fixed in the latest version of
klic, which has been installed in the Debian FTP archive:
klic_3.003.orig.tar.gz
to pool/main/k/klic/klic_3.003.orig.tar.gz
klic-doc_3.003-1_all.deb
to pool/main/k/klic/klic-doc_3.003-1_all.deb
klic_3.003-1_i386.deb
to pool/main/k/klic/klic_3.003-1_i386.deb
klic_3.003-1.dsc
to pool/main/k/klic/klic_3.003-1.dsc
klic_3.003-1.diff.gz
to pool/main/k/klic/klic_3.003-1.diff.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 106182@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
GOTO Masanori <gotom@debian.or.jp> (supplier of updated klic 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: Fri, 27 Jul 2001 23:07:42 +0900
Source: klic
Binary: klic-doc klic
Architecture: source all i386
Version: 3.003-1
Distribution: unstable
Urgency: low
Maintainer: GOTO Masanori <gotom@debian.or.jp>
Changed-By: GOTO Masanori <gotom@debian.or.jp>
Description:
klic - KL1 to C compiler system
klic-doc - Documentation for klic
Closes: 106182
Changes:
klic (3.003-1) unstable; urgency=low
.
* Initial Release (closes: Bug#106182).
Files:
0517bcf83c7e5c67ed813ca03f4a56fc 621 devel optional klic_3.003-1.dsc
61522358d10e009a8211236ea2329e2c 1044878 devel optional klic_3.003.orig.tar.gz
b3a5f8639791f2d5c0d1ce4a539f757e 14321 devel optional klic_3.003-1.diff.gz
073ee1fa68ff2da8be7e00d5dbd636c1 147494 doc optional klic-doc_3.003-1_all.deb
eb070315731e510706c2d6c7dae03df3 614784 devel optional klic_3.003-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: KUHASIKU WA http://www.gnupg.org/ WO GORANKUDASAI
iD8DBQE7YwcQ9dAn0Xqx8P4RAgFXAKCUI4LBYM9OskqG9JdStHX+BnAFogCfe+MG
Wiy3ht9QAYytzWsorHXJRSs=
=GD8p
-----END PGP SIGNATURE-----
Reply to: