Stream: Coq devs & plugin devs

Topic: Licensing of libhyps


view this post on Zulip Karl Palmskog (Sep 07 2022 at 18:58):

@Julien Puydt coq-libhyps has been relicensed as MIT, can you point to where the license problems are?

view this post on Zulip Karl Palmskog (Sep 07 2022 at 18:59):

official package has MIT at least: https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-libhyps/coq-libhyps.2.0.5/opam

view this post on Zulip Julien Puydt (Sep 07 2022 at 19:00):

I reported the issue here : the various source files don't claim the same thing, so I don't even try to propose it for Debian.

view this post on Zulip Karl Palmskog (Sep 07 2022 at 19:16):

did a PR to fix it, now I'll wait a bit before possibly pinging author more extensively.


Last updated: Feb 02 2023 at 15:04 UTC