Processing control commands: > affects -1 libcoq-stdlib Bug #1128188 [src:rocq-stdlib] libcoq-stdlib lacks dependencies Added indication that 1128188 affects libcoq-stdlib
-- 1128188: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128188 Debian Bug Tracking System Contact [email protected] with problems
