package qcheck-alcotest

1. ocaml >= "4.08.0"
2. alcotest >= "1.2.0"
3. qcheck-core = version
4. base-unix
5. dune >= "2.8.0"

1. odoc with-doc

1. alg_structs_qcheck
2. base32
3. bastet
4. bls12-381 >= "18.0"
5. cborl
6. docfd >= "2.2.0"
7. fungi
8. inferno >= "20220603"
9. irmin >= "3.5.2"
10. irmin-test >= "3.10.0"
11. lockfree >= "0.3.1"
12. logtk
13. lru >= "0.3.0"
14. lt-code
15. mel-bastet
16. obatcher
17. octez-bls12-381-polynomial
18. octez-l2-libs
19. octez-libs
20. octez-plonk
21. octez-proto-libs
22. octez-protocol-017-PtNairob-libs < "20.1"
23. octez-protocol-018-Proxford-libs
24. octez-protocol-019-PtParisB-libs
25. octez-protocol-020-PsParisC-libs
26. octez-protocol-alpha-libs
27. octez-shell-libs
28. ometrics
29. ppx_deriving_qcheck
30. ppx_pbt >= "0.2.1"
31. pratter >= "1.2.1"
32. prbnmcn-dagger-test >= "0.0.2"
33. preface != "1.0.0"
34. psq >= "0.1.1"
35. saturn
36. saturn_lockfree
37. seqes
38. spurs >= "0.1.1"
39. stramon-lib
40. term-indexing
41. term-tools
42. tezos-base >= "16.0"
43. tezos-base-test-helpers >= "16.0"
44. tezos-bls12-381-polynomial
45. tezos-client-011-PtHangz2 < "17.3"
46. tezos-client-012-Psithaca < "17.3"
47. tezos-client-013-PtJakart < "17.3"
48. tezos-client-014-PtKathma < "17.3"
49. tezos-client-015-PtLimaPt < "17.3"
50. tezos-client-016-PtMumbai
51. tezos-client-017-PtNairob
52. tezos-client-alpha
53. tezos-context >= "16.0"
54. tezos-crypto >= "16.0"
55. tezos-crypto-dal
56. tezos-hacl
57. tezos-layer2-store
58. tezos-lwt-result-stdlib >= "16.0"
59. tezos-mockup
60. tezos-plonk = "0.1.3"
61. tezos-protocol-environment
62. tezos-proxy
63. tezos-proxy-server-config
64. tezos-requester >= "16.0"
65. tezos-rpc-http-server >= "16.0"
66. tezos-scoru-wasm-helpers < "17.3"
67. tezos-shell-services-test-helpers >= "16.0"
68. tezos-stdlib >= "16.0"
69. tezos-stdlib-unix >= "17.3"
70. tezos-test-helpers
71. timedesc
72. timere
73. yocaml >= "2.0.0"
74. yocaml_syndication >= "2.0.0"
75. yuujinchou = "2.0.0"
76. zar

None