Processing control commands: > tags -1 patch Bug #1056062 [src:coq] coq: FTBFS in sid (dune update?) Added tag(s) patch. -- 1056062: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056062 Debian Bug Tracking System Contact owner@bugs.debian.org with problems