Processed: notfound 522440 in 2.13-2

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> notfound 522440 2.13-2
Bug #522440 {Done: Mehdi Dogguy <dogguy@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)