[bts-link] source package coq
#
# 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 debian-bts-link@lists.debian.org
# 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
Reply to: