Bug#160906: marked as done (ITP: proofgeneral -- A generic interface for proof assistants)
Your message dated Sun, 22 Sep 2002 00:42:55 +0200
with message-id <200209220043.04319.schimmi@kde.org>
and subject line Package was uploaded
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; 14 Sep 2002 21:52:52 +0000
>From schimmi@kde.org Sat Sep 14 16:52:52 2002
Return-path: <schimmi@kde.org>
Received: from mailout03.sul.t-online.com [194.25.134.81]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17qKqR-0004QU-00; Sat, 14 Sep 2002 16:52:52 -0500
Received: from fwd02.sul.t-online.de
by mailout03.sul.t-online.com with smtp
id 17qKqQ-0002Yl-05; Sat, 14 Sep 2002 23:52:50 +0200
Received: from 192.168.0.104 (520039642053-0001@[217.80.215.9]) by fmrl02.sul.t-online.com
with esmtp id 17qKqE-14d3jcC; Sat, 14 Sep 2002 23:52:38 +0200
From: Stefan Schimanski <schimmi@kde.org>
To: submit@bugs.debian.org
Subject: ITP: proofgeneral -- A generic interface for proof assistants
Date: Sat, 14 Sep 2002 23:52:23 +0200
User-Agent: KMail/1.4.7
MIME-Version: 1.0
Content-Type: text/plain;
charset="us-ascii"
Content-Transfer-Encoding: 8bit
Content-Disposition: inline
Message-Id: <[🔎] 200209142352.23065.schimmi@kde.org>
X-Sender: 520039642053-0001@t-dialin.net
Delivered-To: submit@bugs.debian.org
Package: wnpp
Version: unavailable; reported 2002-09-14
Severity: wishlist
* Package name : proofgeneral
Version : 3.4
Upstream Author : support@proofgeneral.org
* URL : http://www.proofgeneral.org
* License : GPL
Description : A generic interface for proof assistants
Proof General is a generic interface for proof assistants,
currently based on the customizable text editor Emacs.
It works with either XEmacs or GNU Emacs. Proof General
has been developed at the LFCS in the University of Edinburgh.
The package will be sponsored by Ralf Treinen
<treinen@club-internet.fr>.
---------------------------------------
Received: (at 160906-done) by bugs.debian.org; 21 Sep 2002 22:43:41 +0000
>From schimmi@kde.org Sat Sep 21 17:43:41 2002
Return-path: <schimmi@kde.org>
Received: from mailout04.sul.t-online.com [194.25.134.18]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17ssyT-0000bX-00; Sat, 21 Sep 2002 17:43:41 -0500
Received: from fwd06.sul.t-online.de
by mailout04.sul.t-online.com with smtp
id 17ssyS-0005JA-01; Sun, 22 Sep 2002 00:43:40 +0200
Received: from goedel.home.1stein.org (520061400383-0001@[80.142.124.244]) by fmrl06.sul.t-online.com
with esmtp id 17ssyL-0Ipqi0C; Sun, 22 Sep 2002 00:43:33 +0200
From: Stefan Schimanski <schimmi@kde.org>
To: 160906-done@bugs.debian.org
Subject: Package was uploaded
Date: Sun, 22 Sep 2002 00:42:55 +0200
User-Agent: KMail/1.4.7
MIME-Version: 1.0
Content-Type: Text/Plain;
charset="us-ascii"
Content-Transfer-Encoding: 8bit
Content-Description: clearsigned data
Content-Disposition: inline
Message-Id: <200209220043.04319.schimmi@kde.org>
X-Sender: 520061400383-0001@t-dialin.net
Delivered-To: 160906-done@bugs.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
The package is in the archive now.
Schimmi
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQE9jPX0HUDhE+YrLEURAhicAKD3QyIPn6839yzmHAXibDcoYdV1yQCeLuFJ
QZhBS9f3qAA6MgW9WGusy/E=
=hyfx
-----END PGP SIGNATURE-----
Reply to: