• Processed: Fixed in latest upload already

    From Debian Bug Tracking System@21:1/5 to All on Sun Feb 20 20:00:01 2022
    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)