Processing commands for cont...@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 The source 'coq-hierarchy-builder' and version '1.2.1-2' do not appear to match any binary packages Marked as fixed in versions coq-hierarchy-builder/1.2.1-2. > 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 ow...@bugs.debian.org with problems
