Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
mathcomp-multinomials 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-multinomials 1.5.5-4 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-multinomials 1.5.5-4 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:02 2023
mathcomp-multinomials 1.6.0-3 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:01 2023
mathcomp-multinomials 1.6.0-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:00:01 2023
mathcomp-multinomials 1.6.0-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:02 2024
mathcomp-multinomials 1.6.0-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)
Who's Online
Recent Visitors
Bob Worm
Fri Apr 19 14:04:19 2024
from
Wales, Uk
via
Telnet
Richard
Fri Apr 19 12:43:01 2024
from
Leeds, Uk
via
SSH
Bob Worm
Fri Apr 19 09:15:26 2024
from
Wales, Uk
via
Telnet
Bob Worm
Fri Apr 19 08:49:01 2024
from
Wales, Uk
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
293
Nodes:
16 (
2
/
14
)
Uptime:
224:45:30
Calls:
6,623
Calls today:
5
Files:
12,171
Messages:
5,318,488