Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
mathcomp-algebra-tactics is marked for autoremoval from testing
From
Debian testing autoremoval watch
@21:1/5 to
All
on Tue Jun 7 07:00:01 2022
mathcomp-algebra-tactics 1.0.0-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-algebra-tactics 1.0.0-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:04 2023
mathcomp-algebra-tactics 1.1.1-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:10:03 2023
mathcomp-algebra-tactics 1.1.1-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-algebra-tactics 1.1.1-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:01 2024
mathcomp-algebra-tactics 1.1.1-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
Bob Worm
Tue Mar 26 23:31:58 2024
from
Wales, Uk
via
Telnet
Bob Worm
Tue Mar 26 17:27:30 2024
from
Wales, Uk
via
Telnet
Keyop
Wed Mar 27 01:16:21 2024
from
Huddersfield, West Yorkshire
via
SSH
Keyop
Thu Mar 28 00:36:18 2024
from
Huddersfield, West Yorkshire
via
SSH
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
285
Nodes:
16 (
2
/
14
)
Uptime:
62:02:45
Calls:
6,488
Calls today:
1
Files:
12,096
Messages:
5,274,518