@Julien Puydt coq-libhyps has been relicensed as MIT, can you point to where the license problems are?
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
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.
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