Stream: Coq Platform devs & users

Topic: ✔ Licensing of libhyps

Karl Palmskog (Sep 23 2022 at 13:58):

@Julien Puydt an extra ping about the new LibHyps release:

• https://github.com/coq/opam-coq-archive/pull/2325
• https://github.com/Matafou/LibHyps/releases/tag/libhyps-2.0.6

Notification Bot (Sep 23 2022 at 13:59):

Karl Palmskog has marked this topic as resolved.

Julien Puydt (Sep 23 2022 at 14:13):

Thanks, I'll work on updating my would-be package and propose it for inclusion.

Last updated: Jan 30 2023 at 10:03 UTC