Stream: hs-to-coq devs & users

Topic: packaging timeline


view this post on Zulip Quinn (Oct 22 2021 at 17:44):

Any confidence intervals about when hs-to-coq will be packaged in such a way that a git clone into your project repo is no longer the way to use it? Is there ever going to be a way to list it on hackage or opam?

view this post on Zulip Karl Palmskog (Oct 23 2021 at 01:17):

if there is an interest in opam packaging from hs-to-coq maintainers, people from the Coq community including myself can help out, both with in-git-repository opam definitions and shepherding packages to the Coq opam archive


Last updated: Feb 06 2023 at 05:03 UTC