what is this dependency for? https://github.com/LPCIC/coq-elpi/blob/master/coq-elpi.opam#L24

I think I wanted to use `{with-dev-setup}`

and got confused with other package managers that use `dev`

for the same metadata

https://github.com/LPCIC/coq-elpi/pull/674

also on https://github.com/coq/opam ?

https://github.com/coq/opam/pull/3114

Last updated: Oct 13 2024 at 01:02 UTC