Processing commands for cont...@bugs.debian.org:
> notfound 522440 2.13-2
Bug #522440 {Done: Mehdi Dogguy <dog...@pps.jussieu.fr>} [why] conflicts with
libwhy-coq
There is no source info for the package 'why' at version '2.13-2' with
architecture ''
Unable to make a source version for version '2.13-2'
Bug No longer marked as found in versions why/2.13-2.
>
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
