Processed: itp

To: Ralf Treinen <treinen@debian.org>
Cc: wnpp@debian.org (wnpp #146320 #146321)
Subject: Processed: itp
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 04 Aug 2002 05:18:16 -0500
Message-id: <[🔎] handler.s.C.10284558942491.transcript@bugs.debian.org>
In-reply-to: <20020804101123.GA11002@club-internet.fr>
References: <20020804101123.GA11002@club-internet.fr>

Processing commands for control@bugs.debian.org:

> retitle 146320 ITP: maria - Reachability analyzer for high-level Petri nets
Bug#146320: RFP: maria - Reachability analyzer for high-level Petri nets
Changed Bug title.

> retitle 146321 ITP: RFP: lbt - Translator from LTL formulae to generalized Buchi automata
Bug#146321: RFP: lbt - Translator =?iso-8859-1?Q?from_?= 	=?iso-8859-1?Q?LTL_formulae_to_generalized_B=FCchi?= automata
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

Prev by Date: Bug#83341: I can look at dict-revo
Next by Date: Bug#146320: ITP: maria
Previous by thread: Bug#83341: I can look at dict-revo
Next by thread: Processed: ITP
Index(es):
- Date
- Thread