Processing commands for [EMAIL PROTECTED]: > # the following bugs are closed by packages in NEW > # > tags 176921 pending Bug#176921: proofgeneral-misc: SML-mode no longer available There were no tags set. Tags added: pending
> tags 260074 pending Bug#260074: proofgeneral-misc should support alternatives for ACL2 mode There were no tags set. Tags added: pending > tags 360044 pending Bug#360044: ITP: cryopid -- Dumps a process to restart it later and possibly elsewhere There were no tags set. Tags added: pending > tags 397615 pending Bug#397615: ITP: fuzzyocr -- spamassassin plugin to check image attachments There were no tags set. Tags added: pending > tags 401945 pending Bug#401945: ITP: ftphs -- FTP Client and Server for Haskell There were no tags set. Tags added: pending > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
