Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

prooftree is marked for autoremoval from testing

From Debian testing autoremoval watch@21:1/5 to All on Thu May 26 15:20:02 2022

prooftree 0.13-2 is marked for autoremoval from testing on 2022-06-30

It (build-)depends on packages with these RC bugs:
1011146: nvidia-graphics-drivers-tesla-470: CVE-2022-28181, CVE-2022-28183, CVE-2022-28184, CVE-2022-28185, CVE-2022-28191, CVE-2022-28192
https://bugs.debian.org/1011146

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 Wed Jun 15 07:10:01 2022

prooftree 0.13-2 is marked for autoremoval from testing on 2022-07-12

It (build-)depends on packages with these RC bugs:
1012060: coq, src:coq-bignums: coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac
https://bugs.debian.org/1012060
1012061: coq, src:coquelicot: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
https://bugs.debian.org/1012061

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 Wed Jul 12 07:10:01 2023

prooftree 0.13-2 is marked for autoremoval from testing on 2023-08-10

It (build-)depends on packages with these RC bugs:
1030375: proofgeneral: FTBFS with TeXInfo 7.0.x
https://bugs.debian.org/1030375

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 Aug 1 07:00:01 2023

prooftree 0.13-2 is marked for autoremoval from testing on 2023-08-10

It (build-)depends on packages with these RC bugs:
1030375: proofgeneral: FTBFS with TeXInfo 7.0.x
https://bugs.debian.org/1030375

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
- Amstrad Ppc
  Sat Oct 31 17:11:55 2026
  from Wiltshire via Telnet
- Ashenfieldx
  Sat Oct 31 16:47:35 2026
  from Guelph, Ontario via Telnet
- Amstrad Ppc
  Sat Oct 31 16:34:27 2026
  from Wiltshire via Telnet
- Amstrad Ppc
  Sat Oct 31 15:21:38 2026
  from Wiltshire via Telnet
- Amstrad Ppc
  Sat Oct 31 15:13:22 2026
  from Wiltshire via SSH
- Amstrad Ppc
  Sat Oct 31 13:42:25 2026
  from Wiltshire via SSH
- Root Cellar
  Sat Oct 31 12:26:17 2026
  from 505 via Telnet
- Rixter
  Sat Oct 31 11:01:35 2026
  from Madison, Nc via Telnet

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	796
Nodes:	16 (3 / 13)
Uptime:	148:04:07
Calls:	13,190
Calls today:	13
Files:	15,483
Messages:	6,579,235
Posted today:	2