Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

why3 is marked for autoremoval from testing

From Debian testing autoremoval watch@21:1/5 to All on Fri May 20 07:00:01 2022

why3 1.4.1-2 is marked for autoremoval from testing on 2022-06-24

It is affected by these RC bugs:
1010867: why3, src:frama-c: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
https://bugs.debian.org/1010867

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 Jun 9 07:00:01 2022

why3 1.4.1-2 is marked for autoremoval from testing on 2022-06-24

It is affected by these RC bugs:
1010867: why3, src:frama-c: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
https://bugs.debian.org/1010867

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 29 07:00:02 2022

why3 1.4.1-2 is marked for autoremoval from testing on 2022-07-18

It is affected by these RC bugs:
1010867: why3, src:frama-c: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
https://bugs.debian.org/1010867

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 4 07:20:01 2023

why3 1.5.1-1 is marked for autoremoval from testing on 2023-09-08

It (build-)depends on packages with these RC bugs:
1042100: lablgtk3: lablgtk3 FTBFS with ocaml-dune 3.9.1
https://bugs.debian.org/1042100
1042103: ocaml-cairo2: ocaml-cairo2 FTBFS with ocaml-dune 3.9.1
https://bugs.debian.org/1042103

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 Jul 26 07:20:02 2024

why3 1.6.0-1 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:20:02 2024

why3 1.6.0-1 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 Aug 20 07:00:01 2024

why3 1.7.2-2 is marked for autoremoval from testing on 2024-09-17

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:03 2024

why3 1.7.2-2 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)

From Debian testing autoremoval watch@21:1/5 to All on Tue Jan 28 06:00:01 2025

why3 1.7.2-2 is marked for autoremoval from testing on 2025-02-13

It is affected by these RC bugs:
1093112: why3: FTBFS with OCaml 5.3.0 (syntax error due to new "effect" keyword)
https://bugs.debian.org/1093112

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
- Bob Worm
  Mon Jun 8 16:33:22 2026
  from Wales, Uk via Telnet
- Bob Worm
  Mon Jun 8 14:11:46 2026
  from Wales, Uk via Telnet
- 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

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	715
Nodes:	16 (2 / 14)
Uptime:	27:34:27
Calls:	12,106
Calls today:	6
Files:	15,006
Messages:	6,518,216