Bug#554263: retitle 554263 to ITA: proofgeneral -- generic interface for proof assistants - common package

To: 554263@bugs.debian.org
Cc: control@bugs.debian.org
Subject: Bug#554263: retitle 554263 to ITA: proofgeneral -- generic interface for proof assistants - common package
From: Hendrik Tews <hendrik@askra.de>
Date: Sun, 8 Jan 2012 21:08:21 +0100
Message-id: <20233.63413.833065.981053@gromit.tews.net>
Reply-to: Hendrik Tews <hendrik@askra.de>, 554263@bugs.debian.org

retitle 554263 ITA: proofgeneral -- generic interface for proof assistants - common package
owner 554263 !
thanks

Hi,

I try to package a new version of Proof General and upload it to
mentors.debian.net. Please contact me if you are interested in
sponsoring Proof General.

Bye,

Hendrik

Reply to:

Follow-Ups:
- Processed: retitle 554263 to ITA: proofgeneral -- generic interface for proof assistants - common package
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Bug#655143: ITP: libcec -- USB CEC Adaptor communication Library
Next by Date: Processed: retitle 554263 to ITA: proofgeneral -- generic interface for proof assistants - common package
Previous by thread: Bug#655143: marked as done (ITP: libcec -- USB CEC Adaptor communication Library)
Next by thread: Processed: retitle 554263 to ITA: proofgeneral -- generic interface for proof assistants - common package
Index(es):
- Date
- Thread