Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
coq-hott_8.15-1_amd64.changes REJECTED
From
Thorsten Alteholz
@21:1/5 to
All
on Thu Jul 7 20:20:01 2022
Hi Julien,
please mention the LGPL 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)
From
julien.puydt@gmail.com
@21:1/5 to
All
on Fri Jul 8 08:10:01 2022
Hi,
Le jeudi 07 juillet 2022 à 18:00 +0000, Thorsten Alteholz a écrit :
please mention the LGPL in your debian/copyright.
Done in a new upload:
coq-hott (8.15-2) unstable; urgency=medium
* Drop an erroneous b-dep on ocamlgraph.
* Complete d/copyright.
-- Julien Puydt <
jpuydt@debian.org
> Fri, 08 Jul 2022 00:13:17 +0200
Thanks for the review,
J.Puydt
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
Recent Visitors
Guest
Sun Jun 15 18:58:11 2025
from
No
via
SSH
Plume
Sun Jun 15 15:01:03 2025
from
Uk
via
SSH
Centurion
Sun Jun 15 09:44:59 2025
from
Berea, Ohio
via
Telnet
Deasl
Sun Jun 15 08:43:59 2025
from
Foo, Bar
via
SSH
Deasl
Sun Jun 15 08:41:06 2025
from
Foo, Bar
via
SSH
Plume
Sat Jun 14 21:49:07 2025
from
Uk
via
SSH
Max Prime
Sat Jun 14 16:47:41 2025
from
United Kingdom
via
SSH
Deasl
Sat Jun 14 16:38:22 2025
from
Foo, Bar
via
SSH
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
493
Nodes:
16 (
2
/
14
)
Uptime:
176:19:04
Calls:
9,705
Calls today:
5
Files:
13,736
Messages:
6,178,956