Processing commands for [email protected]: > limit source coq Limiting to bugs with field 'source' containing at least one of 'coq' Limit currently set to 'source':'coq'
> tags 920589 + pending Bug #920589 [coq] coqide is not longer packaged for amd64 Added tag(s) pending. > tags 794130 + pending Bug #794130 [src:coq] coq: please make the build reproducible (timestamps) Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 794130: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794130 920589: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920589 Debian Bug Tracking System Contact [email protected] with problems
