Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

hol-light is marked for autoremoval from testing

From Debian testing autoremoval watch@21:1/5 to All on Fri Jan 21 06:00:04 2022

hol-light 20190729-4 is marked for autoremoval from testing on 2022-02-03

It is affected by these RC bugs:
1002983: hol-light: FTBFS with camlp5 8.00.02
https://bugs.debian.org/1002983

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 Fri Aug 9 07:00:02 2024

hol-light 20231021-2 is marked for autoremoval from testing on 2024-08-22

It is affected by these RC bugs:
1073882: hol-light: FTBFS with OCaml 5.2.0 (Needs porting)
https://bugs.debian.org/1073882

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
- Krenn
  Mon Jun 8 11:22:02 2026
  from Sydney, Nsw via Telnet
- Bob Worm
  Mon Jun 8 08:26:26 2026
  from Wales, Uk via Telnet
- Spearb0y
  Mon Jun 8 06:51:02 2026
  from Massachusetts via SSH
- Krenn
  Mon Jun 8 05:45:38 2026
  from Sydney, Nsw via Telnet
- 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

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	715
Nodes:	16 (2 / 14)
Uptime:	20:11:45
Calls:	12,104
Calls today:	4
Files:	15,004
Messages:	6,518,100