Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
[bts-link] source package src:why3
From
[email protected]
@21:1/5 to
All
on Thu Feb 27 19:00:01 2025
#
# 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]
# 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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
From
[email protected]
@21:1/5 to
All
on Mon May 5 19:50:01 2025
#
# 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]
# 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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
Recent Visitors
Krenn
Fri Jul 31 10:41:58 2026
from
Sydney, Nsw
via
Telnet
Krenn
Fri Jul 31 10:34:35 2026
from
Sydney, Nsw
via
Telnet
Shift
Fri Jul 31 06:46:34 2026
from
Leeds, England
via
SSH
Centurion
Fri Jul 31 00:59:56 2026
from
Berea, Ohio
via
Telnet
Rixter
Fri Jul 31 00:00:46 2026
from
Madison, Nc
via
Telnet
Bob Worm
Thu Jul 30 20:01:55 2026
from
Wales, Uk
via
Telnet
Rixter
Thu Jul 30 14:17:17 2026
from
Madison, Nc
via
Telnet
Krenn
Thu Jul 30 13:16:49 2026
from
Sydney, Nsw
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
741
Nodes:
16 (
2
/
14
)
Uptime:
111:42:07
Calls:
12,463
Calls today:
5
Files:
15,200
Messages:
6,538,177