Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
Processed: Bug#1003586 marked as pending in coq
From
Debian Bug Tracking System
@21:1/5 to
All
on Mon Jan 17 16:00:01 2022
Processing control commands:
tag -1 pending
Bug #1003586 [src:coq] FTBFS with OCaml 4.13.1
Added tag(s) pending.
--
1003586:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003586
Debian Bug Tracking System
Contact
owner@bugs.debian.org
with problems
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
296
Nodes:
16 (
2
/
14
)
Uptime:
67:42:34
Calls:
6,654
Files:
12,200
Messages:
5,331,962