I have been doing these kinds of dependency specification in opam for some time:

```
"coq-mathcomp-ssreflect" {>= "1.12.0" & < "1.15~"}
"coq-mathcomp-fingroup"
"coq-mathcomp-algebra"
```

This is using the fact that the `coq-mathcomp-ssreflect`

version unambiguously defines the `coq-mathcomp-fingroup`

and `coq-mathcomp-algebra`

versions. I think that we can trust this to be the case for future versions until further notice, right?

I'd say so, they are in the same repo after all.

Last updated: Jul 25 2024 at 16:02 UTC