[bts-link] source package why3
#
# bts-link upstream status pull for source package why3
# 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 #906001 (http://bugs.debian.org/906001)
# Bug title: why3: needs porting to cvc4 version 1.6
# * https://gitlab.inria.fr/why3/why3/issues/164
# * remote status changed: (?) -> closed
usertags 906001 + status-closed
thanks
Reply to: