Karl Palmskog (May 28 2020 at 10:10): 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...
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, ...
Théo Zimmermann (May 28 2020 at 10:12):We'd definitely need automation to keep extra-dev and the upstream repos in sync.
Karl Palmskog (May 28 2020 at 10:18):I think dune-release and/or Cyril's packager could be adapted for this
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.
Théo Zimmermann (May 28 2020 at 10:21):Karl Palmskog said:
I think
dune-releaseand/or Cyril'spackagercould be adapted for this
packager might indeed be worth using until the Coq ecosystem has moved to Dune.
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
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 13 2024 at 01:02 UTC