Processing commands for
control@bugs.debian.org:
fixed 1005621 1.2.1-2
Bug #1005621 [src:coq-hierarchy-builder] coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting
Ignoring request to alter fixed versions of bug #1005621 to the same values previously set
thanks
Stopping processing here.
Please contact me if you need assistance.
--
1005621:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005621
Debian Bug Tracking System
Contact
owner@bugs.debian.org with problems
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)