package coq-equations

1. rocq-equations = "1.3.1+9.0"

None

1. coq-category-theory
2. coq-hydra-battles >= "0.5"
3. coq-katamaran
4. coq-metacoq-checker = "1.0~alpha2+8.10" | = "1.0~beta1+8.11"
5. coq-metacoq-pcuic != "1.0~beta1+8.12" & < "1.0~beta2+8.12" | = "1.0+8.14" | = "1.1+8.14" | = "1.1.1+8.14"
6. coq-metacoq-template >= "1.0~alpha2+8.10" & < "1.0~beta1+8.11" | >= "1.0~beta2+8.11" & < "1.2+8.16"
7. coq-metacoq-utils != "1.2.1+8.18" & < "1.3.1+8.18"
8. coq-monae >= "0.4.1"
9. coq-pil
10. coq-ssprove
11. coq-vlsm >= "1.2"
12. rocq-metarocq-utils

None