Processing commands for [EMAIL PROTECTED]: > 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)
