Forum: >>> Magnum BBS <<<

frama-c is marked for autoremoval from testing

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

frama-c 20211203-chromium-1 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

It (build-)depends on packages with 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:02 2022

frama-c 20211203-chromium-1 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
1011892: frama-c: FTBFS: make[1]: *** [share/Makefile.generic:78: src/plugins/wp/ProverWhy3.cmo] Error 2
https://bugs.debian.org/1011892

It (build-)depends on packages with 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

frama-c 20211203-chromium-1 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
1011892: frama-c: FTBFS: make[1]: *** [share/Makefile.generic:78: src/plugins/wp/ProverWhy3.cmo] Error 2
https://bugs.debian.org/1011892

It (build-)depends on packages with 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 Dec 23 06:00:01 2022

frama-c 20220511-manganese-2 is marked for autoremoval from testing on 2023-01-20

It is affected by these RC bugs:
1023712: frama-c: why3 breaks frama-c (autopkgtest): missing versioned Breaks?
https://bugs.debian.org/1023712

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 Sat Apr 8 07:00:02 2023

frama-c 20220511-manganese-3 is marked for autoremoval from testing on 2023-05-13

It is affected by these RC bugs:
1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3'
https://bugs.debian.org/1033701

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 Apr 28 07:00:01 2023

frama-c 20220511-manganese-3 is marked for autoremoval from testing on 2023-05-13

It is affected by these RC bugs:
1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3'
https://bugs.debian.org/1033701

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 Sun Jul 16 07:00:01 2023

frama-c 20220511-manganese-3 is marked for autoremoval from testing on 2023-08-20

It is affected by these RC bugs:
1040537: frama-c: frama-c FTBFS: Error: This expression has type ... but an expression was expected of type
https://bugs.debian.org/1040537

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:10:02 2023

frama-c 20220511-manganese-4 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:50:01 2024

frama-c 20220511-manganese-5 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:01 2024

frama-c 20220511-manganese-5 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

frama-c 20220511-manganese-5 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

frama-c 20220511-manganese-5 is marked for autoremoval from testing on 2025-02-28

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

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
- Ian Rihard Kosednar
  Tue Jun 17 13:51:12 2025
  from No via SSH
- Ian Rihard Kosednar
  Tue Jun 17 13:46:11 2025
  from No via SSH
- Ian Rihard Kosednar
  Tue Jun 17 13:39:46 2025
  from No via SSH
- Ian Rihard Kosednar
  Tue Jun 17 12:55:31 2025
  from No via SSH
- Ian Rihard Kosednar
  Tue Jun 17 12:22:30 2025
  from No via SSH
- Ian Rihard Kosednar
  Tue Jun 17 12:09:51 2025
  from No via SSH
- Ian Rihard Kosednar
  Tue Jun 17 12:04:11 2025
  from No via SSH
- Ian Rihard Kosednar
  Tue Jun 17 12:00:09 2025
  from No via SSH

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	493
Nodes:	16 (2 / 14)
Uptime:	21:07:02
Calls:	9,722
Calls today:	12
Files:	13,741
Messages:	6,182,167

frama-c is marked for autoremoval from testing

Who's Online

Recent Visitors

System Info