Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
coq-reduction-effects is marked for autoremoval from testing
From
Debian testing autoremoval watch
@21:1/5 to
All
on Fri Aug 4 07:10:01 2023
coq-reduction-effects 0.1.4-4 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
coq-reduction-effects 0.1.4-4 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:03 2023
coq-reduction-effects 0.1.4-4 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:00:01 2024
coq-reduction-effects 0.1.4-4 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
Sun Apr 28 20:37:53 2024
from
Huddersfield, West Yorkshire
via
SSH
Keyop
Sun Apr 28 20:37:37 2024
from
Huddersfield, West Yorkshire
via
SSH
Keyop
Sun Apr 28 20:30:04 2024
from
Huddersfield, West Yorkshire
via
SSH
Bob Worm
Mon Apr 29 09:04:47 2024
from
Wales, Uk
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
297
Nodes:
16 (
2
/
14
)
Uptime:
22:07:06
Calls:
6,667
Calls today:
1
Files:
12,216
Messages:
5,337,347