Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
paramcoq is marked for autoremoval from testing
From
Debian testing autoremoval watch
@21:1/5 to
All
on Tue Jun 7 07:00:01 2022
paramcoq 1.1.3-3 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 Tue Jun 21 07:00:01 2022
paramcoq 1.1.3-7 is marked for autoremoval from testing on 2022-07-20
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 Wed Aug 2 07:00:01 2023
paramcoq 1.1.3+coq8.17-1 is marked for autoremoval from testing on 2023-09-06
It is affected by these RC bugs:
1041869: libcoq-paramcoq: libcoq-paramcoq no longer depends on libcoq-stdlib-*
https://bugs.debian.org/1041869
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
paramcoq 1.1.3+coq8.17-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:10:02 2023
paramcoq 1.1.3+coq8.17-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
paramcoq 1.1.3+coq8.17-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
Keyop
Thu Apr 25 21:14:50 2024
from
Huddersfield, West Yorkshire
via
SSH
Cronus
Thu Apr 25 18:32:15 2024
from
Provo, Ut
via
SSH
Cronus
Thu Apr 25 18:24:38 2024
from
Provo, Ut
via
SSH
Michal Wronka
Thu Apr 25 14:02:21 2024
from
Wroclaw, Poland
via
SSH
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
296
Nodes:
16 (
2
/
14
)
Uptime:
59:34:54
Calls:
6,653
Calls today:
5
Files:
12,200
Messages:
5,331,283