Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

mathcomp-finmap is marked for autoremoval from testing

From Debian testing autoremoval watch@21:1/5 to All on Tue Jun 7 07:00:02 2022

mathcomp-finmap 1.5.1-5 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 Mon Jun 27 07:00:01 2022

mathcomp-finmap 1.5.1-5 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 Fri Aug 4 07:10:01 2023

mathcomp-finmap 1.5.2-2 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 Sat Nov 25 06:00:02 2023

mathcomp-finmap 1.5.2-3 is marked for autoremoval from testing on 2023-12-30

It (build-)depends on packages with these RC bugs:
1056062: coq: FTBFS in sid (dune update?)
https://bugs.debian.org/1056062

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 Dec 16 06:10:01 2023

mathcomp-finmap 1.5.2-3 is marked for autoremoval from testing on 2023-12-30

It (build-)depends on packages with these RC bugs:
1056062: coq: FTBFS in sid (dune update?)
https://bugs.debian.org/1056062

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 Jan 5 06:10:01 2024

mathcomp-finmap 1.5.2-3 is marked for autoremoval from testing on 2024-01-21

It (build-)depends on packages with these RC bugs:
1056062: coq: FTBFS in sid (dune update?)
https://bugs.debian.org/1056062

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

mathcomp-finmap 2.0.0-2 is marked for autoremoval from testing on 2024-07-14

It (build-)depends on packages with these RC bugs:
1072308: coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
https://bugs.debian.org/1072308

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:40:02 2024

mathcomp-finmap 2.1.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:30:03 2024

mathcomp-finmap 2.1.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 Oct 8 07:20:04 2024

mathcomp-finmap 2.1.0-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)

Who's Online
Recent Visitors
- Tnmoc
  Sat Jun 7 13:44:20 2025
  from Milton Keynes via Telnet
- Tnmoc
  Sat Jun 7 13:40:01 2025
  from Milton Keynes via Telnet
- Plume
  Sat Jun 7 11:13:29 2025
  from Uk via SSH
- Gwylbert
  Sat Jun 7 08:57:45 2025
  from Sydney, Nsw via Telnet
- Centurion
  Sat Jun 7 04:30:40 2025
  from Berea, Ohio via Telnet
- Plume
  Fri Jun 6 22:32:36 2025
  from Uk via Telnet
- Adam Fancher
  Fri Jun 6 18:28:55 2025
  from Winsted, Ct via Telnet
- Centurion
  Fri Jun 6 16:53:47 2025
  from Berea, Ohio via Telnet

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	486
Nodes:	16 (2 / 14)
Uptime:	139:06:45
Calls:	9,657
Calls today:	5
Files:	13,708
Messages:	6,167,235