Bug#468557: what's the status of alt-ergo package?

To: 468557@bugs.debian.org
Subject: Bug#468557: what's the status of alt-ergo package?
From: Timo Juhani Lindfors <timo.lindfors@iki.fi>
Date: Tue, 09 Sep 2008 23:12:27 +0300
Message-id: <[🔎] 84k5dlhydw.fsf@sauna.l.org>
Reply-to: Timo Juhani Lindfors <timo.lindfors@iki.fi>, 468557@bugs.debian.org

Hi,

what's the status of this package? I need to use it myself so I
started to create a simple package for my own use. Is your "more
official" packaging already available somewhere?

best regards,
Timo Lindfors

Reply to:

Follow-Ups:
- Bug#468557: what's the status of alt-ergo package?
  - From: Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr>

Prev by Date: Bug#495664: marked as done (ITP: python-progressbar -- text progressbar library for Python)
Next by Date: Bug#469193: DJB Releases All Source to Public Domain
Previous by thread: Bug#495664: marked as done (ITP: python-progressbar -- text progressbar library for Python)
Next by thread: Bug#468557: what's the status of alt-ergo package?
Index(es):
- Date
- Thread