Subject: [bts-link] source package src:why3

From: [email-masked]
Date: Mon, 05 May 2025 17:32:07 +0000

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

# 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 -> closed
#  * closed upstream
tags 1098092 + fixed-upstream
usertags 1098092 - status-opened
usertags 1098092 + status-closed

thanks