# # bts-link upstream status pull for source package coq # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html # https://bts-link-team.pages.debian.net/bts-link/ #
user [email protected] # remote status report for #920589 (http://bugs.debian.org/920589) # Bug title: coqide is not longer packaged for amd64 # * https://github.com/coq/coq/pull/9279 # * remote status changed: (?) -> closed usertags 920589 + status-closed thanks
