# # bts-link upstream status pull for source package src:coq-doc # 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 #1012019 (http://bugs.debian.org/1012019) # Bug title: coq-doc: FTBFS # * https://github.com/coq/coq/pull/16193 # * remote status changed: (?) -> open usertags 1012019 + status-open thanks