Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

[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
- Bob Worm
  Sun Nov 1 20:35:20 2026
  from Wales, Uk via Telnet
- Amstrad Ppc
  Sun Nov 1 19:14:41 2026
  from Wiltshire via Telnet
- Amstrad Ppc
  Sun Nov 1 18:28:07 2026
  from Wiltshire via Telnet
- Ben Longden
  Sun Nov 1 18:19:46 2026
  from Edinburgh, Uk via Telnet
- Amstrad Ppc
  Sun Nov 1 16:48:50 2026
  from Wiltshire via Telnet
- Amstrad Ppc
  Sun Nov 1 16:20:58 2026
  from Wiltshire via SSH
- Rixter
  Sun Nov 1 12:01:35 2026
  from Madison, Nc via Telnet
- Fred Blogs
  Sun Nov 1 01:53:36 2026
  from Uk via SSH

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	797
Nodes:	16 (2 / 14)
Uptime:	177:03:49
Calls:	13,201
Calls today:	8
Files:	15,489
Messages:	6,579,369