Karl Palmskog (Sep 07 2022 at 18:58): 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?
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
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.
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