You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Related to ocaml/opam#2900. For nixpkgs, you can use Repology. Example: https://repology.org/project/coq8.9-coq-ext-lib/versions. Note that unfortunately, the name of the Coq version is included in the name of the package and changes whenever the default Coq version of nixpkgs changes. So that would mean having to update the badge every time this happens.
We might want special badge(s) for coq-community projects that are available for some package managers like opam, Nix, etc.
The text was updated successfully, but these errors were encountered: