Processing commands for [email protected]: > close 518741 1:8.2-1.2-1 Bug#518741: coq-float: FTBFS: Error: Attempt to save an incomplete proof 'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing. Bug marked as fixed in version 1:8.2-1.2-1, send any further explanations to Lucas Nussbaum <[email protected]>
> End of message, 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]
