search

coq / opam

Archive for all Coq related OPAM packages organized in various repositories
https://coq.inria.fr/opam/www/
GNU Lesser General Public License v2.1
121 stars 162 forks source link

coq-geocoq.2.5.0 has no URL #3111

Closed fblanqui closed 1 month ago

silene commented 1 month ago

The package has no source and it does not build anything, so it makes sense that it does not have any url. Does Opam fail to install the package for you?

fblanqui commented 1 month ago

Actually, I didn't try. I was computing some statistics about opam packages and found that this one had no url. So I was surprised. I didn't know that it was possible. What is it for?

silene commented 1 month ago

There are two cases, either packages whose build instructions fit in the build script (e.g., all the conf- packages), or meta-packages whose only role is to install other packages transitively. coq-geocoq is the latter.

fblanqui commented 1 month ago

I see. Thank you.