package stdlib-shims

1. ocaml < "4.12.0~~"
2. dune >= "2.8.0"
3. dune
4. ocaml >= "4.02.3"

None

1. alcotest
2. alt-ergo-lib >= "2.3.2"
3. alt-ergo-parsers >= "2.3.2"
4. asn1-combinators = "0.2.5"
5. bap-recipe
6. bastet = "1.2.0"
7. bdd >= "0.5"
8. bechamel < "0.4.0"
9. bheap >= "2.0.0"
10. bitmasks
11. bitstring >= "3.1.1"
12. bz2
13. camllib >= "1.3.3"
14. cohttp >= "2.4.0" & < "4.0.0"
15. cohttp-async >= "2.4.0" & < "4.1.2"
16. conex >= "0.11.0"
17. ctypes-foreign >= "0.21.1"
18. devkit >= "1.20210120"
19. diet >= "0.4"
20. digestif = "0.9.0"
21. dose3 >= "6.1"
22. duff >= "0.3" & < "0.5"
23. earley >= "3.0.0"
24. electrod
25. elpi
26. ezjs_min
27. fiat-p256
28. fileutils >= "0.6.0" & < "0.6.6"
29. fmt >= "0.8.6" & < "0.9.0"
30. genprint
31. git < "3.2.0"
32. goblint-cil >= "1.8.0"
33. hacl_x25519
34. hxd = "0.2.0"
35. imagelib
36. index >= "1.2.0"
37. index-bench
38. integers >= "0.6.0"
39. jsonrpc < "1.6.0"
40. kappa-library
41. lambdapi
42. lsp < "1.6.0"
43. lutin < "2.71.10"
44. mpp >= "0.3.4"
45. multipart_form < "0.4.1"
46. ocaml-lsp-server < "1.9.0"
47. ocaml-protoc >= "2.0.1" & < "3.0.0"
48. ocamlgraph >= "2.0.0" & < "2.2.0"
49. ocamlgraph_gtk < "2.2.0"
50. orsetto < "1.1"
51. oskel
52. ounit = "2.1.2"
53. ounit2
54. owl >= "0.7.0" & < "0.10.0"
55. owl-base >= "0.7.0" & < "0.10.0"
56. pacomb
57. pbrt
58. piaf < "0.2.0"
59. piqi >= "0.7.7"
60. ppx_cstruct >= "5.1.1" & < "6.2.0"
61. ppx_mysql >= "1.1.1"
62. ppxlib >= "0.15.0"
63. prof_spacetime
64. ptmap >= "2.0.5"
65. ptset
66. qcow >= "0.11.0"
67. redis >= "0.6"
68. spelll >= "0.4"
69. streaming
70. terminal
71. vhd-format >= "0.12.2"

None