# # bts-link upstream status pull for source package src:alt-ergo # 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 #1013362 (http://bugs.debian.org/1013362) # Bug title: src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel # * https://github.com/OCamlPro/alt-ergo/issues/509 # * remote status changed: (?) -> open usertags 1013362 + status-open thanks
