package coq-equations

1. rocq-equations = "1.3.1+9.0"

None

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

None