package ocaml

  1. Overview
  2. Docs
The OCaml compiler (virtual package)

Install

Dune Dependency

ocaml.org Edit opam file Versions (75)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp

Description

This package requires a matching implementation of OCaml, and polls it to initialise specific variables like ocaml:native-dynlink

Published: 19 Dec 2022

Dependencies (5)

  1. dkml-base-compiler >= "4.14.2~" & < "4.14.3~"
  2. ocaml-system >= "4.14.2" & < "4.14.3~"
  3. ocaml-variants >= "4.14.2~" & < "4.14.3~"
  4. ocaml-base-compiler >= "4.14.2~" & < "4.14.3~"
  5. ocaml-config >= "2"

Dev Dependencies

None

  1. 0install < "2.8" | >= "2.14.1"
  2. 0install-gtk
  3. 0install-solver
  4. ANSITerminal >= "0.7"
  5. aacplus
  6. aarch64-esperanto
  7. abella < "2.0.3" | >= "2.0.8"
  8. absolute
  9. abstract_algebra < "v0.17.0"
  10. abt
  11. accessor < "v0.17.0"
  12. accessor_async < "v0.17.0"
  13. accessor_base < "v0.17.0"
  14. accessor_core != "v0.14.1" & < "v0.17.0"
  15. acgtk
  16. aches
  17. aches-lwt
  18. acme
  19. acp4
  20. acpc < "2.0.0"
  21. adobe_font_metrics
  22. advi
  23. aez
  24. afl
  25. afl-persistent
  26. ago
  27. agrid
  28. ahrocksdb
  29. aifad
  30. aio
  31. alba
  32. albatross
  33. alcotest >= "0.8.0"
  34. alcotest-async
  35. alcotest-lwt
  36. alcotest-mirage
  37. alg_structs
  38. alg_structs_qcheck
  39. aliases
  40. alonzo
  41. alsa >= "0.2.3"
  42. alt-ergo
  43. alt-ergo-free < "2.3.3"
  44. alt-ergo-lib
  45. alt-ergo-parsers
  46. altgr-ergo
  47. ambient-context
  48. ambient-context-lwt
  49. amf >= "0.1.2"
  50. amqp-client >= "1.0.3" & != "1.1.1"
  51. amqp-client-async >= "2.0.3"
  52. amqp-client-lwt >= "2.0.3"
  53. ancient >= "0.9.1"
  54. anders
  55. angstrom >= "0.6.0"
  56. angstrom-async
  57. angstrom-lwt-unix >= "0.8.0"
  58. angstrom-unix
  59. ansi
  60. ansi-parse
  61. ansicolor
  62. antic < "0.4.0"
  63. anycache
  64. anycache-async
  65. anycache-lwt
  66. ao < "0.2.2"
  67. apero-core
  68. apero-net
  69. apero-time
  70. apron
  71. apronext
  72. arakoon >= "1.8.6"
  73. arb < "0.4.0"
  74. archetype
  75. archi
  76. archi-async
  77. archi-lwt
  78. archimedes >= "0.4.18"
  79. archsat
  80. argon2 >= "1.0.0"
  81. argsh
  82. arp
  83. arp-mirage
  84. arrakis
  85. art
  86. asak >= "0.4"
  87. ascii85
  88. asetmap
  89. ask
  90. ask-integrator
  91. asl
  92. asli
  93. asn1-combinators >= "0.2.4"
  94. assertions
  95. assimp
  96. ast_generic
  97. astring >= "0.8.5"
  98. async < "109.19.00" | >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  99. async-mvar
  100. async-uri >= "0.2"
  101. async-zmq
  102. async_core < "109.19.00"
  103. async_durable < "v0.17.0"
  104. async_extended >= "113.24.00" & != "113.33.03"
  105. async_extra < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & != "v0.11.0" & < "v0.17.0"
  106. async_find != "111.28.00" & != "113.33.03" & < "v0.17.0"
  107. async_graphics < "0.7.0"
  108. async_inotify != "113.00.00" & != "113.33.03" & < "v0.17.0"
  109. async_interactive < "v0.17.0"
  110. async_js >= "v0.9.1" & < "v0.17.0"
  111. async_kernel >= "113.24.00" & != "113.33.03" & != "v0.11.0" & < "v0.17.0"
  112. async_parallel >= "113.24.00" & < "113.33.03" | >= "v0.9.1"
  113. async_rpc_kernel >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  114. async_rpc_websocket < "v0.17.0"
  115. async_sendfile < "v0.17.0"
  116. async_shell != "109.28.03" & < "113.33.03" | >= "v0.9.1" & < "v0.17.0"
  117. async_smtp < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  118. async_ssl < "112.35.00" | = "113.24.00" | >= "113.33.06" & < "v0.17.0"
  119. async_udp < "v0.17.0"
  120. async_unix < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.13.1" & < "v0.17.0"
  121. async_websocket < "v0.17.0"
  122. atable
  123. atd
  124. atd2cconv
  125. atdd
  126. atdgen >= "1.9.1"
  127. atdgen-codec-runtime
  128. atdgen-runtime
  129. atdj < "20151001.01"
  130. atdpy
  131. atds
  132. atdts
  133. atomic >= "base"
  134. autofonce
  135. autofonce_config
  136. autofonce_core
  137. autofonce_lib
  138. autofonce_m4
  139. autofonce_misc
  140. autofonce_patch
  141. autofonce_share
  142. avro
  143. avro-compiler
  144. awa
  145. awa-lwt
  146. awa-mirage
  147. aws
  148. aws-async
  149. aws-autoscaling
  150. aws-cloudformation
  151. aws-cloudtrail
  152. aws-cloudwatch
  153. aws-config
  154. aws-ec2
  155. aws-elasticache
  156. aws-elasticloadbalancing
  157. aws-lwt
  158. aws-rds
  159. aws-route53
  160. aws-s3
  161. aws-s3-async
  162. aws-s3-lwt
  163. aws-sdb
  164. aws-sqs
  165. aws-ssm
  166. aws-sts
  167. azblob
  168. azblob-async
  169. azure-cosmos-db
  170. BetterErrors
  171. b0 != "0.0.1"
  172. babel < "v0.17.0"
  173. baby
  174. backoff
  175. bag
  176. baguette_sharp
  177. balancer
  178. bam
  179. bam-ppx
  180. bamboo >= "0.0.02"
  181. bap = "0.9.5" | >= "1.2.0" & < "1.4.0" | >= "2.2.0"
  182. bap-abi < "1.4.0" | >= "2.2.0"
  183. bap-analyze
  184. bap-api < "1.4.0" | >= "2.2.0"
  185. bap-arm < "1.4.0" | >= "2.2.0"
  186. bap-beagle < "1.4.0" | >= "2.2.0"
  187. bap-beagle-strings
  188. bap-bil >= "2.2.0"
  189. bap-build >= "2.2.0"
  190. bap-bundle >= "2.2.0"
  191. bap-byteweight < "1.4.0" | >= "2.2.0"
  192. bap-byteweight-frontend < "1.4.0" | >= "2.2.0"
  193. bap-c < "1.4.0" | >= "2.2.0"
  194. bap-cache < "1.4.0" | >= "2.2.0"
  195. bap-callgraph-collator
  196. bap-callsites < "1.4.0" | >= "2.2.0"
  197. bap-constant-tracker >= "2.2.0"
  198. bap-core
  199. bap-core-theory >= "2.2.0"
  200. bap-cxxfilt < "1.4.0" | >= "2.2.0"
  201. bap-dead-code-elimination < "1.4.0"
  202. bap-demangle < "1.4.0" | >= "2.2.0"
  203. bap-dependencies
  204. bap-disassemble >= "2.2.0"
  205. bap-dump-symbols < "1.4.0" | >= "2.2.0"
  206. bap-dwarf < "1.4.0" | >= "2.2.0"
  207. bap-elementary >= "2.2.0"
  208. bap-elf < "1.5.0" | >= "2.2.0"
  209. bap-emacs-dot
  210. bap-emacs-goodies
  211. bap-emacs-mode
  212. bap-flatten
  213. bap-frames < "2.1.1"
  214. bap-frontc < "1.4.0" | >= "2.2.0"
  215. bap-frontend < "1.4.0" | >= "2.2.0"
  216. bap-fsi-benchmark < "1.4.0" | >= "2.2.0"
  217. bap-future < "1.4.0" | >= "2.2.0"
  218. bap-ghidra
  219. bap-glibc-runtime >= "2.2.0"
  220. bap-ida < "1.4.0" | >= "2.2.0"
  221. bap-ida-plugin < "1.4.0" | >= "2.2.0"
  222. bap-ida-python < "1.4.0" | >= "2.3.0"
  223. bap-knowledge >= "2.2.0"
  224. bap-llvm < "1.4.0" | >= "2.2.0"
  225. bap-main >= "2.2.0"
  226. bap-mc < "1.4.0" | >= "2.2.0"
  227. bap-microx < "1.4.0" | >= "2.2.0"
  228. bap-mips >= "2.2.0"
  229. bap-objdump < "1.4.0" | >= "2.2.0"
  230. bap-optimization >= "2.2.0"
  231. bap-patterns
  232. bap-phoenix < "1.4.0" | >= "2.2.0"
  233. bap-piqi < "1.4.0" | >= "2.2.0"
  234. bap-plugins >= "2.2.0"
  235. bap-powerpc >= "2.2.0"
  236. bap-primus < "1.4.0" | >= "2.2.0"
  237. bap-primus-dictionary >= "2.2.0"
  238. bap-primus-exploring-scheduler
  239. bap-primus-greedy-scheduler
  240. bap-primus-limit
  241. bap-primus-lisp < "1.4.0" | >= "2.2.0"
  242. bap-primus-loader
  243. bap-primus-mark-visited
  244. bap-primus-powerpc >= "2.2.0"
  245. bap-primus-print
  246. bap-primus-promiscuous
  247. bap-primus-propagate-taint
  248. bap-primus-random >= "2.2.0"
  249. bap-primus-region >= "2.2.0"
  250. bap-primus-round-robin-scheduler
  251. bap-primus-support < "1.4.0"
  252. bap-primus-symbolic-executor >= "2.2.0"
  253. bap-primus-systems >= "2.2.0"
  254. bap-primus-taint
  255. bap-primus-test >= "2.2.0"
  256. bap-primus-track-visited
  257. bap-primus-wandering-scheduler
  258. bap-primus-x86 < "1.4.0" | >= "2.2.0"
  259. bap-print < "1.4.0" | >= "2.2.0"
  260. bap-radare2
  261. bap-raw >= "2.2.0"
  262. bap-recipe >= "2.2.0"
  263. bap-recipe-command >= "2.2.0"
  264. bap-relation
  265. bap-relocatable < "1.4.0" | >= "2.2.0"
  266. bap-report >= "2.2.0"
  267. bap-riscv
  268. bap-run < "1.4.0" | >= "2.2.0"
  269. bap-saluki
  270. bap-server < "0.3.0"
  271. bap-signatures
  272. bap-specification
  273. bap-ssa < "1.4.0" | >= "2.2.0"
  274. bap-std < "1.4.0" | >= "2.2.0"
  275. bap-strings < "1.4.0" | >= "2.2.0"
  276. bap-stub-resolver >= "2.2.0"
  277. bap-symbol-reader < "1.4.0" | >= "2.2.0"
  278. bap-systemz
  279. bap-taint < "1.4.0" | >= "2.2.0"
  280. bap-taint-propagator < "1.4.0" | >= "2.2.0"
  281. bap-term-mapper < "1.4.0" | >= "2.2.0"
  282. bap-thumb
  283. bap-toplevel
  284. bap-trace < "1.4.0" | >= "2.2.0"
  285. bap-traces < "1.4.0" | >= "2.2.0"
  286. bap-trivial-condition-form >= "2.2.0"
  287. bap-veri < "0.2.2"
  288. bap-warn-unused < "1.4.0" | >= "2.2.0"
  289. bap-x86 < "1.4.0" | >= "2.2.0"
  290. bare >= "2.2.0"
  291. bare_encoding
  292. bark
  293. base >= "v0.14.2" & != "v0.15.1~5.0preview" & < "v0.17.0"
  294. base-bytes >= "base"
  295. base-implicits
  296. base-metaocaml-ocamlfind
  297. base-native-int63
  298. base32
  299. base58
  300. base64 >= "1.1.0" & != "2.3.0"
  301. base_bigstring < "v0.17.0"
  302. base_quickcheck < "v0.17.0"
  303. base_trie < "v0.17.0"
  304. bastet >= "2.0.0"
  305. bastet_async
  306. bastet_lwt
  307. batch_jaro_winkler
  308. batsat
  309. batsh
  310. batteries = "2.5.0" | >= "3.5.1"
  311. bdd
  312. bddrand
  313. bear
  314. bech32
  315. bechamel
  316. bechamel-js
  317. bechamel-notty
  318. bechamel-perf
  319. beluga >= "0.8.1"
  320. bench
  321. benchmark >= "1.4"
  322. benchpress
  323. benchpress-server
  324. bencode != "0.2"
  325. bentov
  326. bes
  327. bestline
  328. bheap
  329. bibtex2html >= "1.99"
  330. bidirectional_map < "v0.17.0"
  331. bigarray-compat
  332. bigarray-overlap
  333. bigdecimal < "v0.17.0"
  334. bignum < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  335. bigstring >= "0.2"
  336. bigstring-unix >= "0.3"
  337. bigstringaf
  338. bimage
  339. bimage-display
  340. bimage-gtk
  341. bimage-io
  342. bimage-lwt
  343. bimage-sdl
  344. bimage-unix
  345. bimap
  346. bin_prot < "109.15.00" | >= "v0.9.2" & < "v0.17.0"
  347. bin_tree
  348. binaryen < "0.16.0" | >= "0.17.1"
  349. binaryen_dsl
  350. binbin
  351. bindlib
  352. biniou >= "1.1.0"
  353. binning
  354. binsec >= "0.4.1"
  355. bio_io
  356. biocaml != "0.5.0" & != "0.8.0" & != "0.10.1"
  357. biotk
  358. bip32
  359. bisect >= "1.3.1"
  360. bisect-summary
  361. bisect_ppx >= "1.3.1" & < "2.0.0" | >= "2.6.0"
  362. bisect_ppx-ocamlbuild
  363. bistro
  364. bitcoin < "3.0"
  365. bitcoinml
  366. bitgenerators
  367. bitmasks >= "1.4.0"
  368. bitpack_serializer
  369. bitstring >= "3.0.0"
  370. bitv >= "1.3"
  371. bitvec >= "2.2.0"
  372. bitvec-binprot >= "2.2.0"
  373. bitvec-order >= "2.2.0"
  374. bitvec-sexp >= "2.2.0"
  375. bitwuzla < "1.0.0"
  376. bitwuzla-c
  377. bitwuzla-cxx
  378. bjack < "0.1.6"
  379. blahcaml
  380. blake2 >= "0.2"
  381. blake3
  382. bloomf
  383. bls12-381
  384. bls12-381-gen
  385. bls12-381-hash
  386. bls12-381-js
  387. bls12-381-js-gen
  388. bls12-381-legacy
  389. bls12-381-signature
  390. bls12-381-unix
  391. blurhash
  392. bn128
  393. bnfgen >= "3.0.0"
  394. bogue
  395. bogue-tutorials < "0.2.0"
  396. bolt = "1.3"
  397. boltzgen
  398. bonsai < "v0.17.0"
  399. bookaml
  400. bos
  401. boulangerie
  402. box
  403. bpf
  404. bracetax
  405. broken
  406. brotli < "1.2.0" | >= "2.0.0"
  407. brozip
  408. brr
  409. bsdowl
  410. bson2
  411. bst
  412. bt
  413. buffer-pool
  414. build_path_prefix_map
  415. builder
  416. builder-web
  417. bulletml
  418. bun
  419. bwd
  420. bwrap
  421. bytearray >= "1.0.3"
  422. bytebuffer
  423. bytepdf
  424. c3
  425. ca-certs
  426. ca-certs-nss
  427. cactus
  428. cairn
  429. cairo2 >= "0.5"
  430. cairo2-gtk
  431. cairo2-pango
  432. caisar
  433. caisar-ir
  434. caisar-nnet
  435. caisar-onnx
  436. caisar-ovo
  437. caisar-xgboost
  438. calcium < "0.4.0"
  439. calculon
  440. calculon-web
  441. caldav
  442. calendar != "2.03.1"
  443. calendars
  444. calipso
  445. calli
  446. callipyge
  447. camelot < "0.5"
  448. camels
  449. camelsnakekebab
  450. caml-mode
  451. camlbz2
  452. camldm
  453. camlgpc
  454. camlhighlight
  455. camlidl >= "1.07"
  456. camlimages >= "4.2.5"
  457. camlix
  458. camlkit-base
  459. camllib >= "1.3.3"
  460. camlmix
  461. camlon >= "2.0.0"
  462. camlp-streams >= "5.0.1"
  463. camlp4 = "4.02.0-1modular-implicits" | = "4.14+1"
  464. camlp5 >= "8.00.03"
  465. camlp5-buildscripts
  466. camlpdf >= "2.3"
  467. camlprime
  468. camlrack
  469. camltc >= "0.9.6"
  470. camlzip >= "1.06"
  471. camomile >= "0.8.6" & != "1.0.0"
  472. camyll
  473. canary
  474. caper
  475. capnp
  476. capnp-rpc >= "1.2.2"
  477. capnp-rpc-lwt
  478. capnp-rpc-mirage
  479. capnp-rpc-net
  480. capnp-rpc-unix != "0.3"
  481. captureio
  482. caqti
  483. caqti-async
  484. caqti-driver-mariadb
  485. caqti-driver-pgx
  486. caqti-driver-postgresql
  487. caqti-driver-sqlite3
  488. caqti-dynload
  489. caqti-lwt
  490. caqti-mirage
  491. caqti-tls
  492. caqti-type-calendar
  493. carray
  494. carton < "0.2.0" | >= "0.4.3"
  495. carton-git
  496. carton-lwt
  497. catala
  498. catapult
  499. catapult-client
  500. catapult-file
  501. catapult-sqlite
  502. cb-check
  503. cbor >= "0.2"
  504. cborl
  505. cca
  506. ccbg
  507. cconv >= "0.2"
  508. cconv-ppx
  509. ccss >= "1.6"
  510. cdrom
  511. ceph
  512. certify >= "0.2"
  513. cfg >= "2.1.0"
  514. cfgen
  515. cfml
  516. cfstream >= "1.3.0"
  517. cgi >= "0.9"
  518. cgroups
  519. chacha
  520. chalk
  521. chamelon
  522. chamelon-unix
  523. chamo >= "3.0" & < "4.1.0"
  524. channel
  525. charInfo_width
  526. charrua
  527. charrua-client
  528. charrua-client-lwt
  529. charrua-client-mirage
  530. charrua-core
  531. charrua-server
  532. charrua-unix < "0.5" | >= "0.10"
  533. charset
  534. chartjs
  535. chartjs-annotation
  536. chartjs-colorschemes
  537. chartjs-datalabels
  538. chartjs-streaming
  539. chase
  540. checked_oint
  541. checkseum >= "0.0.3"
  542. choice
  543. chrome-trace
  544. cinaps >= "v0.14.0"
  545. clangml != "3.8.0" & != "3.9.1.2" & != "4.0.0beta1" & < "4.1.0" | >= "4.4.0"
  546. clangml-transforms = "0.24" | >= "0.26"
  547. clap
  548. class_group_vdf
  549. cll
  550. cloudi >= "2.0.2"
  551. clz
  552. cmark
  553. cmarker
  554. cmarkit
  555. cmdliner = "0.9.4" | >= "1.0.0"
  556. cmdliner-stdlib
  557. cmdtui
  558. cmdtui-lambda-term
  559. cmitomli
  560. coap
  561. coap-core
  562. coap-server-lwt
  563. cobs
  564. coccinelle != "1.0.0-rc23" & != "1.0.7"
  565. coclobas
  566. codept >= "0.11.1"
  567. cohttp != "0.99.0"
  568. cohttp-async
  569. cohttp-curl
  570. cohttp-curl-lwt
  571. cohttp-lwt
  572. cohttp-lwt-jsoo
  573. cohttp-lwt-unix
  574. cohttp-lwt-unix-nossl
  575. cohttp-lwt-unix-ssl
  576. cohttp-mirage
  577. cohttp-server-lwt-unix
  578. cohttp-top
  579. cohttp_async_websocket < "v0.17.0"
  580. cohttp_static_handler < "v0.17.0"
  581. coin
  582. colibri2
  583. colibrics
  584. colibrilib
  585. colombe
  586. color
  587. color-brewery
  588. colors
  589. combic
  590. combinaml
  591. combinat
  592. combine < "0.42"
  593. comby
  594. comby-kernel
  595. comby-semantic
  596. command_rpc < "v0.17.0"
  597. commonjs_of_ocaml
  598. commons
  599. comparelib < "113.00.00"
  600. conan
  601. conan-cli
  602. conan-lwt
  603. conan-unix
  604. conduit
  605. conduit-async
  606. conduit-async-ssl
  607. conduit-async-tls
  608. conduit-lwt
  609. conduit-lwt-ssl
  610. conduit-lwt-tls
  611. conduit-lwt-unix
  612. conduit-mirage
  613. conduit-tls
  614. conex
  615. conex-mirage-crypto
  616. conex-nocrypto
  617. conf-bap-llvm
  618. conf-binutils
  619. conf-ida
  620. conf-libev
  621. conf-radare2
  622. confero
  623. config >= "0.0.3"
  624. config-file
  625. configuration
  626. configurator
  627. conformist
  628. conjury >= "2.1"
  629. containers >= "2.6" & < "2.7" | >= "3.0"
  630. containers-data
  631. containers-thread
  632. content_security_policy < "v0.17.0"
  633. cookie
  634. cookie-js
  635. cookies
  636. coq >= "8.13.0" & < "8.17.0"
  637. coq-core
  638. coq-lsp
  639. coq-of-ocaml >= "2.5.3+4.14"
  640. coq-serapi < "8.7.2+0.4.13" | >= "8.8.0+0.5.2"
  641. coq-shell
  642. coq-waterproof
  643. coqide != "8.7.0" & < "8.10.0"
  644. cordova
  645. cordova-plugin-activity-indicator
  646. cordova-plugin-background-mode
  647. cordova-plugin-barcode-scanner
  648. cordova-plugin-battery-status
  649. cordova-plugin-camera
  650. cordova-plugin-clipboard
  651. cordova-plugin-datepicker
  652. cordova-plugin-device
  653. cordova-plugin-device-motion
  654. cordova-plugin-device-orientation
  655. cordova-plugin-dialogs
  656. cordova-plugin-email-composer
  657. cordova-plugin-fcm
  658. cordova-plugin-file
  659. cordova-plugin-file-opener
  660. cordova-plugin-file-transfer
  661. cordova-plugin-geolocation
  662. cordova-plugin-globalization
  663. cordova-plugin-image-picker
  664. cordova-plugin-inappbrowser
  665. cordova-plugin-insomnia
  666. cordova-plugin-keyboard
  667. cordova-plugin-loading-spinner
  668. cordova-plugin-local-notifications
  669. cordova-plugin-media
  670. cordova-plugin-media-capture
  671. cordova-plugin-network-information
  672. cordova-plugin-progress
  673. cordova-plugin-push-notifications
  674. cordova-plugin-qrscanner
  675. cordova-plugin-screen-orientation
  676. cordova-plugin-sim-card
  677. cordova-plugin-sms
  678. cordova-plugin-social-sharing
  679. cordova-plugin-statusbar
  680. cordova-plugin-toast
  681. cordova-plugin-touch-id
  682. cordova-plugin-vibration
  683. cordova-plugin-videoplayer
  684. core >= "v0.14.1" & < "v0.17.0"
  685. core-and-more
  686. core-lwt < "0.2.0"
  687. core_bench != "112.35.00" & != "113.33.00" & != "113.33.03" & < "v0.17.0"
  688. core_compat
  689. core_extended >= "108.00.02" & < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.17.0"
  690. core_kernel >= "v0.14.1" & < "v0.17.0"
  691. core_profiler >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  692. core_unix < "v0.17.0"
  693. corecount
  694. corosync
  695. cosovo
  696. cow >= "2.0.1"
  697. cowabloga < "0.3.0"
  698. cpdf < "2.1.1" | >= "2.3"
  699. cpm
  700. cppo >= "1.6.1"
  701. cppo_ocamlbuild
  702. cpu
  703. cpuid
  704. craml
  705. crc >= "1.0.0"
  706. crdt-ml
  707. crlibm
  708. crontab
  709. crowbar
  710. crunch >= "1.4.0"
  711. cry >= "0.6.0"
  712. crypt >= "1.2"
  713. cryptodbm >= "0.84.2"
  714. cryptohash
  715. cryptokit >= "1.11"
  716. cryptoverif
  717. csexp
  718. css
  719. cstruct >= "1.6.0" & < "1.8.0" | >= "3.0.0"
  720. cstruct-async
  721. cstruct-lwt
  722. cstruct-sexp
  723. cstruct-unix >= "4.0.0"
  724. csv >= "1.4"
  725. csv-lwt
  726. csvfields >= "v0.9.1" & < "v0.17.0"
  727. csvtool
  728. ctoxml
  729. ctypes >= "0.8.0"
  730. ctypes-build
  731. ctypes-foreign >= "0.21.1"
  732. cubicle >= "1.1.2"
  733. cudajit
  734. cudf
  735. cue_sheet_maker
  736. cuid
  737. cumulus
  738. curly
  739. current
  740. current-albatross-deployer
  741. current-web-pipelines
  742. current_ansi
  743. current_docker
  744. current_examples
  745. current_git
  746. current_github
  747. current_gitlab
  748. current_incr
  749. current_ocluster
  750. current_rpc
  751. current_slack
  752. current_ssh
  753. current_web
  754. curses
  755. curve-sampling
  756. custom_printf >= "111.21.00" & < "113.00.00"
  757. cvc5
  758. cviode
  759. cwe_checker
  760. DAGaml
  761. DkSDKFFIOCaml_Std
  762. DrawGrammar >= "0.2.1"
  763. d3
  764. daft < "0.0.4"
  765. dap
  766. data-encoding
  767. dataframe
  768. datakit < "0.10.0" | >= "0.11.0"
  769. datakit-bridge-github
  770. datakit-bridge-local-git
  771. datakit-ci
  772. datakit-client
  773. datakit-client-9p
  774. datakit-client-git
  775. datakit-github
  776. datakit-server
  777. datakit-server-9p
  778. datalog < "0.5" | >= "0.6"
  779. dates_calc
  780. daypack-lib
  781. dbf >= "0.2.0"
  782. dbm
  783. deadlock
  784. debian-formats
  785. decimal
  786. decoders
  787. decoders-bencode
  788. decoders-cbor
  789. decoders-ezjsonm
  790. decoders-ezxmlm
  791. decoders-jsonaf
  792. decoders-jsonm
  793. decoders-msgpck
  794. decoders-sexplib
  795. decoders-yojson
  796. decompress >= "0.8"
  797. dedent < "v0.17.0"
  798. dedukti
  799. delimcc >= "2023.06.17"
  800. delimited_parsing < "v0.17.0"
  801. depext
  802. depgraph
  803. depyt >= "0.2.0"
  804. deriving >= "0.7.1"
  805. devkit >= "0.5"
  806. diet
  807. diff
  808. diffable
  809. digestif != "0.6"
  810. directories
  811. dirsift
  812. dirsp-exchange
  813. dirsp-exchange-kbb2017
  814. dirsp-proscript
  815. dirsp-proscript-mirage
  816. dirsp-ps2ocaml
  817. diskuvbox
  818. disml
  819. dispatch
  820. dispatch-js
  821. distributed
  822. distributed-lwt
  823. distributed-uwt
  824. diy
  825. dkim
  826. dkim-bin
  827. dkim-mirage
  828. dkml-c-probe
  829. dkml-component-offline-ocamlrun
  830. dkml-component-staging-opam32
  831. dkml-component-staging-opam64
  832. dkml-dune-dsl
  833. dkml-dune-dsl-show
  834. dkml-install
  835. dkml-install-installer >= "0.5.3"
  836. dkml-install-runner != "0.5.2"
  837. dkml-package-console >= "0.5.3"
  838. dlist >= "0.0.3"
  839. dlm
  840. dmap
  841. dns != "1.0.0"
  842. dns-async
  843. dns-certify
  844. dns-cli
  845. dns-client
  846. dns-client-lwt
  847. dns-client-mirage
  848. dns-forward
  849. dns-forward-lwt-unix
  850. dns-lwt
  851. dns-lwt-unix
  852. dns-mirage
  853. dns-resolver
  854. dns-server
  855. dns-stub
  856. dns-tsig
  857. dnscurve
  858. dnssd
  859. dnssec
  860. doc-ock-html
  861. doc-ock-xml
  862. docfd < "2.1.0"
  863. docker-api
  864. docker_hub
  865. dockerfile < "1.3.0" | >= "1.7.2"
  866. dockerfile-cmd < "8.1.0"
  867. dockerfile-opam < "8.1.0"
  868. docout
  869. docteur
  870. docteur-solo5
  871. docteur-unix
  872. doculib
  873. dog
  874. doi2bib
  875. dokeysto
  876. dokeysto_camltc
  877. dokeysto_lz4
  878. dolmen
  879. dolmen_bin
  880. dolmen_loop
  881. dolmen_lsp
  882. dolmen_model
  883. dolmen_type
  884. dolog >= "1.1"
  885. domain-local-await >= "0.2.1"
  886. domain-local-timeout
  887. domain-name
  888. domain_shims
  889. domainslib < "0.3.2"
  890. dose
  891. dose3
  892. dose3-extra
  893. dot-merlin-reader >= "4.1" & != "4.4~5.0.preview" & < "4.14-502~preview"
  894. dotenv
  895. down >= "0.1.0"
  896. dream
  897. dream-accept
  898. dream-cli
  899. dream-encoding
  900. dream-htmx
  901. dream-httpaf
  902. dream-livereload
  903. dream-pure
  904. drom
  905. drom_lib
  906. drom_toml
  907. dropbox < "0.2"
  908. dryunit >= "0.4.0"
  909. dscheck >= "0.4.0"
  910. dsfo
  911. dssi < "0.1.3" | >= "0.1.5"
  912. dtoa
  913. dtools
  914. dual
  915. duff
  916. dum != "1.0.2"
  917. dump_ocamlformat
  918. dune >= "2.8.5"
  919. dune-build-info < "2.0.0" | >= "3.0.2"
  920. dune-compiledb
  921. dune-configurator >= "2.7.0"
  922. dune-deps
  923. dune-expand
  924. dune-private-libs
  925. dune-release
  926. dune_watch
  927. duppy >= "0.7.0" & < "0.9.0" | >= "0.9.3"
  928. duration
  929. dyn
  930. dynload-sys
  931. dyntype >= "0.8.3"
  932. earley >= "1.0.1" & != "2.0.0"
  933. earlybird >= "1.2.0"
  934. easy-format
  935. easy_logging
  936. easy_logging_yojson
  937. easy_xlsx
  938. ecaml < "v0.17.0"
  939. edn >= "0.1.6-1-gff9db95"
  940. efl >= "1.12.0"
  941. ego
  942. eigen
  943. eio < "0.4"
  944. either
  945. elasticsearch-cli
  946. electrod
  947. electrumAnalyzer
  948. elf2json
  949. elina
  950. eliom < "6.5.0" | >= "6.8.0" & < "6.10.1" | >= "6.12.1"
  951. elpi != "1.14.3"
  952. email_message < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & != "v0.11.0" & < "v0.17.0"
  953. embedded_ocaml_templates
  954. emile
  955. emoji
  956. encoding >= "0.0.2"
  957. encore != "0.3"
  958. enumerate < "111.08.00"
  959. enumerators
  960. env_config < "v0.17.0"
  961. epictetus
  962. eqaf
  963. eqaf-cstruct
  964. equinoxe
  965. eris
  966. eris-lwt
  967. erlang
  968. erm_xmpp
  969. errpy
  970. erssical
  971. esgg
  972. esperanto >= "0.0.2"
  973. esperanto-cosmopolitan >= "0.0.5"
  974. ethernet
  975. euler
  976. exenum >= "0.7"
  977. exit
  978. exn-source
  979. expect >= "0.0.6"
  980. expect_test_helpers
  981. expect_test_helpers_async < "v0.17.0"
  982. expect_test_helpers_core < "v0.17.0"
  983. expect_test_helpers_kernel
  984. extism
  985. extism-manifest
  986. extlib >= "1.7.7-1"
  987. extprot >= "1.1.2" & < "1.3.0" | >= "1.6.0"
  988. extunix >= "0.1.5"
  989. ez-conf-lib
  990. ez_api
  991. ez_cmdliner
  992. ez_config
  993. ez_file
  994. ez_hash
  995. ez_opam_file
  996. ez_pgocaml
  997. ez_search
  998. ez_subst
  999. ezcurl
  1000. ezcurl-lwt
  1001. ezdl
  1002. ezgzip
  1003. ezirmin
  1004. ezjs_ace
  1005. ezjs_blockies
  1006. ezjs_cleave
  1007. ezjs_crypto
  1008. ezjs_cytoscape
  1009. ezjs_d3pie
  1010. ezjs_extension
  1011. ezjs_fetch < "0.3"
  1012. ezjs_idb
  1013. ezjs_jquery
  1014. ezjs_min
  1015. ezjs_odometer
  1016. ezjs_push
  1017. ezjs_qrcode
  1018. ezjs_recaptcha
  1019. ezjs_timeline
  1020. ezjsonm >= "0.5.0"
  1021. ezjsonm-encoding
  1022. ezjsonm-lwt >= "1.0.0"
  1023. ezresto
  1024. ezresto-directory
  1025. ezsqlite
  1026. ezxenstore >= "0.4.1"
  1027. ezxmlm >= "1.0.2"
  1028. FPauth
  1029. FPauth-core
  1030. FPauth-responses
  1031. FPauth-strategies
  1032. FrontC >= "3.4.1"
  1033. faad < "0.5.0"
  1034. facebook-sdk
  1035. facile
  1036. facteur
  1037. fadbadml
  1038. faillib
  1039. faraday
  1040. faraday-async
  1041. faraday-lwt
  1042. faraday-lwt-unix
  1043. farfadet
  1044. farith
  1045. farmhash
  1046. fasmifra
  1047. fat-filesystem != "0.12.0" & != "0.12.2"
  1048. fd-send-recv >= "1.0.5" & < "2.0.2"
  1049. fdkaac < "0.3.2"
  1050. feat
  1051. feat-core
  1052. feat-num
  1053. feather
  1054. feather_async >= "0.2.0"
  1055. febusy
  1056. ff >= "0.5.0"
  1057. ff-bench
  1058. ff-pbt
  1059. ff-sig
  1060. ffmpeg
  1061. ffmpeg-av
  1062. ffmpeg-avcodec
  1063. ffmpeg-avdevice
  1064. ffmpeg-avfilter
  1065. ffmpeg-avutil
  1066. ffmpeg-swresample
  1067. ffmpeg-swscale
  1068. fftw3 >= "0.8.4"
  1069. fiat-p256 < "0.2.1"
  1070. fiber
  1071. fiber-lwt
  1072. fieldslib < "109.19.00" | = "113.24.00" | >= "v0.9.0" & < "v0.17.0"
  1073. file_path < "v0.17.0"
  1074. fileutils >= "0.5.3"
  1075. finch
  1076. findlib_top
  1077. fit
  1078. fix
  1079. fkie-cad-cwe-checker < "0.2"
  1080. flac != "0.1.2"
  1081. flex-array
  1082. flint
  1083. flock
  1084. flow >= "0.3"
  1085. flow_parser = "0.80.0" | = "0.229.1"
  1086. flowtype >= "0.62.0" & < "0.87.0"
  1087. fluent-logger < "1.1.0"
  1088. fm-simplex-plugin
  1089. fmlib
  1090. fmlib_browser
  1091. fmlib_js
  1092. fmlib_parse
  1093. fmlib_pretty
  1094. fmlib_std
  1095. fmt >= "0.8.0"
  1096. fontforge-of-ocaml
  1097. forester < "3.0.0"
  1098. format
  1099. fpath >= "0.7.3"
  1100. frama-c >= "11.0" & < "16.0" | >= "19.1" & < "23.0" | >= "24.0"
  1101. frama-c-e-acsl
  1102. frama-c-lannotate
  1103. frama-c-luncov
  1104. frama-c-metacsl
  1105. fred
  1106. freetds
  1107. frei0r < "0.1.2"
  1108. frenetic
  1109. fromager
  1110. fsml
  1111. fstar >= "2022.01.15"
  1112. fstreams
  1113. fswatch
  1114. fswatch_async
  1115. fswatch_lwt
  1116. fun-sql
  1117. functoria >= "2.2.1"
  1118. functoria-runtime >= "2.2.2"
  1119. functory >= "0.6"
  1120. funfields
  1121. future
  1122. fuzzy_compare
  1123. fuzzy_match < "v0.17.0"
  1124. fzf < "v0.17.0"
  1125. GT != "0.4.0"
  1126. GuaCaml != "0.03"
  1127. gadelac
  1128. gamepad
  1129. gammu >= "0.9.3"
  1130. gapi-ocaml >= "0.3.5"
  1131. gavl
  1132. gbddml
  1133. gccjit
  1134. gd < "1.1"
  1135. gdal < "0.3.0" | >= "0.9.0"
  1136. gdbprofiler >= "0.2"
  1137. gedcom
  1138. gemini < "0.3.0"
  1139. gen = "0.2.2" | = "0.5" | >= "0.5.3"
  1140. gen-bs < "0.1.0"
  1141. gen_js_api >= "1.0.6"
  1142. gen_server
  1143. genet < "0.6"
  1144. genlet
  1145. genspio
  1146. genspir
  1147. geoip >= "0.0.3"
  1148. geojson
  1149. geoml
  1150. get_line < "5.0.0"
  1151. getopt
  1152. getopts
  1153. gettext = "0.3.8" | >= "0.4.2"
  1154. gettext-camomile
  1155. gettext-stub
  1156. gg >= "0.9.2"
  1157. git < "1.4.3" | >= "1.8.0" & != "1.10.0"
  1158. git-cohttp
  1159. git-cohttp-mirage
  1160. git-cohttp-unix
  1161. git-http
  1162. git-kv
  1163. git-mirage
  1164. git-paf
  1165. git-split
  1166. git-unix
  1167. git_split
  1168. github < "1.0.0" | = "3.0.0" | >= "3.1.0"
  1169. github-data
  1170. github-hooks
  1171. github-hooks-unix
  1172. github-jsoo
  1173. github-unix >= "3.1.0"
  1174. gitlab
  1175. gitlab-jsoo
  1176. gitlab-unix
  1177. gitlab_pipeline_notifier
  1178. gles3 < "20160505.alpha"
  1179. glfw-ocaml
  1180. glical >= "0.0.3"
  1181. glicko2
  1182. glMLite >= "0.03.53"
  1183. glpk != "0.1.7"
  1184. gluten
  1185. gluten-async
  1186. gluten-eio
  1187. gluten-lwt
  1188. gluten-lwt-unix
  1189. gluten-mirage
  1190. gmap
  1191. gmp
  1192. gmp-freestanding
  1193. gmp-xen
  1194. gnuplot
  1195. gobba
  1196. gobject-introspection
  1197. goblint >= "1.1.1"
  1198. goblint-cil
  1199. google-drive-ocamlfuse >= "0.7.25"
  1200. gopcaml-mode >= "0.0.6"
  1201. gopcaml-mode-merlin >= "0.0.6"
  1202. gospel
  1203. gotd
  1204. gperftools >= "0.5"
  1205. gpiod
  1206. gpr
  1207. gpt
  1208. gpx
  1209. gr
  1210. grace >= "0.2.0"
  1211. gradescope_submit
  1212. grain_dypgen
  1213. graphics >= "5.1.0"
  1214. graphicspdf
  1215. graphlib < "1.4.0" | >= "2.2.0"
  1216. graphql
  1217. graphql-async
  1218. graphql-cohttp
  1219. graphql-lwt
  1220. graphql_jsoo_client
  1221. graphql_parser
  1222. graphql_ppx >= "0.7.1"
  1223. graphv_core_lib
  1224. gremlin
  1225. grenier >= "0.11"
  1226. grib
  1227. grid
  1228. grpc
  1229. grpc-async
  1230. gsasl
  1231. gsl
  1232. gstreamer
  1233. guardian
  1234. gufo
  1235. guile
  1236. gxl-light
  1237. h1
  1238. h1-lwt-unix
  1239. h1_parser
  1240. h2
  1241. h2-async
  1242. h2-eio
  1243. h2-lwt
  1244. h2-lwt-unix
  1245. h2-mirage
  1246. hachis
  1247. hack_parallel
  1248. hacl-star
  1249. hacl-star-raw
  1250. hacl_func
  1251. hacl_x25519
  1252. hamt
  1253. happy-eyeballs
  1254. happy-eyeballs-lwt
  1255. happy-eyeballs-mirage
  1256. hardcaml < "1.1.1" | >= "v0.12.0" & < "v0.17.0"
  1257. hardcaml-affirm
  1258. hardcaml-bloop
  1259. hardcaml-examples != "0.2"
  1260. hardcaml-framework
  1261. hardcaml-llvmsim
  1262. hardcaml-reedsolomon
  1263. hardcaml-vpi
  1264. hardcaml-yosys
  1265. hardcaml_axi < "v0.17.0"
  1266. hardcaml_c < "v0.17.0"
  1267. hardcaml_circuits < "v0.17.0"
  1268. hardcaml_fixed_point < "v0.17.0"
  1269. hardcaml_handshake < "v0.17.0"
  1270. hardcaml_of_verilog < "v0.17.0"
  1271. hardcaml_step_testbench < "v0.17.0"
  1272. hardcaml_verify < "v0.17.0"
  1273. hardcaml_verilator < "v0.17.0"
  1274. hardcaml_waveterm < "v0.17.0"
  1275. hardcaml_xilinx < "v0.17.0"
  1276. hardcaml_xilinx_components < "v0.17.0"
  1277. hardcaml_xilinx_reports < "v0.17.0"
  1278. hashcons
  1279. hashids
  1280. hashset
  1281. haxe >= "4.0.0"
  1282. hc
  1283. hdf5 >= "0.1.5"
  1284. hdfs >= "0.3"
  1285. hdr_histogram
  1286. headache >= "1.06"
  1287. header-check
  1288. hector
  1289. heptagon < "1.01.00" | >= "1.03.03"
  1290. herdtools7
  1291. hevea >= "2.25"
  1292. hex >= "1.2.0"
  1293. hex_encode < "v0.17.0"
  1294. hexstring
  1295. hg_lib < "v0.17.0"
  1296. hidapi
  1297. hidapi-lwt
  1298. higher
  1299. higher_kinded < "v0.17.0"
  1300. highlexer
  1301. higlo != "0.3"
  1302. hiredis
  1303. hiredis-value
  1304. hkdf
  1305. hlarp >= "0.0.3"
  1306. hll
  1307. hmap >= "0.8.1"
  1308. hockmd
  1309. hol2dk
  1310. horned_worm != "0.3.1"
  1311. hpack
  1312. hsluv
  1313. html_of_jsx >= "0.0.4"
  1314. htmlfromtexbooks
  1315. htmlit
  1316. hts_shrink
  1317. http
  1318. http-cookie
  1319. http-date
  1320. http-lwt-client
  1321. http-mirage-client
  1322. http-multipart-formdata
  1323. http2https
  1324. http_async
  1325. http_router
  1326. httpaf
  1327. httpaf-async
  1328. httpaf-lwt-unix
  1329. httph
  1330. httpun
  1331. httpun-async
  1332. httpun-lwt
  1333. httpun-lwt-unix
  1334. httpun-mirage
  1335. httpun-types
  1336. httpun-ws
  1337. httpun-ws-async
  1338. httpun-ws-eio
  1339. httpun-ws-lwt
  1340. httpun-ws-lwt-unix
  1341. httpun-ws-mirage
  1342. humane-re != "0.0.3"
  1343. hvsock >= "0.6"
  1344. hweak
  1345. hxd
  1346. hydro
  1347. hyper
  1348. ISO3166
  1349. ISO8601
  1350. i2c
  1351. i3ipc >= "0.1.2"
  1352. ibx < "0.8.1"
  1353. icalendar
  1354. idd
  1355. idds
  1356. igvxml
  1357. imagelib >= "20171028"
  1358. imagemagick
  1359. imap
  1360. imaplet-lwt < "0.1.15"
  1361. imguiml
  1362. incr_dom < "v0.17.0"
  1363. incr_dom_interactive < "v0.17.0"
  1364. incr_dom_keyboard
  1365. incr_dom_partial_render < "v0.17.0"
  1366. incr_dom_sexp_form < "v0.17.0"
  1367. incr_dom_widgets
  1368. incr_map < "v0.17.0"
  1369. incr_select < "v0.17.0"
  1370. incremental >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  1371. incremental_kernel != "113.33.03" & != "v0.11.0"
  1372. indentation_buffer < "v0.17.0"
  1373. index >= "1.3.0"
  1374. index-bench
  1375. inferno
  1376. influxdb
  1377. influxdb-async
  1378. influxdb-lwt
  1379. inotify >= "2.1"
  1380. inquire
  1381. inquirer_oc
  1382. inspect
  1383. int_repr < "v0.17.0"
  1384. integers
  1385. integration1d >= "0.5"
  1386. interface-prime
  1387. interface-prime-lwt
  1388. interval < "1.6"
  1389. interval-map
  1390. interval_base
  1391. interval_crlibm < "1.6"
  1392. interval_intel < "1.6"
  1393. inuit
  1394. io
  1395. io-page >= "2.0.1"
  1396. io-page-unix >= "2.0.0"
  1397. io-page-xen >= "2.0.0"
  1398. iocaml >= "0.4.6"
  1399. iocaml-kernel >= "0.4.6"
  1400. iocamljs-kernel < "0.4.3" | >= "0.4.6"
  1401. iomux
  1402. iostream
  1403. iostream-camlzip
  1404. ip2location
  1405. ip2locationio
  1406. ip2whois
  1407. ipaddr >= "2.7.2"
  1408. ipaddr-cstruct
  1409. ipaddr-sexp
  1410. ipv6-multicast
  1411. ipv6-multicast-lwt
  1412. irc-client >= "0.4.0"
  1413. irc-client-lwt
  1414. irc-client-lwt-ssl
  1415. irc-client-tls
  1416. irc-client-unix
  1417. iri
  1418. irmin < "0.9.0" | >= "0.9.5" & != "0.9.10" & < "1.0.0" | >= "1.3.2"
  1419. irmin-chunk
  1420. irmin-cli
  1421. irmin-client
  1422. irmin-containers
  1423. irmin-fs
  1424. irmin-git >= "1.1.0"
  1425. irmin-graphql
  1426. irmin-http >= "1.3.1"
  1427. irmin-indexeddb
  1428. irmin-layers
  1429. irmin-mem
  1430. irmin-mirage < "2.0.0"
  1431. irmin-pack
  1432. irmin-pack-tools
  1433. irmin-server
  1434. irmin-test
  1435. irmin-tezos >= "3.2.1" & < "3.4.0"
  1436. irmin-tezos-utils
  1437. irmin-unix != "1.3.0"
  1438. irmin-watcher
  1439. iso-filesystem
  1440. iso639
  1441. iter >= "1.2.1"
  1442. itv-tree >= "2.1"
  1443. ivy
  1444. JsOfOCairo >= "1.0.1"
  1445. jane-street-headers < "v0.17.0"
  1446. jane-street-tests
  1447. jane_rope < "v0.17.0"
  1448. janestreet_cpuid < "v0.17.0"
  1449. janestreet_csv < "v0.17.0"
  1450. janestreet_lru_cache < "v0.17.0"
  1451. jasmin
  1452. javalib != "2.3.3"
  1453. javascriptcore
  1454. jbuilder >= "1.0+beta20.1"
  1455. jekyll-format
  1456. jemalloc
  1457. jenga < "109.19.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03"
  1458. jerboa
  1459. jext
  1460. jhupllib
  1461. jingoo >= "1.2.16"
  1462. jitsu
  1463. jitsu-libvirt
  1464. jitsu-libxl
  1465. jitsu-xapi
  1466. joolog
  1467. jose
  1468. js-build-tools >= "113.33.04"
  1469. js-lz4
  1470. js_of_ocaml >= "3.5.0"
  1471. js_of_ocaml-camlp4
  1472. js_of_ocaml-compiler >= "4.0.0"
  1473. js_of_ocaml-lwt
  1474. js_of_ocaml-ocamlbuild != "3.5.2"
  1475. js_of_ocaml-ppx >= "3.5.0"
  1476. js_of_ocaml-ppx_deriving_json >= "3.4.0"
  1477. js_of_ocaml-toplevel != "3.4.0"
  1478. js_of_ocaml-tyxml
  1479. js_of_ocaml-webgpu
  1480. js_of_ocaml-webidl
  1481. js_of_ocaml_patches < "v0.17.0"
  1482. json-data-encoding
  1483. json-data-encoding-browser
  1484. json-data-encoding-bson
  1485. json-derivers
  1486. json-predicate
  1487. json-rpc
  1488. json-static
  1489. json-wheel >= "1.0.6+safe-string"
  1490. json-wheel_jane_street_overlay
  1491. json_decoder
  1492. json_of_jsonm
  1493. jsonaf < "v0.17.0"
  1494. jsondiff
  1495. jsonm != "1.0.0"
  1496. jsonoo
  1497. jsonrpc >= "1.3.0"
  1498. jsonschema2atd
  1499. jsonxt
  1500. jsoo-react
  1501. jsoo_broadcastchannel >= "2.0.0"
  1502. jsoo_router
  1503. jsoo_storage >= "1.0.1"
  1504. jst-config < "v0.17.0"
  1505. junit < "2.0.1"
  1506. junit_alcotest < "2.0.1"
  1507. junit_ounit < "2.0.1"
  1508. jupyter >= "2.8.1"
  1509. jupyter-archimedes
  1510. jupyter-kernel
  1511. jwt
  1512. jwto
  1513. KaSim >= "4.0.0"
  1514. kafka >= "0.3"
  1515. kafka_async
  1516. kafka_lwt
  1517. kappa-agents
  1518. kappa-binaries
  1519. kappa-library >= "4.1.3"
  1520. kappa-server
  1521. kaputt >= "1.2"
  1522. karamel
  1523. kcas >= "0.6.1"
  1524. kdf
  1525. kdl
  1526. ke
  1527. ketrew >= "1.1.1" & != "3.0.0"
  1528. key-parsers != "0.10.0"
  1529. kicadsch
  1530. kind2
  1531. kinetic-client
  1532. kittyimg
  1533. kkmarkdown
  1534. kmt
  1535. knights_tour
  1536. kqueue
  1537. krb
  1538. krb5
  1539. kremlin = "1.0.0"
  1540. kubecaml
  1541. kuznechik
  1542. kyotocabinet
  1543. lab
  1544. lablgl
  1545. lablgtk >= "2.18.11"
  1546. lablgtk3 >= "3.1.1"
  1547. lablgtk3-extras >= "3.0.1"
  1548. lablgtk3-goocanvas2
  1549. lablgtk3-gtkspell3 >= "3.0.beta8"
  1550. lablgtk3-rsvg2
  1551. lablgtk3-sourceview3 >= "3.1.0"
  1552. lablgtkosx
  1553. lablqml >= "0.6.2"
  1554. labltk >= "8.06.11"
  1555. labrys
  1556. lacaml
  1557. ladspa < "0.2.0" | >= "0.2.2"
  1558. lambda
  1559. lambda-runtime
  1560. lambda-term < "1.6" | >= "1.12.0"
  1561. lambda_streams
  1562. lambda_streams_async
  1563. lambda_streams_lwt
  1564. lambdapi
  1565. lambdasoup
  1566. lambdoc
  1567. lame < "0.3.4"
  1568. landmarks >= "1.3"
  1569. landmarks-ppx
  1570. lascar
  1571. lastfm = "0.3.2" | >= "0.3.4"
  1572. launchd
  1573. lazy-trie >= "1.1.0"
  1574. lbfgs >= "0.9"
  1575. lbvs_consent < "2.0.0"
  1576. ldap
  1577. ldp
  1578. ldp_curl
  1579. ldp_js
  1580. ldp_tls
  1581. leaflet
  1582. learn-ocaml < "0.12"
  1583. ledgerwallet
  1584. ledgerwallet-tezos
  1585. ledit >= "2.04"
  1586. lem
  1587. lemonade
  1588. lemonade-sqlite
  1589. lens < "1.2.0" | >= "1.2.4"
  1590. let-if
  1591. letsencrypt
  1592. letsencrypt-app
  1593. letsencrypt-dns
  1594. letsencrypt-mirage
  1595. letters
  1596. leveldb < "1.0.3" | >= "1.3.0"
  1597. levenshtein
  1598. lib_parsing
  1599. libabsolute
  1600. libbinaryen
  1601. libbpf
  1602. libdash
  1603. libevent
  1604. libres3
  1605. libssh
  1606. libsvm != "0.9.3"
  1607. libudev >= "0.2.1"
  1608. libzipperposition
  1609. lilac
  1610. lilis
  1611. line-up-words < "v0.17.0"
  1612. line_oriented
  1613. linenoise < "1.1.0" | >= "1.3.1"
  1614. linkage
  1615. links >= "0.9.3"
  1616. links-mysql
  1617. links-postgresql >= "0.7.3"
  1618. links-sqlite3
  1619. linksem
  1620. linol
  1621. linol-lwt < "0.6"
  1622. lintcstubs
  1623. lintcstubs-arity
  1624. lintcstubs-gen
  1625. lipsum
  1626. liquid_interpreter
  1627. liquid_ml
  1628. liquid_parser
  1629. liquid_std
  1630. liquid_syntax
  1631. liquidsoap >= "1.4.0" & < "2.2.0"
  1632. liquidsoap-core
  1633. liquidsoap-daemon
  1634. liquidsoap-js
  1635. liquidsoap-lang
  1636. litiom
  1637. little_logger
  1638. llama
  1639. llama-cpp-ocaml
  1640. llama_core
  1641. llama_interactive >= "0.1.0"
  1642. llama_midi
  1643. llopt
  1644. llvm
  1645. llvmgraph
  1646. lmdb >= "1.0"
  1647. lo < "0.2.0"
  1648. lockfree >= "0.3.1"
  1649. loga >= "0.0.5"
  1650. logger-p5
  1651. logical >= "0.2.0"
  1652. logs >= "0.6.2"
  1653. logs-async >= "1.3"
  1654. logs-async-reporter >= "1.3"
  1655. logs-ppx
  1656. logs-syslog
  1657. logtk >= "1.5.1"
  1658. lp
  1659. lp-glpk
  1660. lp-glpk-js
  1661. lp-gurobi
  1662. lpd >= "1.2.2"
  1663. lpi
  1664. lreplay
  1665. lru != "0.3.0-1"
  1666. lru-cache
  1667. lru_cache
  1668. lsp >= "1.3.0"
  1669. lt-code
  1670. lua-ml
  1671. lua_pattern
  1672. lucid
  1673. lun
  1674. lustre-v6 != "6.101.7"
  1675. lutils >= "1.54.1"
  1676. lutin >= "2.71.10"
  1677. luv
  1678. luv_unix
  1679. lwd
  1680. lwt >= "5.4.0"
  1681. lwt-binio
  1682. lwt-canceler
  1683. lwt-dllist
  1684. lwt-exit
  1685. lwt-parallel
  1686. lwt-pipe
  1687. lwt-pipeline
  1688. lwt-watcher
  1689. lwt-zmq
  1690. lwt_camlp4
  1691. lwt_domain < "0.3.0"
  1692. lwt_eio < "0.2"
  1693. lwt_glib
  1694. lwt_log
  1695. lwt_named_threads
  1696. lwt_ppx
  1697. lwt_ppx_let >= "5.6.0"
  1698. lwt_react
  1699. lwt_ssl >= "1.1.1"
  1700. lymp
  1701. lz4
  1702. lz4_chans >= "3.0.0"
  1703. lzo >= "0.0.2"
  1704. MlFront_Cli
  1705. m_tree
  1706. macaddr
  1707. macaddr-cstruct
  1708. macaddr-sexp
  1709. macaque != "0.7.1"
  1710. macaroons < "0.1.1"
  1711. mad < "0.5.0" | >= "0.5.3"
  1712. magic
  1713. magic-mime
  1714. magic-trace
  1715. maildir
  1716. maki
  1717. malfunction != "0.3"
  1718. man_in_the_middle_debugger < "v0.17.0"
  1719. mariadb >= "1.1.5"
  1720. markdown
  1721. markup < "0.7.3" | >= "0.7.6"
  1722. mastodon-archive-viewer
  1723. matita
  1724. matplotlib
  1725. maxminddb
  1726. mbr-format
  1727. mc2
  1728. mccs >= "1.1+11"
  1729. md2mld
  1730. mdx >= "1.11.1"
  1731. mec
  1732. mecab
  1733. mechaml
  1734. mehari
  1735. mel
  1736. melange < "2.0.0" | = "3.0.0-414" | = "4.0.0-414"
  1737. melange-atdgen-codec-runtime
  1738. melange-compiler-libs
  1739. melange-fest
  1740. melange-fetch
  1741. melange-json >= "1.1.0"
  1742. melange-json-native
  1743. melange-moment
  1744. melange-numeral
  1745. melange-react-dates
  1746. melange-recharts
  1747. melange-testing-library
  1748. melange-webapi >= "0.21.0"
  1749. meldep
  1750. melt
  1751. mem_usage
  1752. memcad
  1753. memcpy
  1754. memgraph
  1755. memgraph_kitty
  1756. memo
  1757. memprof-limits >= "0.2.0"
  1758. memtrace
  1759. memtrace-mirage
  1760. memtrace_viewer >= "v0.15.0"
  1761. menhir >= "20130911"
  1762. menhirCST
  1763. menhirLib
  1764. menhirSdk
  1765. merge-fmt
  1766. merge-queues
  1767. merge-ropes
  1768. mergeable-vector
  1769. merlin = "4.4.1~4.14preview" | = "4.5-414" | = "4.6-414" | = "4.7-414" | = "4.8-414" | = "4.9-414" | = "4.10-414" | = "4.11-414" | = "4.12-414" | = "4.13-414" | = "4.14-414" | = "4.15-414" | = "4.16-414"
  1770. merlin-acme
  1771. merlin-extend >= "0.6"
  1772. merlin-lib >= "4.6-414" & < "4.7-500" | = "4.8-414" | = "4.9-414" | = "4.10-414" | = "4.11-414" | = "4.12-414" | = "4.13-414" | = "4.14-414" | = "4.15-414" | = "4.16-414"
  1773. merlin-of-pds
  1774. mesh >= "0.8.7"
  1775. mesh-display
  1776. mesh-easymesh
  1777. mesh-graphics
  1778. mesh-triangle
  1779. message-switch
  1780. metadata
  1781. metadb
  1782. metapp >= "0.4.0"
  1783. metaquot >= "0.5.1"
  1784. metrics
  1785. metrics-influx
  1786. metrics-lwt >= "0.3.0"
  1787. metrics-mirage >= "0.3.0"
  1788. metrics-rusage
  1789. metrics-unix >= "0.3.0"
  1790. mew
  1791. mew_vi
  1792. middleware
  1793. mikmatch >= "1.0.9"
  1794. mimic
  1795. mimic-happy-eyeballs
  1796. mindstorm >= "0.6"
  1797. mindstorm-lwt
  1798. minicaml
  1799. minicli
  1800. minilight
  1801. minima-theme
  1802. minimal
  1803. minisat != "0.3"
  1804. minivpt
  1805. mirage >= "2.0.0" & < "2.7.0" | >= "3.1.1"
  1806. mirage-block
  1807. mirage-block-ccm
  1808. mirage-block-combinators
  1809. mirage-block-lwt
  1810. mirage-block-partition
  1811. mirage-block-ramdisk
  1812. mirage-block-solo5
  1813. mirage-block-unix >= "2.0.0" & != "2.7.0"
  1814. mirage-block-xen
  1815. mirage-bootvar
  1816. mirage-bootvar-solo5
  1817. mirage-bootvar-unix
  1818. mirage-bootvar-xen
  1819. mirage-btrees
  1820. mirage-channel
  1821. mirage-channel-lwt
  1822. mirage-clock
  1823. mirage-clock-freestanding
  1824. mirage-clock-lwt
  1825. mirage-clock-solo5
  1826. mirage-clock-unix
  1827. mirage-clock-xen
  1828. mirage-conduit
  1829. mirage-console != "2.1.0" & != "2.3.2"
  1830. mirage-console-lwt != "2.3.2"
  1831. mirage-console-solo5
  1832. mirage-console-unix
  1833. mirage-console-xen
  1834. mirage-console-xen-backend
  1835. mirage-console-xen-cli
  1836. mirage-console-xen-proto
  1837. mirage-crypto
  1838. mirage-crypto-ec
  1839. mirage-crypto-entropy
  1840. mirage-crypto-pk
  1841. mirage-crypto-rng
  1842. mirage-crypto-rng-async
  1843. mirage-crypto-rng-lwt
  1844. mirage-crypto-rng-mirage
  1845. mirage-device
  1846. mirage-dns
  1847. mirage-entropy
  1848. mirage-entropy-unix
  1849. mirage-flow < "1.0.3" | >= "1.2.0"
  1850. mirage-flow-combinators
  1851. mirage-flow-lwt
  1852. mirage-flow-rawlink
  1853. mirage-flow-unix != "1.4.0"
  1854. mirage-fs
  1855. mirage-fs-lwt
  1856. mirage-fs-mem
  1857. mirage-fs-unix >= "1.4.1"
  1858. mirage-git
  1859. mirage-http
  1860. mirage-http-unix
  1861. mirage-http-xen
  1862. mirage-irmin
  1863. mirage-kv
  1864. mirage-kv-lwt
  1865. mirage-kv-mem
  1866. mirage-kv-unix
  1867. mirage-logs
  1868. mirage-monitoring
  1869. mirage-nat < "1.1.0" | >= "2.0.0"
  1870. mirage-net
  1871. mirage-net-direct
  1872. mirage-net-fd
  1873. mirage-net-flow
  1874. mirage-net-lwt
  1875. mirage-net-macosx
  1876. mirage-net-socket
  1877. mirage-net-solo5 < "0.4.3" | >= "0.6.1"
  1878. mirage-net-unix >= "2.2.1"
  1879. mirage-net-xen >= "1.4.2" & < "1.6.0" | >= "1.7.0"
  1880. mirage-no-solo5
  1881. mirage-no-xen
  1882. mirage-os-shim >= "3.0.1"
  1883. mirage-profile != "0.7.0"
  1884. mirage-profile-unix >= "0.9.0"
  1885. mirage-profile-xen
  1886. mirage-protocols
  1887. mirage-protocols-lwt
  1888. mirage-qubes
  1889. mirage-qubes-ipv4
  1890. mirage-random
  1891. mirage-random-stdlib
  1892. mirage-random-test
  1893. mirage-runtime
  1894. mirage-seal
  1895. mirage-solo5 >= "0.6.2"
  1896. mirage-stack
  1897. mirage-stack-lwt
  1898. mirage-tc
  1899. mirage-tcpip-unix
  1900. mirage-tcpip-xen
  1901. mirage-time
  1902. mirage-time-lwt
  1903. mirage-time-unix
  1904. mirage-types
  1905. mirage-types-lwt
  1906. mirage-unix
  1907. mirage-vnetif
  1908. mirage-vnetif-stack
  1909. mirage-www
  1910. mirage-xen >= "2.6.0"
  1911. mirage-xen-minios
  1912. mirage-xen-posix
  1913. mirror
  1914. misuja
  1915. mixture
  1916. mjson
  1917. mkaudio
  1918. mkocaml >= "1.2"
  1919. ml2mxml
  1920. mlbdd
  1921. mlcuddidl >= "3.0.6"
  1922. mld
  1923. mldonkey >= "3.2.1"
  1924. mlfenv
  1925. mlgmpidl >= "1.2.11"
  1926. mlmpfr
  1927. mlpost >= "0.8.2"
  1928. mlpost-lablgtk
  1929. mlt_parser < "v0.17.0"
  1930. mlx
  1931. mm >= "0.3.1"
  1932. mmap
  1933. mmdb
  1934. mmseg
  1935. mnd
  1936. mock
  1937. mock-ounit
  1938. modelica_ml >= "0.2.0"
  1939. modular-arithmetic
  1940. module-graph
  1941. molenc < "16.15.0"
  1942. monaco_jsoo
  1943. monadlib
  1944. monads < "1.4.0" | >= "2.2.0"
  1945. mongo
  1946. monocypher
  1947. monolith
  1948. monomorphic >= "1.2"
  1949. monorobot
  1950. moonpool
  1951. mopsa
  1952. morbig
  1953. more-ocaml
  1954. morsmall
  1955. mosquitto
  1956. moss
  1957. mparser >= "1.2"
  1958. mparser-pcre
  1959. mparser-re
  1960. mperf
  1961. mpg123
  1962. mpi
  1963. mpp >= "0.3.2"
  1964. mpris >= "0.1.1"
  1965. mpris-clients
  1966. mqtt != "0.0.2"
  1967. mrmime
  1968. msat
  1969. msat-bin
  1970. msgpack >= "1.3.0"
  1971. msgpck
  1972. msgpck-repr
  1973. mssql
  1974. mstruct >= "1.4.0"
  1975. mtime >= "0.8.4"
  1976. mtl
  1977. mugen
  1978. mula
  1979. multibase
  1980. multicodec
  1981. multicore-bench
  1982. multicore-magic >= "1.0.1"
  1983. multicore-magic-dscheck
  1984. multihash
  1985. multipart-form-data < "0.3.0"
  1986. multipart_form
  1987. multipart_form-cohttp-lwt
  1988. multipart_form-lwt
  1989. murmur3
  1990. mustache != "2.0.0"
  1991. mustache-cli
  1992. mutaml
  1993. mutf8
  1994. mvar
  1995. mwt
  1996. mybuild
  1997. mysql >= "1.2.1"
  1998. mysql_protocol
  1999. n_ary < "v0.17.0"
  2000. naboris
  2001. nacc
  2002. named-pipe
  2003. namespaces
  2004. nanoid
  2005. nanomsg
  2006. nanosvg
  2007. nanosvg_text
  2008. nbd
  2009. nbd-tool
  2010. nbd-unix
  2011. nebula
  2012. netamqp
  2013. netchannel
  2014. netkat
  2015. netlink
  2016. netml
  2017. netsnmp < "v0.17.0"
  2018. nice_parser
  2019. ninja_utils
  2020. niru
  2021. nit
  2022. nlopt
  2023. nlopt-ocaml >= "0.5.1"
  2024. nlp
  2025. nmea
  2026. noCanren >= "0.3.0"
  2027. nocoiner
  2028. nocrypto >= "0.2.0" & != "0.5.3"
  2029. noise
  2030. non_empty_list
  2031. nonstd
  2032. nosetup
  2033. not-ocamlfind != "0.07" & < "0.09"
  2034. note
  2035. notty < "0.2.0" | >= "0.2.3"
  2036. notty_async < "v0.17.0"
  2037. np
  2038. nproc
  2039. npy >= "0.0.7"
  2040. nsq >= "0.1.1"
  2041. num >= "1.0"
  2042. numalib
  2043. numeric_string < "v0.17.0"
  2044. numerix
  2045. nunchaku >= "0.6"
  2046. nuscr >= "2.0.0"
  2047. OCADml
  2048. OCanren
  2049. OCanren-ppx
  2050. OSCADml
  2051. oasis >= "0.4.7"
  2052. oasis-mirage
  2053. oasis2debian
  2054. oasis2opam < "0.4.4" | >= "0.6.1"
  2055. obandit
  2056. obeam < "0.1.0" | >= "0.1.2"
  2057. obeanstalk
  2058. obelisk
  2059. obi
  2060. obigstore
  2061. objsize >= "0.18"
  2062. obuild >= "0.1.9"
  2063. obuilder
  2064. obuilder-spec
  2065. obus >= "1.1.8"
  2066. obytelib >= "1.6"
  2067. oc45
  2068. ocal != "0.2.0"
  2069. ocaml-base-compiler >= "4.14.2~rc1" & < "5.0.0~alpha0"
  2070. ocaml-basics != "0.4.0"
  2071. ocaml-buddy
  2072. ocaml-canvas
  2073. ocaml-compiler-libs < "v0.17.0"
  2074. ocaml-data-notation < "0.0.10"
  2075. ocaml-embed-file < "v0.17.0"
  2076. ocaml-expat
  2077. ocaml-freestanding = "0.6.7"
  2078. ocaml-http >= "0.1.6"
  2079. ocaml-in-python
  2080. ocaml-inifiles
  2081. ocaml-js-stdlib
  2082. ocaml-logicalform
  2083. ocaml-lsp-server = "1.9.2~4.14preview" | >= "1.10.6" & != "1.13.2~5.0preview" & != "1.15.0~5.0preview1" & != "1.15.0-5.0" & != "1.15.1-5.0" & != "1.18.0~5.2preview" & < "1.19.0"
  2084. ocaml-lua >= "1.8"
  2085. ocaml-makefile < "6.39.2"
  2086. ocaml-manual = "4.14.0"
  2087. ocaml-markdown
  2088. ocaml-migrate-parsetree >= "2.3.0"
  2089. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  2090. ocaml-monadic >= "0.3.2"
  2091. ocaml-print-intf
  2092. ocaml-probes < "v0.17.0"
  2093. ocaml-protoc
  2094. ocaml-protoc-plugin
  2095. ocaml-protoc-yojson
  2096. ocaml-r >= "0.1.0"
  2097. ocaml-sat-solvers
  2098. ocaml-solo5
  2099. ocaml-solo5-cross-aarch64
  2100. ocaml-src = "4.14.2"
  2101. ocaml-syntax-shims
  2102. ocaml-system < "4.13.0" | = "4.14.2"
  2103. ocaml-systemd
  2104. ocaml-top < "1.1.0" | >= "1.1.5"
  2105. ocaml-twt
  2106. ocaml-variants >= "4.14.2~rc1+options" & < "4.14.2+trunk"
  2107. ocaml-vdom < "transition"
  2108. ocaml-version
  2109. ocaml-xdg-basedir = "0.0.3"
  2110. ocaml-xml-rpc
  2111. ocaml-zmq
  2112. ocaml_db_model
  2113. ocaml_intrinsics < "v0.17.0"
  2114. ocaml_pgsql_model
  2115. ocaml_plugin < "112.35.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03"
  2116. ocamlapi
  2117. ocamlapi_async
  2118. ocamlapi_lwt_unix
  2119. ocamlapi_ppx
  2120. ocamlbrowser = "4.14.0"
  2121. ocamlbuild < "0.9.0" | >= "0.14.0"
  2122. ocamlbuild-atdgen
  2123. ocamlbuild-pkg
  2124. ocamlbuild-protoc
  2125. ocamlc-loc
  2126. ocamlclean >= "2.3"
  2127. ocamldap >= "2.3.0"
  2128. ocamldiff >= "1.1"
  2129. ocamldot >= "1.1"
  2130. ocamldsort
  2131. ocamleditor >= "1.15.2-ocaml414"
  2132. ocamlfind >= "1.9.0"
  2133. ocamlfind-lint
  2134. ocamlformat != "0.5" & < "0.9" | >= "0.20.0"
  2135. ocamlformat-lib
  2136. ocamlformat-rpc >= "0.20.0" & < "removed"
  2137. ocamlformat-rpc-lib >= "0.20.0"
  2138. ocamlfuse
  2139. ocamlgraph >= "1.8.8"
  2140. ocamlgraph_gtk
  2141. ocamlify
  2142. ocamline
  2143. ocamlmerlin-mlx
  2144. ocamlmod >= "0.0.8"
  2145. ocamlnet >= "4.1.9"
  2146. ocamlog
  2147. ocamlregextkit
  2148. ocamlrss
  2149. ocamlscript
  2150. ocamlsdl
  2151. ocamlsdl2
  2152. ocamlsdl2-image
  2153. ocamlsdl2-ttf
  2154. ocamltter < "2.0.1" | = "2.1.1" | >= "4.1.0"
  2155. ocamlviz
  2156. ocamlwc
  2157. ocamlyices
  2158. ocapic >= "3.5"
  2159. ocb
  2160. ocb-stubblr
  2161. ocephes
  2162. ocf >= "0.6.0"
  2163. oci
  2164. oclaunch
  2165. oclock
  2166. ocluster
  2167. ocluster-api
  2168. ocluster-worker
  2169. ocolor >= "1.2.2"
  2170. ocp-browser != "1.3.0"
  2171. ocp-indent = "1.5.2" | >= "1.6.1"
  2172. ocp-indent-nlfork >= "1.5.4"
  2173. ocp-index >= "1.3.3"
  2174. ocp-ocamlres != "0.3"
  2175. ocp-pack-split
  2176. ocp-pp < "1.99.19-beta"
  2177. ocp-reloc
  2178. ocp-search
  2179. ocp_reveal
  2180. ocplib-compat
  2181. ocplib-config
  2182. ocplib-endian != "0.8"
  2183. ocplib-file
  2184. ocplib-json-typed != "0.4"
  2185. ocplib-json-typed-browser
  2186. ocplib-json-typed-bson
  2187. ocplib-resto
  2188. ocplib-simplex
  2189. ocplib_stuff
  2190. ocsfml
  2191. ocsigen-i18n >= "3.5.0"
  2192. ocsigen-start
  2193. ocsigen-toolkit
  2194. ocsigenserver >= "2.12.0"
  2195. ocsipersist-pgsql >= "2.0.0"
  2196. ocsipersist-pgsql-config
  2197. octavius != "1.2.0"
  2198. octez-accuser-Proxford
  2199. octez-accuser-PsParisC
  2200. octez-accuser-PtLimaPt >= "16.0"
  2201. octez-accuser-PtMumbai
  2202. octez-accuser-PtNairob
  2203. octez-accuser-PtParisB
  2204. octez-alcotezt
  2205. octez-baker-Proxford
  2206. octez-baker-PsParisC
  2207. octez-baker-PtLimaPt >= "16.0"
  2208. octez-baker-PtMumbai
  2209. octez-baker-PtNairob
  2210. octez-baker-PtParisB
  2211. octez-bls12-381-hash
  2212. octez-bls12-381-polynomial
  2213. octez-bls12-381-signature
  2214. octez-client >= "16.0"
  2215. octez-codec >= "16.0"
  2216. octez-crawler
  2217. octez-dac-client
  2218. octez-dac-node
  2219. octez-dal-node
  2220. octez-distributed-internal
  2221. octez-distributed-lwt-internal
  2222. octez-injector
  2223. octez-internal-libs
  2224. octez-l2-libs
  2225. octez-libs
  2226. octez-mec
  2227. octez-node >= "16.0"
  2228. octez-node-config
  2229. octez-plompiler
  2230. octez-plonk
  2231. octez-polynomial
  2232. octez-proto-libs
  2233. octez-protocol-000-Ps9mPmXa-libs
  2234. octez-protocol-001-PtCJ7pwo-libs
  2235. octez-protocol-002-PsYLVpVv-libs
  2236. octez-protocol-003-PsddFKi3-libs
  2237. octez-protocol-004-Pt24m4xi-libs
  2238. octez-protocol-005-PsBabyM1-libs
  2239. octez-protocol-006-PsCARTHA-libs
  2240. octez-protocol-007-PsDELPH1-libs
  2241. octez-protocol-008-PtEdo2Zk-libs
  2242. octez-protocol-009-PsFLoren-libs
  2243. octez-protocol-010-PtGRANAD-libs
  2244. octez-protocol-011-PtHangz2-libs
  2245. octez-protocol-012-Psithaca-libs
  2246. octez-protocol-013-PtJakart-libs
  2247. octez-protocol-014-PtKathma-libs
  2248. octez-protocol-015-PtLimaPt-libs
  2249. octez-protocol-016-PtMumbai-libs
  2250. octez-protocol-017-PtNairob-libs
  2251. octez-protocol-018-Proxford-libs
  2252. octez-protocol-019-PtParisB-libs
  2253. octez-protocol-020-PsParisC-libs
  2254. octez-protocol-alpha-libs
  2255. octez-protocol-compiler >= "16.0"
  2256. octez-proxy-server >= "16.0"
  2257. octez-rpc-process
  2258. octez-shell-libs
  2259. octez-signer >= "16.0"
  2260. octez-smart-rollup-client-Proxford
  2261. octez-smart-rollup-client-PtMumbai
  2262. octez-smart-rollup-client-PtNairob
  2263. octez-smart-rollup-node
  2264. octez-smart-rollup-node-alpha
  2265. octez-smart-rollup-node-lib
  2266. octez-smart-rollup-node-Proxford
  2267. octez-smart-rollup-node-PsParisC
  2268. octez-smart-rollup-node-PtMumbai
  2269. octez-smart-rollup-node-PtNairob
  2270. octez-smart-rollup-node-PtParisB
  2271. octez-smart-rollup-wasm-benchmark-lib
  2272. octez-smart-rollup-wasm-debugger
  2273. octez-smart-rollup-wasm-debugger-lib
  2274. octez-smart-rollup-wasm-debugger-plugin
  2275. octez-tx-rollup-client-PtLimaPt >= "16.0"
  2276. octez-tx-rollup-node-PtLimaPt >= "16.0"
  2277. octez-version
  2278. ocurl >= "0.7.6" & < "0.8.0" | >= "0.9.1"
  2279. ocveralls
  2280. odate >= "0.6"
  2281. odbc
  2282. odds < "1.1"
  2283. odep
  2284. odepack >= "0.6.7"
  2285. odig < "0.0.2" | >= "0.0.4"
  2286. odisco
  2287. odnnr
  2288. odoc < "1.3.0" | >= "2.0.2"
  2289. odoc-depgraph
  2290. odoc-parser
  2291. of_json < "v0.17.0"
  2292. offheap
  2293. oframl
  2294. ofx
  2295. ogen != "0.1.2"
  2296. ogg = "0.5.2" | = "0.6.1" | >= "0.7.3"
  2297. ogre < "1.4.0" | >= "2.2.0"
  2298. ohex
  2299. oidc
  2300. ojo
  2301. ojquery
  2302. ojs
  2303. ojs-base < "0.3.0" | >= "0.5.0"
  2304. ojs_base
  2305. ojs_base_ppx
  2306. ojwidgets
  2307. olinq
  2308. ollvm
  2309. ollvm-tapir
  2310. olmi
  2311. oma
  2312. omake >= "0.10.3"
  2313. omd >= "1.3.1"
  2314. ometrics >= "0.2.0"
  2315. omg
  2316. omigrate
  2317. oml < "0.0.5" | >= "0.0.7"
  2318. omlr
  2319. omod
  2320. omtl
  2321. oneffs
  2322. oniguruma
  2323. oolc
  2324. opaca
  2325. opal
  2326. opam-0install
  2327. opam-0install-cudf
  2328. opam-bin >= "0.9.5"
  2329. opam-build
  2330. opam-build-revdeps
  2331. opam-bundle
  2332. opam-check-npm-deps
  2333. opam-ci
  2334. opam-client
  2335. opam-compiler
  2336. opam-core = "2.0.0~beta5" | >= "2.0.0~rc2"
  2337. opam-depext
  2338. opam-devel
  2339. opam-dune-lint
  2340. opam-ed
  2341. opam-file-format
  2342. opam-format
  2343. opam-graph
  2344. opam-grep >= "0.2.0"
  2345. opam-installer
  2346. opam-lib < "0.9.4" | >= "1.0.0"
  2347. opam-lock
  2348. opam-monorepo >= "0.2.3"
  2349. opam-package-upgrade < "0.2"
  2350. opam-publish
  2351. opam-query
  2352. opam-repository
  2353. opam-solver
  2354. opam-spin
  2355. opam-state
  2356. opam-sync-github-prs
  2357. opam-test
  2358. opam2web
  2359. opam_bin_lib
  2360. opamconfig
  2361. opamfind
  2362. opamfu
  2363. opass < "2.15"
  2364. opasswd >= "1.3.1"
  2365. opazl
  2366. open
  2367. open_packaging
  2368. openai
  2369. openai-gym
  2370. opencc
  2371. opencc0
  2372. opencc1
  2373. opencc1_1
  2374. openflow
  2375. openQASM >= "0.4.0"
  2376. openstellina
  2377. opentelemetry
  2378. opentelemetry-client-cohttp-lwt
  2379. opentelemetry-client-ocurl
  2380. opentelemetry-cohttp-lwt
  2381. opentelemetry-lwt
  2382. operf-macro
  2383. operf-micro >= "1.1.1"
  2384. opine
  2385. opium
  2386. opium-graphql
  2387. opium-testing
  2388. opium_kernel
  2389. oplay
  2390. oplot
  2391. oplsr
  2392. opomodoro
  2393. opsian
  2394. optal
  2395. opti
  2396. optimization1d != "0.5.1"
  2397. optiml-transport
  2398. optint
  2399. opus < "0.2.0" | >= "0.2.2"
  2400. oqamldebug
  2401. oraft
  2402. orakuda >= "1.2.0" & < "2.0.0"
  2403. orandforest
  2404. orb
  2405. order-i3-xfce
  2406. ordering
  2407. ordinal
  2408. ordinal_abbreviation < "v0.17.0"
  2409. orec
  2410. orf
  2411. orgeat
  2412. orm >= "0.7.0"
  2413. orocksdb
  2414. orpie >= "1.6.1"
  2415. orrandomForest
  2416. orsetto >= "1.0.2"
  2417. orsvm_e1071
  2418. ortac-core
  2419. ortac-dune
  2420. ortac-qcheck-stm
  2421. ortac-runtime
  2422. ortac-runtime-qcheck-stm
  2423. orun
  2424. orxgboost
  2425. osbx >= "1.2.4"
  2426. osc >= "0.1.4"
  2427. osc-lwt
  2428. osc-unix
  2429. osdp
  2430. oseq >= "0.4.1"
  2431. osh
  2432. osm_xml
  2433. osnap
  2434. ostap
  2435. osx-acl
  2436. osx-attr
  2437. osx-cf
  2438. osx-fsevents
  2439. osx-membership
  2440. osx-mount
  2441. osx-plutil
  2442. osx-secure-transport >= "0.1.1"
  2443. osx-xattr
  2444. otetris
  2445. otf
  2446. otfm
  2447. oth
  2448. otoggl
  2449. otoml
  2450. otr >= "0.3.2"
  2451. ott >= "0.26"
  2452. otto
  2453. ounit >= "2.0.0" & < "2.2.0"
  2454. ounit-lwt < "2.2.0"
  2455. ounit2
  2456. ounit2-lwt
  2457. owee >= "0.4"
  2458. owi < "0.2"
  2459. owl >= "0.3.7" & != "0.6.0"
  2460. owl-base
  2461. owl-jupyter
  2462. owl-ode
  2463. owl-ode-base
  2464. owl-ode-odepack
  2465. owl-ode-sundials
  2466. owl-opt
  2467. owl-opt-lbfgs
  2468. owl-plplot
  2469. owl-top
  2470. owork
  2471. ox
  2472. oxylc
  2473. ozulip
  2474. p4pp
  2475. p5scm >= "0.2.0"
  2476. pa_bench < "113.00.00"
  2477. pa_comprehension
  2478. pa_monad_custom
  2479. pa_ounit < "112.35.00"
  2480. pa_ppx >= "0.09"
  2481. pa_ppx_hashcons >= "0.09"
  2482. pa_ppx_migrate >= "0.09"
  2483. pa_ppx_parsetree
  2484. pa_ppx_q_ast >= "0.09"
  2485. pa_ppx_quotation2extension
  2486. pa_ppx_regexp
  2487. pa_ppx_static
  2488. pa_ppx_string
  2489. pa_ppx_unique >= "0.09"
  2490. pa_qualified
  2491. pa_solution
  2492. pa_test < "112.24.00"
  2493. pa_where
  2494. packet
  2495. packstream
  2496. pacomb
  2497. paf
  2498. paf-cohttp
  2499. paf-le
  2500. pam < "v0.17.0"
  2501. pandoc >= "0.2.0"
  2502. pandoc-abbreviations
  2503. pandoc-replace < "0.2.1"
  2504. parany < "13.0.0" | >= "14.0.0"
  2505. pardi
  2506. pareto >= "0.3"
  2507. pari
  2508. pari-bindings
  2509. parmap >= "1.0-rc11"
  2510. parse-argv
  2511. parsexp >= "v0.9.1" & != "v0.11.0" & != "v0.14.0" & < "v0.17.0"
  2512. parsexp_io >= "v0.9.1" & < "v0.17.0"
  2513. parsite
  2514. parsley
  2515. partition_map
  2516. passage
  2517. passmaker
  2518. passmakercmd
  2519. patch
  2520. patdiff != "113.00.00" & != "113.33.03" & < "v0.17.0"
  2521. path_glob
  2522. patience_diff != "112.24.00" & != "113.33.03" & < "v0.17.0"
  2523. patoline
  2524. patricia-tree
  2525. pattern >= "0.3.0"
  2526. pb
  2527. pb-plugin
  2528. pbkdf
  2529. pbrt
  2530. pbrt_services
  2531. pbrt_yojson
  2532. pbs
  2533. pcap-format < "0.5.0" | >= "0.5.2"
  2534. pcf-format
  2535. pci >= "1.0.1"
  2536. pci-db
  2537. pcre >= "7.1.3"
  2538. pcre2
  2539. pds
  2540. pds-reachability
  2541. pecu
  2542. perf
  2543. petr4
  2544. petrol
  2545. pf-qubes
  2546. pg_query
  2547. pgocaml < "1.7" | >= "2.2" & < "3.1" | >= "4.0"
  2548. pgocaml_ppx
  2549. pgsolver
  2550. pgx
  2551. pgx_async
  2552. pgx_lwt
  2553. pgx_lwt_mirage
  2554. pgx_lwt_unix
  2555. pgx_unix
  2556. pgx_value_core
  2557. pgx_value_ptime
  2558. phantom-algebra
  2559. phashtbl
  2560. phonetic
  2561. piaf < "0.2.0"
  2562. picasso
  2563. picos < "0.5.0"
  2564. picos_aux
  2565. piece_rope
  2566. pilat
  2567. pipebang < "109.09.00"
  2568. piqi < "0.7.0" | >= "0.7.6"
  2569. piqilib
  2570. pixel_pusher
  2571. pkcs11
  2572. pkcs11-cli >= "1.0.1"
  2573. pkcs11-driver
  2574. pkcs11-rev >= "1.0.1"
  2575. pla >= "1.2"
  2576. planck >= "2.2.0"
  2577. planets >= "0.1.14"
  2578. plateau
  2579. plato
  2580. plebeia >= "2.0.0"
  2581. plist < "1.0.0"
  2582. plist-xml
  2583. plotkicadsch < "0.4.0" | >= "0.5.2"
  2584. plotly
  2585. plplot
  2586. podge < "0.4"
  2587. polars
  2588. polka
  2589. poll
  2590. polling_state_rpc < "v0.17.0"
  2591. polly
  2592. polyglot
  2593. pomap >= "4.1.0"
  2594. popper
  2595. portaudio = "0.2.1"
  2596. portaudio_c_bindings
  2597. portia >= "1.1"
  2598. portmidi
  2599. posix-base >= "2.0.2"
  2600. posix-clock
  2601. posix-getopt < "2.0.0"
  2602. posix-math
  2603. posix-mqueue
  2604. posix-semaphore
  2605. posix-time
  2606. posix-types
  2607. posixat >= "v0.10.0" & < "v0.17.0"
  2608. postgres_async < "v0.17.0"
  2609. postgresql
  2610. pp
  2611. pp-binary-ints
  2612. pp_loc
  2613. pprint >= "20171003"
  2614. ppx-owl-opt
  2615. ppx_accessor < "v0.17.0"
  2616. ppx_assert >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  2617. ppx_ast >= "v0.11.0"
  2618. ppx_bap >= "v0.14.0"
  2619. ppx_base < "v0.17.0"
  2620. ppx_bench = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2621. ppx_bin_prot >= "113.24.00" & != "113.33.00" & != "113.33.03" & != "v0.12.0" & < "v0.17.0"
  2622. ppx_bitstring = "1.1.0" | >= "1.3.3"
  2623. ppx_blob >= "0.2"
  2624. ppx_camlrack
  2625. ppx_cold < "v0.17.0"
  2626. ppx_compare = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2627. ppx_compose
  2628. ppx_const >= "2.0"
  2629. ppx_conv_func = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2630. ppx_core >= "v0.9.2"
  2631. ppx_counters
  2632. ppx_css < "v0.17.0"
  2633. ppx_cstruct
  2634. ppx_cstubs = "0.5.1" | >= "0.7.0"
  2635. ppx_csv_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2636. ppx_custom_printf = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & != "v0.12.0" & < "v0.17.0"
  2637. ppx_default
  2638. ppx_defer
  2639. ppx_demo < "v0.17.0"
  2640. ppx_derive_at_runtime < "v0.17.0"
  2641. ppx_derivers
  2642. ppx_deriving >= "5.2"
  2643. ppx_deriving_argparse
  2644. ppx_deriving_cad
  2645. ppx_deriving_cmdliner >= "0.5.1"
  2646. ppx_deriving_crowbar
  2647. ppx_deriving_encoding
  2648. ppx_deriving_hardcaml
  2649. ppx_deriving_jsoo
  2650. ppx_deriving_madcast
  2651. ppx_deriving_morphism != "0.4"
  2652. ppx_deriving_popper
  2653. ppx_deriving_protobuf = "2.4" | >= "3.0.0"
  2654. ppx_deriving_protocol
  2655. ppx_deriving_qcheck >= "0.2.0"
  2656. ppx_deriving_rpc >= "6.1.0"
  2657. ppx_deriving_scad
  2658. ppx_deriving_variant_string
  2659. ppx_deriving_yaml
  2660. ppx_deriving_yojson < "2.0" | >= "3.5.3"
  2661. ppx_disable_unused_warnings < "v0.17.0"
  2662. ppx_distr_guards < "0.3"
  2663. ppx_dotbracket
  2664. ppx_dream_eml
  2665. ppx_driver = "113.24.00" | >= "113.33.00+4.03" & < "113.33.03" | >= "v0.9.2"
  2666. ppx_enumerate = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2667. ppx_expect != "113.33.00" & != "113.33.01" & != "113.33.03" & < "v0.17.0"
  2668. ppx_factory != "0.1.0"
  2669. ppx_fail = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0"
  2670. ppx_fields_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2671. ppx_fixed_literal < "v0.17.0"
  2672. ppx_fun < "0.0.9"
  2673. ppx_gen_rec
  2674. ppx_getenv >= "2.0"
  2675. ppx_globalize < "v0.17.0"
  2676. ppx_graphql
  2677. ppx_hardcaml < "v0.17.0"
  2678. ppx_hash < "v0.17.0"
  2679. ppx_here >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  2680. ppx_ignore_instrumentation < "v0.17.0"
  2681. ppx_import >= "1.7.1" & != "1.9.0"
  2682. ppx_inline_alcotest
  2683. ppx_inline_test = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2684. ppx_integer
  2685. ppx_interact
  2686. ppx_irmin < "2.4.0" | >= "3.0.0"
  2687. ppx_jane != "113.33.03" & < "v0.17.0"
  2688. ppx_js_style != "v0.14.0" & < "v0.17.0"
  2689. ppx_jsobject_conv >= "0.2.1" & < "0.6.0" | >= "0.9.0"
  2690. ppx_jsonaf_conv < "v0.17.0"
  2691. ppx_let != "113.33.00" & != "113.33.03" & < "v0.17.0"
  2692. ppx_log < "v0.17.0"
  2693. ppx_lun
  2694. ppx_matches
  2695. ppx_meta_conv >= "4.0.0" & < "4.1.0"
  2696. ppx_metaquot
  2697. ppx_minidebug
  2698. ppx_module_timer < "v0.17.0"
  2699. ppx_monad >= "0.2.0"
  2700. ppx_monadic >= "1.0.4"
  2701. ppx_monoid != "0.2"
  2702. ppx_mysql
  2703. ppx_mysql_identity
  2704. ppx_nanocaml
  2705. ppx_netblob >= "1.1"
  2706. ppx_optcomp = "113.24.00" | = "113.33.01+4.03" | >= "v0.9.0" & < "v0.17.0"
  2707. ppx_optint
  2708. ppx_optional < "v0.17.0"
  2709. ppx_orakuda = "3.0.1" | = "3.1.0" | >= "3.3.0"
  2710. ppx_overload >= "1.4"
  2711. ppx_parser
  2712. ppx_partial
  2713. ppx_pattern_bind < "v0.17.0"
  2714. ppx_pipebang = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2715. ppx_poly_record >= "1.1.1"
  2716. ppx_protocol_conv
  2717. ppx_protocol_conv_json
  2718. ppx_protocol_conv_jsonm
  2719. ppx_protocol_conv_msgpack
  2720. ppx_protocol_conv_xml_light
  2721. ppx_protocol_conv_xmlm
  2722. ppx_protocol_conv_yaml
  2723. ppx_pyformat
  2724. ppx_python < "v0.17.0"
  2725. ppx_rapper
  2726. ppx_rapper_async
  2727. ppx_rapper_lwt
  2728. ppx_regexp >= "0.3.0"
  2729. ppx_seq
  2730. ppx_sexp_conv >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  2731. ppx_sexp_message != "113.33.00" & != "113.33.03" & < "v0.17.0"
  2732. ppx_sexp_value = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2733. ppx_sqlexpr
  2734. ppx_stable < "v0.17.0"
  2735. ppx_stable_witness < "v0.17.0"
  2736. ppx_string < "v0.17.0"
  2737. ppx_string_interpolation
  2738. ppx_system
  2739. ppx_test >= "1.4.0"
  2740. ppx_there
  2741. ppx_tools >= "6.5"
  2742. ppx_tools_versioned >= "5.2.2"
  2743. ppx_trace
  2744. ppx_traverse
  2745. ppx_traverse_builtins
  2746. ppx_ts
  2747. ppx_tydi < "v0.17.0"
  2748. ppx_type_conv = "113.24.00" | >= "113.33.00+4.03" & != "113.33.03"
  2749. ppx_type_directed_value
  2750. ppx_typed_fields < "v0.17.0"
  2751. ppx_typerep_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2752. ppx_tyre
  2753. ppx_units
  2754. ppx_update
  2755. ppx_variants_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.17.0"
  2756. ppx_wideopen
  2757. ppx_xml_conv >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  2758. ppx_yojson
  2759. ppx_yojson_conv < "v0.17.0"
  2760. ppx_yojson_conv_lib < "v0.17.0"
  2761. ppxfind
  2762. ppxlib >= "0.12.0" & < "0.14.0" | = "0.24.0" | >= "0.25.0"
  2763. ppxx >= "2.5.0"
  2764. pratter
  2765. prbnmcn-basic-structures
  2766. prbnmcn-cgrph
  2767. prbnmcn-clustering
  2768. prbnmcn-gnuplot
  2769. prbnmcn-linalg
  2770. prbnmcn-mcts
  2771. prbnmcn-proptest
  2772. prbnmcn-stats
  2773. prbnmcn-ucb1 >= "0.0.2"
  2774. preface
  2775. prelude
  2776. prettiest
  2777. pretty_expressive
  2778. prettym
  2779. primes
  2780. pringo
  2781. printbox
  2782. printbox-text < "0.8"
  2783. prob-cache
  2784. proc-smaps
  2785. process
  2786. process_limits
  2787. processor
  2788. producer
  2789. prof_spacetime
  2790. profiler-plugin
  2791. profiling
  2792. profunctor < "v0.17.0"
  2793. progress
  2794. proj4 >= "0.9.2"
  2795. prom
  2796. promela
  2797. prometheus
  2798. prometheus-app
  2799. promise
  2800. promise_jsoo
  2801. promise_jsoo_lwt
  2802. prooftree
  2803. protobuf
  2804. protocell
  2805. protocol-9p
  2806. protocol-9p-tool
  2807. protocol-9p-unix
  2808. protocol_version_header < "v0.17.0"
  2809. proverif >= "1.97pl3"
  2810. prr
  2811. psmt2-frontend
  2812. psq
  2813. psyche
  2814. ptime >= "0.8.1"
  2815. ptmap < "2.0.1" | >= "2.0.5"
  2816. ptset >= "1.0.1"
  2817. publish
  2818. pulseaudio < "0.1.4"
  2819. pumping
  2820. pure-splitmix < "0.3"
  2821. pvec
  2822. pvem
  2823. pvem_lwt_unix
  2824. pxp != "1.2.8"
  2825. py
  2826. pyast
  2827. pyml < "20171117" | >= "20200518"
  2828. pyml_bindgen
  2829. pythonlib != "v0.15.0" & < "v0.16.0"
  2830. qbf
  2831. qcheck >= "0.3" & < "0.5" | >= "0.5.2"
  2832. qcheck-alcotest
  2833. qcheck-core
  2834. qcheck-lin >= "0.2"
  2835. qcheck-multicoretests-util >= "0.2"
  2836. qcheck-ounit
  2837. qcheck-stm >= "0.2"
  2838. qcow < "0.8.1" | >= "0.10.0"
  2839. qcow-format
  2840. qcow-tool
  2841. qcstm
  2842. qfs >= "0.12"
  2843. qinap
  2844. qiskit
  2845. qmp
  2846. qocamlbrowser = "0.2.11"
  2847. qrc
  2848. qrencode >= "0.2"
  2849. qtest >= "2.7"
  2850. queenshead
  2851. quest
  2852. quests
  2853. quick_print
  2854. quickcheck != "1.0.0"
  2855. r2pipe
  2856. radamsa
  2857. radare2 >= "0.0.2"
  2858. randii
  2859. random
  2860. randomconv
  2861. range
  2862. ranger >= "0.1.0"
  2863. rangeSet
  2864. rashell
  2865. rawlink >= "0.6"
  2866. rawlink-lwt
  2867. raygun4ocaml
  2868. rdbg >= "1.175"
  2869. rdf >= "0.5" & < "0.7.0" | = "0.11.0"
  2870. rdr < "2.0.1"
  2871. re >= "1.3.0"
  2872. re2 < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.17.0"
  2873. re2_stable
  2874. re_parser < "v0.17.0"
  2875. rea
  2876. react = "1.0.0" | >= "1.2.1"
  2877. reactiveData
  2878. reactjs-jsx-ppx
  2879. readline
  2880. reanalyze >= "2.23.0"
  2881. reason >= "3.8.0"
  2882. reason-react != "0.13.0"
  2883. reason-react-ppx < "0.13.0" | >= "0.14.1"
  2884. reason-standard
  2885. receive-mail
  2886. received
  2887. record_builder < "v0.17.0"
  2888. records != "0.6.0"
  2889. red-black-tree
  2890. redirect >= "0.1.1"
  2891. redis >= "0.3.6"
  2892. redis-async < "v0.17.0"
  2893. redis-lwt >= "0.3.6"
  2894. redis-sync >= "0.3.6"
  2895. reed-solomon-erasure
  2896. reedsolomon
  2897. refl >= "0.3.0"
  2898. regenerate
  2899. regex_parser_intf < "v0.17.0"
  2900. regular >= "1.2.0" & < "1.4.0" | >= "2.2.0"
  2901. remu_ts
  2902. reparse
  2903. reparse-lwt
  2904. reparse-lwt-unix
  2905. reparse-unix
  2906. repr
  2907. res >= "4.0.7"
  2908. res_tailwindcss
  2909. rescript-syntax
  2910. reshowcase
  2911. resource-pooling
  2912. resource_cache < "v0.17.0"
  2913. resp
  2914. resp-client
  2915. resp-mirage
  2916. resp-server
  2917. resp-unix
  2918. resto
  2919. resto-acl
  2920. resto-cohttp
  2921. resto-cohttp-client
  2922. resto-cohttp-self-serving-client
  2923. resto-cohttp-server
  2924. resto-directory
  2925. resto-json
  2926. result >= "1.5"
  2927. revops
  2928. rfc1951
  2929. rfc6287 != "1.0.2"
  2930. rfc7748
  2931. rfsm < "2.0"
  2932. rhythm
  2933. riak
  2934. riak-pb
  2935. riakc
  2936. riakc_ppx != "3.1.2"
  2937. ringo
  2938. ringo-lwt
  2939. river
  2940. rlp
  2941. rml >= "1.09.00" & != "1.09.04"
  2942. rmlbuild >= "0.14.0-00"
  2943. rock
  2944. root1d != "0.3"
  2945. rope >= "0.6" & < "0.6.3"
  2946. rosa
  2947. rosetta
  2948. routes
  2949. rpc < "1.3.0" | >= "5.9.0"
  2950. rpc_parallel >= "113.24.00" & != "113.33.03" & < "v0.17.0"
  2951. rpclib != "6.0.0"
  2952. rpclib-async != "6.0.0"
  2953. rpclib-html
  2954. rpclib-js
  2955. rpclib-lwt != "6.0.0"
  2956. rpmfile
  2957. rpmfile-unix
  2958. rresult >= "0.4.0"
  2959. rsdd
  2960. rss
  2961. rtop >= "3.8.0"
  2962. rtree
  2963. rubytt
  2964. rungen
  2965. Snowflake
  2966. SourceCode_ASCII
  2967. SZXX < "4.0.0"
  2968. safa
  2969. safemoney
  2970. safepass >= "2.0"
  2971. sail < "0.15"
  2972. sail_manifest >= "0.18"
  2973. salsa20
  2974. salsa20-core
  2975. samplerate < "0.1.5"
  2976. sanddb
  2977. sarek >= "20210823"
  2978. sarif
  2979. satex
  2980. satML-plugin
  2981. sattools
  2982. saturn
  2983. saturn_lockfree
  2984. satyrographos
  2985. sawja != "1.5.2"
  2986. scad_ml
  2987. scfg
  2988. scgi
  2989. schroedinger
  2990. scid
  2991. scipy
  2992. scrypt
  2993. scrypt-kdf
  2994. search
  2995. searchTree
  2996. secp256k1
  2997. secp256k1-internal
  2998. sedlex >= "1.99.4"
  2999. sek
  3000. sel
  3001. selective
  3002. semantic_version < "v0.17.0"
  3003. semver
  3004. semver2
  3005. sendmail
  3006. sendmail-lwt
  3007. sendmsg
  3008. sentry
  3009. seq >= "0.2.2"
  3010. seqes
  3011. sequence < "0.3"
  3012. sequencer_table < "v0.17.0"
  3013. serde < "0.0.2"
  3014. serde_debug
  3015. serde_derive < "0.0.2"
  3016. serde_json < "0.0.2"
  3017. serde_sexpr
  3018. serde_xml
  3019. serial
  3020. session
  3021. session-cohttp
  3022. session-cohttp-async
  3023. session-cohttp-lwt
  3024. session-cookie
  3025. session-cookie-async
  3026. session-cookie-lwt
  3027. session-postgresql
  3028. session-postgresql-async
  3029. session-postgresql-lwt
  3030. session-redis-lwt
  3031. session-webmachine
  3032. sessions
  3033. setcore
  3034. setr
  3035. sexp < "v0.17.0"
  3036. sexp_decode
  3037. sexp_diff < "v0.17.0"
  3038. sexp_diff_kernel
  3039. sexp_grammar < "v0.17.0"
  3040. sexp_macro < "v0.17.0"
  3041. sexp_pretty < "v0.17.0"
  3042. sexp_select < "v0.17.0"
  3043. sexp_string_quickcheck < "v0.17.0"
  3044. sexplib >= "v0.9.3" & < "v0.17.0"
  3045. sexplib0
  3046. sfml >= "0.09.2"
  3047. sgf
  3048. sha >= "1.10"
  3049. shades
  3050. shapefile
  3051. shared-block-ring < "2.3.0" | >= "3.0.0"
  3052. shared-memory-ring < "1.2.0" | >= "3.0.0"
  3053. shared-memory-ring-lwt
  3054. shared-secret
  3055. shcaml >= "0.2.1"
  3056. shell < "v0.17.0"
  3057. sherlodoc
  3058. shexp < "v0.11.0" | >= "v0.12.0" & < "v0.17.0"
  3059. shine
  3060. shuttle
  3061. shuttle_http < "0.8.1" | >= "0.10.0" & < "0.12.0"
  3062. shuttle_ssl
  3063. sibylfs
  3064. sid
  3065. sifun
  3066. signal
  3067. sihl
  3068. sihl-cache
  3069. sihl-contract
  3070. sihl-core
  3071. sihl-email
  3072. sihl-facade
  3073. sihl-persistence
  3074. sihl-queue
  3075. sihl-session
  3076. sihl-storage
  3077. sihl-token
  3078. sihl-type
  3079. sihl-user
  3080. sihl-web
  3081. sill
  3082. simlog
  3083. simple-diff
  3084. simple63
  3085. simple_pam
  3086. sitemap
  3087. sklearn
  3088. slack-backup
  3089. slacko >= "0.11.0" & < "0.15.0"
  3090. slipshow
  3091. slug
  3092. smart-print
  3093. smbc
  3094. smol
  3095. smol-helpers
  3096. smtlib-utils
  3097. smtml
  3098. smtp
  3099. snabela
  3100. snappy < "0.1.0" | >= "0.1.2"
  3101. so
  3102. socialpeek
  3103. sociaml-facebook-api < "0.4.1"
  3104. sociaml-oauth-client
  3105. sociaml-tumblr-api
  3106. sociaml-vcard
  3107. socket-daemon
  3108. socketcan >= "0.8.12-0"
  3109. sodium != "0.2.0"
  3110. sodium-fmt
  3111. solid
  3112. solid_server
  3113. solid_tools
  3114. solidity-alcotest
  3115. solidity-common
  3116. solidity-parser
  3117. solidity-test
  3118. solidity-typechecker
  3119. solo5-elftool
  3120. solo5-kernel-muen
  3121. solo5-kernel-ukvm
  3122. solo5-kernel-virtio
  3123. sortedseq_intersect
  3124. sosa >= "0.2.0"
  3125. soundtouch
  3126. soupault
  3127. space-search
  3128. spacetime_lib >= "0.3.0"
  3129. spatial_index
  3130. spawn
  3131. spdiff
  3132. spdx_licenses
  3133. spectrum
  3134. speex != "0.4.0"
  3135. spelll = "0.2" | >= "0.4"
  3136. spf >= "2.0.2"
  3137. spin
  3138. spirv
  3139. splay_tree < "v0.17.0"
  3140. splittable_random < "v0.17.0"
  3141. spoc >= "20210823"
  3142. spoc_ppx
  3143. spoke
  3144. spotify-cli >= "0.3.0"
  3145. spotify-web-api < "0.2.1"
  3146. spotify_ml
  3147. spotinstall
  3148. spotlib = "4.0.2" | >= "4.2.0"
  3149. spreadsheet
  3150. spreadsheetml
  3151. sqids
  3152. sqlexpr < "0.7.1" | >= "0.9.0"
  3153. sqlgg >= "0.4.4"
  3154. sqlite3
  3155. sqlite3_utils
  3156. squirrel
  3157. srs >= "2.0.0"
  3158. srt < "0.1.1"
  3159. ssh-agent
  3160. ssh-agent-unix
  3161. ssl >= "0.5.4"
  3162. sslconf
  3163. starpath
  3164. starred_ml
  3165. starterkit
  3166. stationary
  3167. statmemprof-emacs
  3168. statverif >= "1.97pl1.1"
  3169. stb_image
  3170. stb_image_write
  3171. stb_truetype
  3172. stdcompat < "2" | >= "15"
  3173. stdint
  3174. stdio >= "v0.9.1" & < "v0.17.0"
  3175. stdlib-random
  3176. stdlib-shims
  3177. stdune
  3178. stemmer
  3179. stemming >= "0.2.1"
  3180. stitch
  3181. stk < "0.2.0"
  3182. stog >= "0.15.0" & < "0.19.0"
  3183. stog-rdf
  3184. stog-writing
  3185. stone >= "0.5.1"
  3186. store
  3187. stored_reversed < "v0.17.0"
  3188. stramon-lib
  3189. streamable < "v0.17.0"
  3190. streaming
  3191. string_dict < "v0.17.0"
  3192. stringCodepointSplitter
  3193. stringext >= "1.2.0"
  3194. sturgeon
  3195. subscriptions-transport-ws
  3196. subtype-refinement
  3197. sugar
  3198. sun
  3199. sundialsml >= "6.1.1p1"
  3200. swagger
  3201. swhid
  3202. swhid_compute
  3203. swhid_core
  3204. swhid_types
  3205. swipl
  3206. symkat
  3207. syncweb
  3208. syndic >= "1.2"
  3209. sys-socket
  3210. sys-socket-unix
  3211. syslog >= "2.0.0"
  3212. syslog-message
  3213. syslog-rfc5424
  3214. systemverilog < "0.0.2"
  3215. TCSLib
  3216. tablecloth-base
  3217. tablecloth-native != "0.0.8"
  3218. tabr
  3219. taglib = "0.3.6" | >= "0.3.8"
  3220. taglog < "0.2.0"
  3221. talaria-bibtex
  3222. tallgeese
  3223. tar >= "0.9.0"
  3224. tar-eio < "3.0.0"
  3225. tar-mirage >= "2.0.0"
  3226. tar-unix >= "0.9.0"
  3227. tcalc
  3228. tcpip < "3.0.0" | >= "3.3.1"
  3229. tcx
  3230. tdigest
  3231. tdk >= "0.1.1"
  3232. telegraml
  3233. telemetry
  3234. telltime
  3235. tensorboard
  3236. tensorflow != "0.0.10"
  3237. term-indexing
  3238. termbox
  3239. terminal
  3240. terminal_size
  3241. terminus
  3242. testrunner
  3243. testu01
  3244. text >= "0.8.0"
  3245. text-tags < "1.4.0" | >= "2.2.0"
  3246. textmate-language
  3247. textrazor
  3248. textutils != "112.17.00" & != "113.33.03" & < "v0.17.0"
  3249. textutils_kernel < "v0.17.0"
  3250. textwrap >= "0.2"
  3251. tezos-baking-015-PtLimaPt >= "16.0"
  3252. tezos-baking-015-PtLimaPt-commands >= "16.0"
  3253. tezos-baking-016-PtMumbai
  3254. tezos-baking-016-PtMumbai-commands
  3255. tezos-baking-017-PtNairob
  3256. tezos-baking-017-PtNairob-commands
  3257. tezos-baking-alpha >= "16.0"
  3258. tezos-baking-alpha-commands >= "16.0"
  3259. tezos-base >= "16.0"
  3260. tezos-base-test-helpers >= "16.0"
  3261. tezos-benchmark
  3262. tezos-bls12-381-polynomial
  3263. tezos-clic >= "16.0"
  3264. tezos-client-000-Ps9mPmXa >= "16.0"
  3265. tezos-client-001-PtCJ7pwo >= "16.0"
  3266. tezos-client-002-PsYLVpVv >= "16.0"
  3267. tezos-client-003-PsddFKi3 >= "16.0"
  3268. tezos-client-004-Pt24m4xi >= "16.0"
  3269. tezos-client-005-PsBabyM1 >= "16.0"
  3270. tezos-client-006-PsCARTHA >= "16.0"
  3271. tezos-client-007-PsDELPH1 >= "16.0"
  3272. tezos-client-008-PtEdo2Zk >= "16.0"
  3273. tezos-client-009-PsFLoren >= "16.0"
  3274. tezos-client-010-PtGRANAD >= "16.0"
  3275. tezos-client-011-PtHangz2 >= "16.0"
  3276. tezos-client-012-Psithaca >= "16.0"
  3277. tezos-client-013-PtJakart >= "16.0"
  3278. tezos-client-014-PtKathma >= "16.0"
  3279. tezos-client-015-PtLimaPt >= "16.0"
  3280. tezos-client-016-PtMumbai
  3281. tezos-client-017-PtNairob
  3282. tezos-client-alpha >= "16.0"
  3283. tezos-client-base >= "16.0"
  3284. tezos-client-base-unix >= "16.0"
  3285. tezos-client-commands >= "16.0"
  3286. tezos-client-demo-counter >= "16.0"
  3287. tezos-client-genesis >= "16.0"
  3288. tezos-context >= "16.0"
  3289. tezos-context-ops >= "16.0"
  3290. tezos-crypto >= "16.0"
  3291. tezos-crypto-dal >= "16.0"
  3292. tezos-dac-client-lib
  3293. tezos-dac-lib
  3294. tezos-dac-node-lib
  3295. tezos-dal-node-lib
  3296. tezos-dal-node-services
  3297. tezos-embedded-protocol-000-Ps9mPmXa >= "16.0"
  3298. tezos-embedded-protocol-001-PtCJ7pwo >= "16.0"
  3299. tezos-embedded-protocol-002-PsYLVpVv >= "16.0"
  3300. tezos-embedded-protocol-003-PsddFKi3 >= "16.0"
  3301. tezos-embedded-protocol-004-Pt24m4xi >= "16.0"
  3302. tezos-embedded-protocol-005-PsBABY5H >= "16.0"
  3303. tezos-embedded-protocol-005-PsBabyM1 >= "16.0"
  3304. tezos-embedded-protocol-006-PsCARTHA >= "16.0"
  3305. tezos-embedded-protocol-007-PsDELPH1 >= "16.0"
  3306. tezos-embedded-protocol-008-PtEdo2Zk >= "16.0"
  3307. tezos-embedded-protocol-008-PtEdoTez >= "16.0"
  3308. tezos-embedded-protocol-009-PsFLoren >= "16.0"
  3309. tezos-embedded-protocol-010-PtGRANAD >= "16.0"
  3310. tezos-embedded-protocol-011-PtHangz2 >= "16.0"
  3311. tezos-embedded-protocol-012-Psithaca >= "16.0"
  3312. tezos-embedded-protocol-013-PtJakart >= "16.0"
  3313. tezos-embedded-protocol-014-PtKathma >= "16.0"
  3314. tezos-embedded-protocol-015-PtLimaPt >= "16.0"
  3315. tezos-embedded-protocol-016-PtMumbai
  3316. tezos-embedded-protocol-017-PtNairob
  3317. tezos-embedded-protocol-alpha >= "16.0"
  3318. tezos-embedded-protocol-demo-counter >= "16.0"
  3319. tezos-embedded-protocol-demo-noops >= "16.0"
  3320. tezos-embedded-protocol-genesis >= "16.0"
  3321. tezos-error-monad >= "13.0"
  3322. tezos-event-logging >= "16.0"
  3323. tezos-event-logging-test-helpers >= "16.0"
  3324. tezos-hacl
  3325. tezos-hacl-glue
  3326. tezos-injector-015-PtLimaPt >= "16.0"
  3327. tezos-injector-016-PtMumbai
  3328. tezos-layer2-store
  3329. tezos-layer2-utils-016-PtMumbai
  3330. tezos-layer2-utils-017-PtNairob
  3331. tezos-lazy-containers
  3332. tezos-lwt-result-stdlib >= "11.0"
  3333. tezos-micheline >= "16.0"
  3334. tezos-mockup >= "16.0"
  3335. tezos-mockup-commands >= "16.0"
  3336. tezos-mockup-proxy >= "16.0"
  3337. tezos-mockup-registration >= "16.0"
  3338. tezos-openapi >= "20.1"
  3339. tezos-p2p >= "16.0"
  3340. tezos-p2p-services >= "16.0"
  3341. tezos-plompiler
  3342. tezos-plonk
  3343. tezos-protocol-000-Ps9mPmXa >= "16.0"
  3344. tezos-protocol-001-PtCJ7pwo >= "16.0"
  3345. tezos-protocol-002-PsYLVpVv >= "16.0"
  3346. tezos-protocol-003-PsddFKi3 >= "16.0"
  3347. tezos-protocol-004-Pt24m4xi >= "16.0"
  3348. tezos-protocol-005-PsBABY5H >= "16.0"
  3349. tezos-protocol-005-PsBabyM1 >= "16.0"
  3350. tezos-protocol-006-PsCARTHA >= "16.0"
  3351. tezos-protocol-007-PsDELPH1 >= "16.0"
  3352. tezos-protocol-008-PtEdo2Zk >= "16.0"
  3353. tezos-protocol-008-PtEdoTez >= "16.0"
  3354. tezos-protocol-009-PsFLoren >= "16.0"
  3355. tezos-protocol-010-PtGRANAD >= "16.0"
  3356. tezos-protocol-011-PtHangz2 >= "16.0"
  3357. tezos-protocol-012-Psithaca >= "16.0"
  3358. tezos-protocol-013-PtJakart >= "16.0"
  3359. tezos-protocol-014-PtKathma >= "16.0"
  3360. tezos-protocol-015-PtLimaPt >= "16.0"
  3361. tezos-protocol-016-PtMumbai
  3362. tezos-protocol-017-PtNairob
  3363. tezos-protocol-018-Proxford
  3364. tezos-protocol-019-PtParisB
  3365. tezos-protocol-020-PsParisC
  3366. tezos-protocol-alpha >= "16.0"
  3367. tezos-protocol-compiler >= "14.0"
  3368. tezos-protocol-demo-counter >= "16.0"
  3369. tezos-protocol-demo-noops >= "16.0"
  3370. tezos-protocol-environment >= "13.0"
  3371. tezos-protocol-environment-packer
  3372. tezos-protocol-environment-sigs < "8.0" | >= "9.0"
  3373. tezos-protocol-genesis >= "16.0"
  3374. tezos-protocol-plugin-007-PsDELPH1 >= "16.0"
  3375. tezos-protocol-plugin-007-PsDELPH1-registerer >= "16.0"
  3376. tezos-protocol-plugin-008-PtEdo2Zk >= "16.0"
  3377. tezos-protocol-plugin-008-PtEdo2Zk-registerer >= "16.0"
  3378. tezos-protocol-plugin-009-PsFLoren >= "16.0"
  3379. tezos-protocol-plugin-009-PsFLoren-registerer >= "16.0"
  3380. tezos-protocol-plugin-010-PtGRANAD >= "16.0"
  3381. tezos-protocol-plugin-010-PtGRANAD-registerer >= "16.0"
  3382. tezos-protocol-plugin-011-PtHangz2 >= "16.0"
  3383. tezos-protocol-plugin-011-PtHangz2-registerer >= "16.0"
  3384. tezos-protocol-plugin-012-Psithaca >= "16.0"
  3385. tezos-protocol-plugin-012-Psithaca-registerer >= "16.0"
  3386. tezos-protocol-plugin-013-PtJakart >= "16.0"
  3387. tezos-protocol-plugin-013-PtJakart-registerer >= "16.0"
  3388. tezos-protocol-plugin-014-PtKathma >= "16.0"
  3389. tezos-protocol-plugin-014-PtKathma-registerer >= "16.0"
  3390. tezos-protocol-plugin-015-PtLimaPt >= "16.0"
  3391. tezos-protocol-plugin-015-PtLimaPt-registerer >= "16.0"
  3392. tezos-protocol-plugin-016-PtMumbai
  3393. tezos-protocol-plugin-016-PtMumbai-registerer
  3394. tezos-protocol-plugin-017-PtNairob
  3395. tezos-protocol-plugin-017-PtNairob-registerer
  3396. tezos-protocol-plugin-alpha >= "16.0"
  3397. tezos-protocol-plugin-alpha-registerer >= "16.0"
  3398. tezos-protocol-updater >= "16.0"
  3399. tezos-proxy >= "16.0"
  3400. tezos-proxy-server-config >= "16.0"
  3401. tezos-requester >= "16.0"
  3402. tezos-rpc >= "16.0"
  3403. tezos-rpc-http >= "16.0"
  3404. tezos-rpc-http-client >= "16.0"
  3405. tezos-rpc-http-client-unix >= "16.0"
  3406. tezos-rpc-http-server >= "16.0"
  3407. tezos-sapling >= "16.0"
  3408. tezos-scoru-wasm >= "16.0"
  3409. tezos-scoru-wasm-fast
  3410. tezos-scoru-wasm-helpers
  3411. tezos-shell >= "16.0"
  3412. tezos-shell-context >= "16.0"
  3413. tezos-shell-services >= "16.0"
  3414. tezos-shell-services-test-helpers >= "16.0"
  3415. tezos-signer-backends >= "16.0"
  3416. tezos-signer-services >= "16.0"
  3417. tezos-smart-rollup-016-PtMumbai
  3418. tezos-smart-rollup-017-PtNairob
  3419. tezos-smart-rollup-alpha
  3420. tezos-smart-rollup-layer2-016-PtMumbai
  3421. tezos-smart-rollup-layer2-017-PtNairob
  3422. tezos-stdlib
  3423. tezos-stdlib-unix >= "16.0"
  3424. tezos-store >= "16.0"
  3425. tezos-test-helpers
  3426. tezos-test-helpers-extra
  3427. tezos-tooling < "13.0"
  3428. tezos-tree-encoding >= "16.0"
  3429. tezos-tx-rollup-015-PtLimaPt >= "16.0"
  3430. tezos-validation >= "16.0"
  3431. tezos-version < "8.0" | >= "16.0"
  3432. tezos-wasmer
  3433. tezos-webassembly-interpreter >= "15.0"
  3434. tezos-webassembly-interpreter-extra
  3435. tezos-workers >= "16.0"
  3436. tezt
  3437. tezt-bam
  3438. tezt-performance-regression
  3439. tezt-tezos
  3440. tftp
  3441. tgls != "0.8.3"
  3442. theora < "0.4.0"
  3443. thread-local-storage
  3444. thread-table
  3445. thrift >= "0.10.0"
  3446. tidy
  3447. tidy_email
  3448. tidy_email_mailgun
  3449. tidy_email_sendgrid
  3450. tidy_email_smtp
  3451. tilde_f < "v0.17.0"
  3452. time_now < "v0.17.0"
  3453. timed
  3454. timedesc
  3455. timedesc-json
  3456. timedesc-sexp
  3457. timedesc-tzdb
  3458. timedesc-tzlocal
  3459. timedesc-tzlocal-js
  3460. timere
  3461. timere-parse
  3462. timezone < "v0.17.0"
  3463. timmy
  3464. tiny_httpd
  3465. tiny_httpd_camlzip < "0.15"
  3466. tiny_json >= "1.1.5"
  3467. tiny_json_conv < "1.4.0"
  3468. tip-parser < "0.5"
  3469. tjr_simple_earley
  3470. tls >= "0.12.6"
  3471. tls-async
  3472. tls-lwt
  3473. tls-mirage
  3474. tlstunnel
  3475. toc
  3476. tofn
  3477. togglelog
  3478. toml >= "5.0.0"
  3479. toml-cconv
  3480. toml_cconv
  3481. tophide >= "1.0.4"
  3482. topkg >= "1.0.3"
  3483. topkg-care
  3484. topkg-jbuilder
  3485. toplevel_backend < "v0.17.0"
  3486. toplevel_expect_test < "113.33.02" | >= "v0.9.2" & < "v0.12.0" | >= "v0.12.2" & < "v0.17.0"
  3487. topojson
  3488. topological_sort < "v0.17.0"
  3489. topology
  3490. torch < "v0.17.0"
  3491. touist
  3492. tplib
  3493. tptp >= "0.3.2"
  3494. tqdm
  3495. trace
  3496. trace-fuchsia
  3497. trace-tef
  3498. tracing < "v0.17.0"
  3499. tracy-client
  3500. traildb
  3501. traits
  3502. trakeva
  3503. trampoline
  3504. transept
  3505. transmission-rpc
  3506. traverse >= "0.3.0"
  3507. travesty < "0.6.0" | >= "0.6.2" & < "0.8.0"
  3508. travis-opam
  3509. trax
  3510. tree_layout
  3511. treeprint >= "2.1.1"
  3512. trie
  3513. tsdl < "0.8.1" | >= "0.9.1"
  3514. tsdl-image
  3515. tsdl-mixer
  3516. tsdl-ttf
  3517. tsort
  3518. ttweetnacl
  3519. tuareg
  3520. tube
  3521. tuntap >= "1.3.0"
  3522. twirp_cohttp_lwt_unix
  3523. twirp_core
  3524. twirp_ezcurl
  3525. twirp_tiny_httpd
  3526. twostep
  3527. tyabt
  3528. type-beat
  3529. type_conv >= "113.00.02"
  3530. type_eq
  3531. type_id
  3532. typebeat
  3533. typehashlib
  3534. typeid
  3535. typerep < "112.35.00" | = "113.24.00" | >= "v0.9.0" & < "v0.17.0"
  3536. typerep_extended != "113.00.00" & != "113.33.03"
  3537. typerex-attic >= "1.0.2"
  3538. typerex-binutils
  3539. typerex-clibs
  3540. typerex-lldb >= "1.1"
  3541. typerex-system
  3542. typeset
  3543. tyre
  3544. tyxml < "3.0.0" | >= "3.3.0" & != "4.1.0"
  3545. tyxml-jsx
  3546. tyxml-lwd < "0.2"
  3547. tyxml-ppx
  3548. tyxml-syntax
  3549. u2f
  3550. ubase
  3551. ubpf
  3552. ucaml
  3553. uchar >= "0.0.2"
  3554. uecc >= "0.3"
  3555. uint >= "1.2.1"
  3556. ulex >= "1.2"
  3557. ulex-camlp5
  3558. um-abt < "0.1.5"
  3559. unidecode
  3560. unionFind
  3561. unison >= "2.51.4"
  3562. universo
  3563. unix-dirent
  3564. unix-errno
  3565. unix-sys-resource
  3566. unix-sys-stat
  3567. unix-time
  3568. unix-type-representations
  3569. unix-unistd
  3570. unmagic
  3571. unstrctrd
  3572. uri >= "1.3.13" & < "1.9.2" | >= "1.9.5"
  3573. uri-bench
  3574. uri-re
  3575. uring
  3576. uring-trace
  3577. uritemplate >= "0.2.0"
  3578. urn
  3579. usb >= "1.3.1"
  3580. usbmux >= "1.2.0"
  3581. user-agent-parser
  3582. user-setup
  3583. username_kernel < "v0.17.0"
  3584. uspf
  3585. uspf-lwt
  3586. uspf-unix
  3587. utop >= "2.9.0"
  3588. utp
  3589. uucd >= "4.0.0"
  3590. uucp >= "2.0.0"
  3591. uuidm >= "0.9.6"
  3592. uunf < "1.0.0" | >= "2.0.1"
  3593. uuseg != "1.0.0"
  3594. uutf >= "1.0.1"
  3595. uuuu
  3596. uwt < "0.3.0"
  3597. valentine
  3598. validator
  3599. variantslib != "109.15.03" & != "113.33.03" & < "v0.17.0"
  3600. varint
  3601. varray
  3602. vcaml
  3603. vcardgen < "1.2"
  3604. vchan
  3605. vchan-unix >= "4.0.0"
  3606. vchan-xen
  3607. vdom
  3608. vec
  3609. vecosek
  3610. vecosek-engine
  3611. vecosek-scene
  3612. vector
  3613. vector3 >= "0.2.1"
  3614. vendredi
  3615. vercel
  3616. vg < "0.8.1" | >= "0.9.0"
  3617. vhd-format != "0.8.0" & < "0.9.2" | >= "0.12.2"
  3618. vhd-format-lwt != "0.9.2"
  3619. vhd-tool
  3620. vhdlib
  3621. virtual_dom >= "v0.9.1" & < "v0.17.0"
  3622. visitors >= "20210127"
  3623. vlq
  3624. vlt
  3625. vmnet < "1.2.0" | >= "1.3.1"
  3626. voaacenc
  3627. vocal
  3628. volt
  3629. voqc >= "0.2.0"
  3630. vorbis < "0.6.2" | >= "0.7.1"
  3631. vpnkit != "0.1.1"
  3632. vpt < "5.0.0"
  3633. vrt
  3634. vscoq-language-server
  3635. vue-jsoo = "0.2"
  3636. vue-ppx
  3637. wall >= "0.4"
  3638. wamp
  3639. wamp-msgpck
  3640. wamp-yojson
  3641. wasm >= "2.0.0"
  3642. wasmer
  3643. wasmtime
  3644. wayland < "2.0"
  3645. waylaunch
  3646. wcs
  3647. wcs-api
  3648. wcs-lib
  3649. wcwidth
  3650. wdialog
  3651. webauthn
  3652. webbrowser
  3653. weberizer != "0.7.2" & != "0.7.7"
  3654. webidl >= "1.0"
  3655. webmachine
  3656. websocket != "2.12"
  3657. websocket-async != "2.12"
  3658. websocket-lwt < "2.12"
  3659. websocket-lwt-unix
  3660. websocketaf
  3661. websocketml
  3662. webtest
  3663. webtest-js
  3664. weevil
  3665. why >= "2.32"
  3666. why3 >= "0.85" & < "1.0.0" | >= "1.2.1"
  3667. why3-coq
  3668. why3-ide
  3669. why3find
  3670. wikitext
  3671. win-error
  3672. win-eventlog
  3673. winsvc >= "1.0.1"
  3674. wiringpi
  3675. ws
  3676. ws-server
  3677. wseg
  3678. wtf8
  3679. wtr
  3680. wtr-ppx
  3681. wu-manber-fuzzy-search
  3682. wxOCaml
  3683. wyrd >= "1.4.6"
  3684. x509
  3685. x86_64-esperanto
  3686. xapi-backtrace
  3687. xapi-forkexecd
  3688. xapi-idl
  3689. xapi-inventory
  3690. xapi-libs-transitional
  3691. xapi-rrd != "1.0.2"
  3692. xapi-rrd-transport
  3693. xapi-rrdd
  3694. xapi-stdext
  3695. xapi-stdext-date
  3696. xapi-stdext-encodings
  3697. xapi-stdext-pervasives
  3698. xapi-stdext-std
  3699. xapi-stdext-threads >= "4.19.0"
  3700. xapi-stdext-unix
  3701. xapi-stdext-zerocheck
  3702. xapi-tapctl
  3703. xapi-xenops
  3704. xcursor
  3705. xdg
  3706. xdg-basedir
  3707. xe
  3708. xe-unikernel-upload
  3709. xedbindings
  3710. xen-api-client
  3711. xen-block-driver >= "0.2.5"
  3712. xen-disk
  3713. xen-evtchn >= "1.0.6"
  3714. xen-evtchn-unix
  3715. xen-gnt
  3716. xen-gnt-unix
  3717. xenctrl >= "0.9.29" & < "0.9.32"
  3718. xenstore < "1.3.0" | >= "2.0.0"
  3719. xenstore_transport < "0.9.2" | >= "0.9.6"
  3720. xentropyd
  3721. xml-light
  3722. xmldiff
  3723. xmlm >= "1.3.0"
  3724. xmlplaylist
  3725. xtmpl = "0.10" | >= "0.14.0"
  3726. xxhash
  3727. yajl
  3728. yajl-extra < "0.7.3"
  3729. yaml
  3730. yara
  3731. yices2
  3732. yices2_bindings
  3733. yocaml
  3734. yocaml_cmark
  3735. yocaml_git
  3736. yocaml_jingoo
  3737. yocaml_markdown
  3738. yocaml_mustache
  3739. yocaml_syndication
  3740. yocaml_unix
  3741. yocaml_yaml
  3742. yojson >= "1.4.0"
  3743. yojson-bench
  3744. yojson-five
  3745. yosqlite
  3746. yurt >= "0.3"
  3747. yuscii
  3748. yuujinchou < "3.0.0"
  3749. z3
  3750. zanuda
  3751. zar
  3752. zarith >= "1.3"
  3753. zarith-freestanding
  3754. zarith-ppx
  3755. zarith-xen
  3756. zarith_stubs_js < "v0.17.0"
  3757. zarr
  3758. zarr-lwt
  3759. zarr-sync
  3760. zbar
  3761. zed >= "1.6"
  3762. zeit
  3763. zelus
  3764. zelus-gtk
  3765. zenon >= "0.8.4"
  3766. zenon_modulo
  3767. zephyrus
  3768. zero < "109.19.00"
  3769. zipc
  3770. zipperposition
  3771. zipperposition-tools
  3772. zlib >= "0.6"
  3773. zlist < "0.4.0"
  3774. zmq < "4.0-1" | >= "4.0-8"
  3775. zmq-async
  3776. zmq-eio
  3777. zmq-lwt
  3778. zstandard < "v0.17.0"
  3779. zstd
  3780. zxcvbn

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct