# # bts-link upstream status pull for source package src: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-l...@lists.debian.org # remote status report for #1098092 (http://bugs.debian.org/1098092) # Bug title: why3: ftbfs with GCC-15 # * https://gitlab.inria.fr/why3/why3/-/issues/901 # * remote status changed: (?) -> opened usertags 1098092 + status-opened thanks
