Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
coq-unicoq_1.6-8.15-1_amd64.changes REJECTED
From
Thorsten Alteholz
@21:1/5 to
All
on Mon Jul 18 18:20:01 2022
Hi Julien,
please also mention unicoq-1.6-8.15/doc/mathpartir.sty in your debian/copyright.
Thanks!
Thorsten
===
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
Plume
Wed Jun 11 09:17:59 2025
from
Uk
via
Telnet
Bob Worm
Wed Jun 11 08:48:42 2025
from
Wales, Uk
via
Telnet
Centurion
Tue Jun 10 22:39:19 2025
from
Berea, Ohio
via
Telnet
Bob Worm
Tue Jun 10 22:08:07 2025
from
Wales, Uk
via
Telnet
Rick V
Tue Jun 10 21:42:39 2025
from
Plymouth, Mn
via
Telnet
Bob Worm
Tue Jun 10 18:05:17 2025
from
Wales, Uk
via
Telnet
Plume
Tue Jun 10 17:23:42 2025
from
Uk
via
SSH
Bob Worm
Tue Jun 10 13:56:21 2025
from
Wales, Uk
via
Telnet
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
490
Nodes:
16 (
1
/
15
)
Uptime:
71:54:33
Calls:
9,678
Calls today:
2
Files:
13,722
Messages:
6,172,302