Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
coq-elpi_1.13.0-3_source.changes REJECTED
From
Debian FTP Masters
@21:1/5 to
All
on Fri Apr 1 16:10:01 2022
Source-only uploads to NEW are not allowed.
binary:libcoq-elpi is NEW.
===
Please feel free to respond to this email if you don't understand why
your files were rejected, or if you upload new files which address our concerns.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
Recent Visitors
Adam Fancher
Tue Jun 17 17:57:31 2025
from
Winsted, Ct
via
Telnet
Ian Rihard Kosednar
Tue Jun 17 17:50:36 2025
from
No
via
SSH
Ian Rihard Kosednar
Tue Jun 17 17:47:44 2025
from
No
via
SSH
Ian Rihard Kosednar
Tue Jun 17 17:44:35 2025
from
No
via
SSH
Ian Rihard Kosednar
Tue Jun 17 17:33:41 2025
from
No
via
SSH
Plume
Tue Jun 17 17:32:13 2025
from
Uk
via
SSH
Ian Rihard Kosednar
Tue Jun 17 17:19:30 2025
from
No
via
SSH
Ian Rihard Kosednar
Tue Jun 17 17:17:43 2025
from
No
via
SSH
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
493
Nodes:
16 (
3
/
13
)
Uptime:
25:29:22
Calls:
9,737
Calls today:
27
Files:
13,741
Messages:
6,182,512
Posted today:
2