Forum: >>> Magnum BBS <<<

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

From Debian Bug Tracking System@21:1/5 to All on Mon May 5 19:40:02 2025

Processing commands for [email protected]:

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

Setting user to [email protected] (was [email protected]).

# 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

Bug #1098092 [src:why3] why3: ftbfs with GCC-15
Added tag(s) fixed-upstream.

usertags 1098092 - status-opened

Usertags were: status-opened.
There are now no usertags set.

usertags 1098092 + status-closed

There were no usertags set.
Usertags are now: status-closed.

thanks

Stopping processing here.

Please contact me if you need assistance.
--
1098092: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1098092
Debian Bug Tracking System
Contact [email protected] with problems

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	715
Nodes:	16 (2 / 14)
Uptime:	01:02:14
Calls:	12,098
Calls today:	6
Files:	15,003
Messages:	6,517,861