Processing commands for cont...@bugs.debian.org: > 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 <lu...@lucas-nussbaum.net>
> 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 debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org