Processed: retitle 468557 to ITP: alt-ergo -- Automatic theorem prover dedicated to program verification

To: Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr>
Cc: Mehdi Dogguy <dogguy@pps.jussieu.fr> (wnpp #468557), <wnpp@debian.org> (wnpp #468557)
Subject: Processed: retitle 468557 to ITP: alt-ergo -- Automatic theorem prover dedicated to program verification
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 09 May 2008 13:33:11 +0000
Message-id: <[🔎] handler.s.C.121033969321969.transcript@bugs.debian.org>
In-reply-to: <1210339688-3399-bts-dogguy@pps.jussieu.fr>
References: <1210339688-3399-bts-dogguy@pps.jussieu.fr>

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.26
> retitle 468557 ITP: alt-ergo -- Automatic theorem prover dedicated to program verification
Bug#468557: ITP: ergo -- Automatic theorem prover dedicated to program verification
Changed Bug title to `ITP: alt-ergo -- Automatic theorem prover dedicated to program verification' from `ITP: ergo -- Automatic theorem prover dedicated to program verification'.

>
End of message, 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#408939: FYI, on iceweaseling old standard
Next by Date: Bug#464400: OpenCASCADE copyright/license audit
Previous by thread: Bug#480290: ITP: shibboleth-sp2 -- Open source system for attribute-based Web SSO
Next by thread: Bug#480311: ITP: libtemplate-provider-encoding-perl -- Template plugin to specify encoding
Index(es):
- Date
- Thread