Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
coq-reduction-effects_0.1.3-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 at least
reduction-effects-0.1.3/redeffect.mlg
in your debian/coypright.
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
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
293
Nodes:
16 (
2
/
14
)
Uptime:
236:04:54
Calls:
6,624
Files:
12,172
Messages:
5,319,828