This package has been requested to
be removed. This means that, when this request gets
processed by an ftp-master, this package will no longer be in
unstable, and will automatically be removed from testing too
afterwards. If for some reason you want keep this package in
unstable, please discuss so in the bug. Please see bug number #1111841 for more information.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-serapi.png){kind=link}