Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

coq-serapi is marked for autoremoval from testing

From Debian testing autoremoval watch@21:1/5 to All on Fri Jul 26 08:00:02 2024

coq-serapi 8.19.0+0.19.3-3 is marked for autoremoval from testing on 2024-08-23

It (build-)depends on packages with these RC bugs:
1075055: gtksourceview3: ftbfs with GCC-14
https://bugs.debian.org/1075055
1075126: lablgtk3: ftbfs with GCC-14
https://bugs.debian.org/1075126

This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

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

From Debian testing autoremoval watch@21:1/5 to All on Thu Aug 15 07:30:03 2024

coq-serapi 8.19.0+0.19.3-3 is marked for autoremoval from testing on 2024-09-01

It (build-)depends on packages with these RC bugs:
1075055: gtksourceview3: ftbfs with GCC-14
https://bugs.debian.org/1075055

This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

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

From Debian testing autoremoval watch@21:1/5 to All on Tue Oct 8 07:20:02 2024

coq-serapi 8.19.0+0.19.3-4 is marked for autoremoval from testing on 2024-11-12

It (build-)depends on packages with these RC bugs:
1082976: opam: FTBFS: build fails with linking error
https://bugs.debian.org/1082976

For more information on the autoremoval process, including hints to prevent autoremoval can be found on the wiki: https://wiki.debian.org/Autoremoval

This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl

Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl

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

Who's Online
Recent Visitors
- Beg5210
  Sat Oct 31 07:44:00 2026
  from Melbourne, Aus via Telnet
- Beg5210
  Sat Oct 31 07:42:02 2026
  from Melbourne, Aus via Telnet
- Skreek
  Sat Oct 31 01:26:37 2026
  from Leeds, England via Telnet
- Ashenfieldx
  Sat Oct 31 00:53:18 2026
  from Guelph, Ontario via Telnet
- Rixter
  Fri Oct 30 23:01:34 2026
  from Madison, Nc via Telnet
- Brianm
  Fri Oct 30 22:44:03 2026
  from Glasgow via Raw
- Amstrad Ppc
  Fri Oct 30 21:43:10 2026
  from Wiltshire via SSH
- Amstrad Ppc
  Fri Oct 30 19:12:25 2026
  from Wiltshire via SSH

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	795
Nodes:	16 (2 / 14)
Uptime:	139:39:46
Calls:	13,181
Calls today:	4
Files:	15,481
Messages:	6,579,012
Posted today:	2