# # 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 [email protected] # 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
