Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
Processing of coq_8.14.0+dfsg-1_amd64.changes
From
Debian FTP Masters
@21:1/5 to
All
on Mon Nov 8 10:20:01 2021
coq_8.14.0+dfsg-1_amd64.changes uploaded successfully to localhost
along with the files:
coq_8.14.0+dfsg-1.dsc
coq_8.14.0+dfsg.orig.tar.xz
coq_8.14.0+dfsg-1.debian.tar.xz
coq-dbgsym_8.14.0+dfsg-1_amd64.deb
coq-theories_8.14.0+dfsg-1_amd64.deb
coq_8.14.0+dfsg-1_amd64.buildinfo
coq_8.14.0+dfsg-1_amd64.deb
coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
coqide_8.14.0+dfsg-1_amd64.deb
libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
Recent Visitors
Bob Worm
Thu Apr 25 22:17:10 2024
from
Wales, Uk
via
Telnet
Bob Worm
Fri Apr 26 10:09:36 2024
from
Wales, Uk
via
Telnet
Bob Worm
Fri Apr 26 08:24:20 2024
from
Wales, Uk
via
Telnet
Bob Worm
Fri Apr 26 06:40:30 2024
from
Wales, Uk
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
296
Nodes:
16 (
2
/
14
)
Uptime:
74:05:13
Calls:
6,657
Calls today:
3
Files:
12,203
Messages:
5,332,501
Posted today:
1