package rocq-concert

1. rocq-stdpp = "1.13.0"
2. rocq-elm-extraction = "0.2.0"
3. rocq-rust-extraction = "0.2.0"
4. rocq-metarocq-erasure >= "1.4" & < "1.4.2~"
5. rocq-metarocq-safechecker >= "1.4" & < "1.4.2~"
6. rocq-metarocq-pcuic >= "1.4" & < "1.4.2~"
7. rocq-metarocq-template-pcuic >= "1.4" & < "1.4.2~"
8. rocq-metarocq-template >= "1.4" & < "1.4.2~"
9. rocq-metarocq-common >= "1.4" & < "1.4.2~"
10. rocq-metarocq-utils >= "1.4" & < "1.4.2~"
11. coq-quickchick >= "2.0.4"
12. rocq-bignums >= "9"
13. rocq-stdlib >= "9.0" & < "9.1~"
14. rocq-core >= "9.1" & < "9.2~"

None

1. rocq-concert-examples

None