Processed: Re: Bug#1005920 closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1005920: fixed in coq-doc 8.15.0-2)
Processing control commands:
> found -1 8.15.0-2
Bug #1005920 {Done: Julien Puydt <jpuydt@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 owner@bugs.debian.org with problems
Reply to: