Processing commands for control@bugs.debian.org: > tags 858366 + pending Bug #858366 [libwhy-coq] libwhy-coq: sourceful upload needed to update coq dependency Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 858366: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=858366 Debian Bug Tracking System Contact owner@bugs.debian.org with problems