coq-serapi icon indicating copy to clipboard operation
coq-serapi copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

License issue

Open SnarkBoojum opened this issue 1 year ago • 1 comments
trafficstars

The file sertop/sertop.el is licensed under GPL-3+ and isn't mentioned in LICENSE.

(and I didn't see it either, so my Debian package got rejected)

SnarkBoojum avatar May 16 '24 12:05 SnarkBoojum

Oh no!

I guess there is some automated tool that would check this.

I'll fix ASAP, feel free to remove that file, it is just an example.

ejgallego avatar May 16 '24 14:05 ejgallego