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 Jun 7 20:58:28 2026
  from Wales, Uk via Telnet
- Michal Wronka
  Sun Jun 7 19:26:28 2026
  from Wroclaw, Poland via SSH
- Centurion
  Sun Jun 7 16:59:51 2026
  from Berea, Ohio via Telnet
- Furryboy
  Sun Jun 7 13:40:29 2026
  from Romania, Galati via SSH
- Krenn
  Sun Jun 7 10:02:33 2026
  from Sydney, Nsw via Telnet
- Spearb0y
  Sun Jun 7 07:41:05 2026
  from Massachusetts via SSH
- Krenn
  Sun Jun 7 03:07:26 2026
  from Sydney, Nsw via Telnet
- Krenn
  Sun Jun 7 01:30:12 2026
  from Sydney, Nsw via Telnet

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	715
Nodes:	16 (2 / 14)
Uptime:	05:44:15
Calls:	12,100
Calls today:	8
Files:	15,003
Messages:	6,517,914
Posted today:	1