Processing control commands:
> found -1 8.15.0-2
Bug #1005920 {Done: Julien Puydt <jpu...@debian.org>} [src:coq-doc] coq-doc:
FTBFS: Error: Library "zarith" not found.
Marked as found in versions coq-doc/8.15.0-2; no longer marked as fixed in
versions coq-doc/8.15.0-2 and reopened.-- 1005920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005920 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
