Bug#118135: marked as done (ITP: devel-protocols -- Development of communication protocols)
Your message dated Fri, 09 Nov 2001 14:55:37 -0500
with message-id <E162HkX-0007Uy-00@auric.debian.org>
and subject line Bug#118135: fixed in devel-protocols 1.0
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; 3 Nov 2001 13:05:04 +0000
>From debacle@knorke.in-berlin.de Sat Nov 03 07:05:04 2001
Return-path: <debacle@knorke.in-berlin.de>
Received: from gnu.in-berlin.de [192.109.42.4]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 1600Tv-0007vn-00; Sat, 03 Nov 2001 07:05:03 -0600
Received: from hirsch.in-berlin.de (root@hirsch.colt.in-berlin.de [213.61.118.6])
by gnu.in-berlin.de (8.10.1/8.10.1) with ESMTP id fA3D51312746
for <bugs@debian.org>; Sat, 3 Nov 2001 14:05:02 +0100 (CET)
(envelope-from debacle@knorke.in-berlin.de)
X-Envelope-From: debacle@knorke.in-berlin.de
X-Envelope-To: <bugs@debian.org>
Received: from hirsch.in-berlin.de (uucp@localhost [127.0.0.1])
by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with ESMTP id fA3D51mZ009152
for <bugs@debian.org>; Sat, 3 Nov 2001 14:05:01 +0100
Received: from knorke.UUCP (uucp@localhost)
by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id fA3D515G009146
for debian.org!bugs; Sat, 3 Nov 2001 14:05:01 +0100
Received: by knorke.in-berlin.de
via sendmail from stdin
id <m1602RE-000RAgC@knorke.in-berlin.de> (Debian Smail3.2.0.102)
for bugs@debian.org; Sat, 3 Nov 2001 16:10:24 +0100 (CET)
From: debacle@knorke.in-berlin.de (W. Borgert)
Date: Sat, 3 Nov 2001 15:10:24 +0000
To: bugs@debian.org
Subject: ITP: devel-protocols -- Development of communication protocols
Message-ID: <[🔎] 20011103151023.A16711@knorke.in-berlin.de>
Reply-To: debacle@debian.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.5i
X-Debbugs-Cc: debian-devel@lists.debian.org
Delivered-To: submit@bugs.debian.org
Delivered-To: bugs@debian.org
Package: wnpp
Version: N/A; reported 2001-11-03
Severity: wishlist
Package name : devel-protocols
Version : 1.0
Upstream Author : n/a
URL : http://packages.debian.org/
License : GPL
Description : Development of communication protocols
This will be a meta package, see below.
Section: devel
Priority: extra
Architecture: any
Depends: asn1-mode, asnparser, dia, erlang, libconvert-asn1-perl,
libsnacc-dev, msc, snacc, snacc-doc, ttcn-el, ttcn3parser,
ttthreeparser
Description: Development of communication protocols
Tools for design, development, and testing of communication
protocols. This package lets you install the packages
related to ASN.1, MSC, SDL, and TTCN, which are typical
languages, notations and formal description techniques in
this area.
--
W. Borgert <debacle@debian.org>
---------------------------------------
Received: (at 118135-close) by bugs.debian.org; 9 Nov 2001 20:04:42 +0000
>From troup@auric.debian.org Fri Nov 09 14:04:42 2001
Return-path: <troup@auric.debian.org>
Received: from auric.debian.org [206.246.226.45] (mail)
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 162HtK-0005OK-00; Fri, 09 Nov 2001 14:04:42 -0600
Received: from troup by auric.debian.org with local (Exim 3.12 1 (Debian))
id 162HkX-0007Uy-00; Fri, 09 Nov 2001 14:55:37 -0500
From: debacle@debian.org (W. Borgert)
To: 118135-close@bugs.debian.org
X-Katie: $Revision: 1.59 $
Subject: Bug#118135: fixed in devel-protocols 1.0
Message-Id: <E162HkX-0007Uy-00@auric.debian.org>
Sender: James Troup <troup@auric.debian.org>
Date: Fri, 09 Nov 2001 14:55:37 -0500
Delivered-To: 118135-close@bugs.debian.org
We believe that the bug you reported is fixed in the latest version of
devel-protocols, which has been installed in the Debian FTP archive:
devel-protocols_1.0.dsc
to pool/main/d/devel-protocols/devel-protocols_1.0.dsc
devel-protocols_1.0.tar.gz
to pool/main/d/devel-protocols/devel-protocols_1.0.tar.gz
devel-protocols_1.0_all.deb
to pool/main/d/devel-protocols/devel-protocols_1.0_all.deb
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 118135@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
W. Borgert <debacle@debian.org> (supplier of updated devel-protocols 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-----
Format: 1.7
Date: Wed, 7 Nov 2001 22:34:20 +0000
Source: devel-protocols
Binary: devel-protocols
Architecture: source all
Version: 1.0
Distribution: unstable
Urgency: low
Maintainer: W. Borgert <debacle@debian.org>
Changed-By: W. Borgert <debacle@debian.org>
Description:
devel-protocols - Development of communication protocols
Closes: 118135
Changes:
devel-protocols (1.0) unstable; urgency=low
.
* Initial release (closes: #118135).
Files:
1a395c7f763326083baaa589cbcccd57 661 devel extra devel-protocols_1.0.dsc
486b06e1f47b8d9b98f7e958de228a2c 1601 devel extra devel-protocols_1.0.tar.gz
601b8f4ba5ff5ba77b5ad8649c7b37d3 2146 devel extra devel-protocols_1.0_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iQCVAwUBO+m/qwPOYtKbZoEJAQFZBgP/V2nWF1tWF/gud0O157hbWu64+EZSXQin
pSxctmH8CJRYPRSiVWEysNM2/lJUiDyQS2I1utnF6aj2QRFpqAyMcofrT45Acxn+
g5KvkWhvSwlvWzVdnHupytjIFfJcW3qZlX5vOEDjAy9fomz4HtFi4GIwhzESWRXG
ai0b28YrxWo=
=CW69
-----END PGP SIGNATURE-----
Reply to: