Processed: limit source to coq, tagging 920589, tagging 794130
Processing commands for control@bugs.debian.org:
> 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 owner@bugs.debian.org with problems
Reply to: