Processing control commands: > tag -1 pending Bug #1128189 [src:coq] coq: Please install dllcoqperf_stubs.so on native architectures only Added tag(s) pending.
-- 1128189: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128189 Debian Bug Tracking System Contact [email protected] with problems
