Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
mathcomp-real-closed 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-real-closed 1.1.2-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 Mon Jun 27 07:00:01 2022
mathcomp-real-closed 1.1.2-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 Fri Aug 4 07:10:03 2023
mathcomp-real-closed 1.1.4-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 Sat Nov 25 06:10:02 2023
mathcomp-real-closed 1.1.4-2 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:00:01 2023
mathcomp-real-closed 1.1.4-2 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:02 2024
mathcomp-real-closed 1.1.4-2 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)
Who's Online
Recent Visitors
Michal Wronka
Wed Apr 24 14:13:57 2024
from
Wroclaw, Poland
via
SSH
Michal Wronka
Wed Apr 24 14:02:51 2024
from
Wroclaw, Poland
via
SSH
Guest
Wed Apr 24 01:40:10 2024
from
A
via
Telnet
Bob Worm
Thu Apr 25 11:52:12 2024
from
Wales, Uk
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
296
Nodes:
16 (
3
/
13
)
Uptime:
49:37:57
Calls:
6,649
Calls today:
1
Files:
12,200
Messages:
5,330,100