Processing control commands: > tags -1 confirmed Bug #1100416 [release.debian.org] transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal Added tag(s) confirmed.
-- 1100416: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1100416 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
