Stream: Coq devs & plugin devs

Topic: Keeping opam packages in sync.


view this post on Zulip Karl Palmskog (May 28 2020 at 10:10):

the main improvement gained by having opam files everywhere is, in my opinion, that we finally have a machine-friendly way of specifying dependencies of Coq projects, so that one can locally pin a project without installing it, but install its dependencies via opam install ... --deps-only and then check the project manually. I have spent tons of time trying to chase down unmentioned dependencies in Coq repos...

view this post on Zulip Karl Palmskog (May 28 2020 at 10:12):

it would be great if everyone submitted both releases and their dev packages to the released and extra-dev repos, but this is not going to happen anytime soon. Some people (like me) may have to make themselves into nuisances and bug people more about submitting packages. A comprehensive archive is great for many things, including new users, funding, machine learning, mining, ...

view this post on Zulip Théo Zimmermann (May 28 2020 at 10:12):

We'd definitely need automation to keep extra-dev and the upstream repos in sync.

view this post on Zulip Karl Palmskog (May 28 2020 at 10:18):

I think dune-release and/or Cyril's packager could be adapted for this

view this post on Zulip Assia Mahboubi (May 28 2020 at 10:19):

OK, I will try to keep this in mind once I have the right name for my package.

view this post on Zulip Théo Zimmermann (May 28 2020 at 10:21):

Karl Palmskog said:

I think dune-release and/or Cyril's packager could be adapted for this

packager might indeed be worth using until the Coq ecosystem has moved to Dune.

view this post on Zulip Théo Zimmermann (May 28 2020 at 10:22):

Feel free to open an issue describing what would be needed at https://github.com/coq/bot/issues/new

view this post on Zulip Notification Bot (May 28 2020 at 10:24):

This topic was moved here from #Coq users > My first Coq opam package by Théo Zimmermann


Last updated: Oct 15 2021 at 20:02 UTC