Bug#554263: proofgeneral: changing back from ITA to O
retitle 554263 O: proofgeneral -- generic interface for proof assistants - common package
noowner 554263
thanks
Hi,
This is an automatic email to change the status of proofgeneral back from ITA
(Intent to Adopt) to O (Orphaned), because this bug hasn't seen any activity
during the last 6 months.
If you are still interested in adopting proofgeneral, please send a mail to
<control@bugs.debian.org> with:
retitle 554263 ITA: proofgeneral -- generic interface for proof assistants - common package
owner 554263 !
thanks
However, it is not recommended to keep ITA for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
adopting the package. It is also a good idea to document your progress on this
ITA from time to time, by mailing <554263@bugs.debian.org>.
Thank you for your interest in Debian,
--
Lucas, for the QA team <debian-qa@lists.debian.org>
Reply to: