Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
[bts-link] source package src:coq-doc
From
debian-bts-link@lists.debian.org
@21:1/5 to
All
on Thu Jun 16 20:00:01 2022
#
# bts-link upstream status pull for source package src:coq-doc
# see
http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
#
https://bts-link-team.pages.debian.net/bts-link/
#
user
debian-bts-link@lists.debian.org
# remote status report for #1012019 (
http://bugs.debian.org/1012019
)
# Bug title: coq-doc: FTBFS
# *
https://github.com/coq/coq/pull/16193
# * remote status changed: (?) -> open
usertags 1012019 + status-open
thanks
--- 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:19:27
Calls:
6,653
Calls today:
5
Files:
12,200
Messages:
5,331,279