retitle 603416 RFP: ofmc -- Open-source Fixedpoint Model Checker noowner 603416 thanks
Hi, This is an automatic email to change the status of ofmc back from ITP (Intent to Package) to RFP (Request for Package), because this bug hasn't seen any activity during the last 6 months. If you are still interested in adopting ofmc, please send a mail to <[email protected]> with: retitle 603416 ITP: ofmc -- Open-source Fixedpoint Model Checker owner 603416 ! thanks However, it is not recommended to keep ITP for a long time without acting on the package, as it might cause other prospective maintainers to refrain from packaging that software. It is also a good idea to document your progress on this ITP from time to time, by mailing <[email protected]>. Thank you for your interest in Debian, -- Lucas, for the QA team <[email protected]> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
