package dune

  1. Overview
  2. Docs
Fast, portable, and opinionated build system

Install

Dune Dependency

Authors

Maintainers

Sources

dune-3.8.0.tbz
sha256=f7e2970bfab99c7766ff1a05deff5ad7f82cb2471abca6f72449572293f5f6b4
sha512=3b3a566f63842c314de2c0a660c5f7714bc90f8303c82d82e3021aee84980eff1886d15c9b9d4ea0047a411d799fb39d5f2ea70a92bdeb629e00d3d5d5f2d994

Description

dune is a build system that was designed to simplify the release of Jane Street packages. It reads metadata from "dune" files following a very simple s-expression syntax.

dune is fast, has very low-overhead, and supports parallel builds on all platforms. It has no system dependencies; all you need to build dune or packages using dune is OCaml. You don't need make or bash as long as the packages themselves don't use bash explicitly.

dune supports multi-package development by simply dropping multiple repositories into the same directory.

It also supports multi-context builds, such as building against several opam roots/switches simultaneously. This helps maintaining packages across several versions of OCaml and gives cross-compilation for free.

Published: 31 May 2023

README

README.md

A Composable Build System for OCaml

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. You need only to provide a description of your project, and Dune will do the rest.

Dune implements a scheme that's inspired from the one used inside Jane Street and adapted to the open source world. It has matured over a long time and is used daily by hundreds of developers, meaning it's highly tested and productive.

Dune comes with a manual. If you want to get started without reading too much, look at the quick start guide or watch this introduction video.

The example directory contains examples of projects using Dune.

How does it work?

Dune reads project metadata from dune files, which are static files with a simple S-expression syntax. It uses this information to setup build rules, generate configuration files for development tools such as Merlin, handle installation, etc.

Dune itself is fast, has very little overhead, and supports parallel builds on all platforms. It has no system dependencies. OCaml is all you need to build Dune and packages using Dune.

In particular, one can install OCaml on Windows with a binary installer and then use only the Windows Console to build Dune and packages using Dune.

Strengths

Composable

Dune is composable, meaning that multiple Dune projects can be arranged together, leading to a single build that Dune knows how to execute. This allows for monorepos of projects.

Dune makes simultaneous development on multiple packages a trivial task.

Gracefully Handles Multi-Package Repositories

Dune knows how to handle repositories containing several packages. When building via opam, it is able to correctly use libraries that were previously installed, even if they are already present in the source tree.

The magic invocation is:

$ dune build --only-packages <package-name> @install

Build Against Several Configurations at Once

Dune can build a given source code repository against several configurations simultaneously. This helps maintaining packages across several versions of OCaml, as you can test them all at once without hassle.

In particular, this makes it easy to handle cross-compilation. This feature requires opam.

Installation

Requirements

Dune requires OCaml version 4.08.0 to build itself and can build OCaml projects using OCaml 4.02.3 or greater.

Installation

We recommended installing Dune via the opam package manager:

$ opam install dune

If you are new to opam, make sure to run eval $(opam config env) to make dune available in your PATH. The dune binary is self-contained and relocatable, so you can safely copy it somewhere else to make it permanently available.

You can also build it manually with:

$ make release
$ make install

If you do not have make, you can do the following:

$ ocaml boot/bootstrap.ml
$ ./dune.exe build -p dune --profile dune-bootstrap
$ ./dune.exe install dune

The first command builds the dune.exe binary. The second builds the additional files installed by Dune, such as the man pages, and the last simply installs all of that on the system.

Please note: unless you ran the optional ./configure script, you can simply copy dune.exe anywhere and it will just work. dune is fully relocatable and discovers its environment at runtime rather than hard-coding it at compilation time.

Support

If you have questions or issues about Dune, you can ask in our GitHub discussions page or open a ticket on GitHub.

Dependencies (5)

  1. base-threads
  2. base-unix
  3. ocamlfind-secondary
  4. ocaml >= "4.02" & < "4.08~~"
  5. ocaml >= "4.08"

Dev Dependencies

None

  1. 0install >= "2.15.1"
  2. 0install-gtk
  3. 0install-solver
  4. ANSITerminal >= "0.8.1"
  5. absolute
  6. abstract_algebra
  7. accessor
  8. accessor_async
  9. accessor_base
  10. accessor_core
  11. acgtk >= "1.4.0"
  12. aches
  13. aches-lwt
  14. acp4
  15. acpc >= "2.0.0"
  16. advi
  17. afl-persistent >= "1.4"
  18. agrid
  19. ahrocksdb
  20. aifad >= "2.2.1"
  21. alba >= "0.4.1"
  22. albatross
  23. alcotest >= "0.8.5"
  24. alcotest-async >= "0.8.5"
  25. alcotest-js
  26. alcotest-lwt >= "0.8.5"
  27. alcotest-mirage
  28. alg_structs
  29. alg_structs_qcheck
  30. algaeff
  31. alonzo
  32. alsa >= "0.3.0"
  33. alt-ergo >= "2.3.0"
  34. alt-ergo-free >= "2.3.3.dune3"
  35. alt-ergo-lib >= "2.4.2"
  36. alt-ergo-lib-free >= "2.3.3.dune3"
  37. alt-ergo-parsers
  38. alt-ergo-parsers-free
  39. alt-ergo-plugin-ab-why3
  40. altgr-ergo >= "2.3.0"
  41. ambient-context
  42. ambient-context-eio
  43. ambient-context-lwt
  44. amf >= "0.1.2"
  45. amqp-client >= "2.0.3"
  46. amqp-client-async >= "2.0.3"
  47. amqp-client-lwt >= "2.0.3"
  48. anders
  49. angstrom >= "0.11.1"
  50. angstrom-async >= "0.11.1"
  51. angstrom-lwt-unix >= "0.11.1"
  52. angstrom-unix >= "0.11.1"
  53. ansi
  54. ansi-parse >= "0.4.0"
  55. anthill
  56. antic
  57. ao >= "0.2.2"
  58. apronext
  59. arb
  60. archetype
  61. archi
  62. archi-async
  63. archi-lwt
  64. arg-complete
  65. argon2 >= "1.0.0"
  66. arp >= "1.0.0"
  67. arp-mirage
  68. art
  69. asai
  70. asak
  71. ask
  72. ask-integrator
  73. asli >= "0.2.0"
  74. asn1-combinators >= "0.2.2"
  75. ast_generic
  76. async >= "v0.12.0"
  77. async-uri < "0.4.0"
  78. async_durable >= "v0.12.0"
  79. async_extra >= "v0.12.0"
  80. async_find >= "v0.12.0"
  81. async_graphics >= "0.7.0"
  82. async_inotify >= "v0.12.0"
  83. async_interactive >= "v0.12.0"
  84. async_js >= "v0.12.0"
  85. async_kernel >= "v0.12.0"
  86. async_rpc_kernel >= "v0.12.0"
  87. async_rpc_websocket
  88. async_sendfile >= "v0.12.0"
  89. async_shell >= "v0.12.0"
  90. async_smtp >= "v0.12.0"
  91. async_ssl >= "v0.12.0"
  92. async_udp
  93. async_unix >= "v0.12.0"
  94. async_websocket
  95. atable
  96. atd >= "2.2.1"
  97. atdd
  98. atdgen >= "2.2.1"
  99. atdgen-codec-runtime
  100. atdgen-runtime >= "2.2.1"
  101. atdj >= "2.2.1" & < "20151001.01"
  102. atdpy
  103. atds
  104. atdts
  105. atomic < "base"
  106. autofonce
  107. autofonce_config
  108. autofonce_core
  109. autofonce_lib
  110. autofonce_m4
  111. autofonce_misc
  112. autofonce_patch
  113. autofonce_share
  114. avro
  115. avro-compiler
  116. awa
  117. awa-lwt
  118. awa-mirage
  119. aws >= "1.2"
  120. aws-async
  121. aws-autoscaling >= "1.2"
  122. aws-cloudformation >= "1.2"
  123. aws-cloudtrail >= "1.2"
  124. aws-cloudwatch
  125. aws-config
  126. aws-ec2 >= "1.2"
  127. aws-elasticache
  128. aws-elasticloadbalancing >= "1.2"
  129. aws-lwt
  130. aws-rds
  131. aws-route53
  132. aws-s3 >= "4.0.0"
  133. aws-s3-async >= "4.0.0"
  134. aws-s3-lwt >= "4.0.0"
  135. aws-sdb >= "1.2"
  136. aws-sqs
  137. aws-ssm >= "1.2"
  138. aws-sts >= "1.2"
  139. awsm
  140. awsm-async
  141. awsm-codegen
  142. awsm-lwt
  143. azblob
  144. azblob-async
  145. azure-cosmos-db
  146. babel
  147. backoff
  148. bag
  149. baguette_sharp
  150. bam
  151. bare_encoding
  152. bark
  153. base >= "v0.12.0"
  154. base32
  155. base64 >= "2.3.0"
  156. base_bigstring
  157. base_quickcheck >= "v0.12.1"
  158. base_trie
  159. bastet
  160. bastet_async
  161. bastet_lwt
  162. batch_jaro_winkler
  163. batsat
  164. batteries >= "3.7.1"
  165. bddrand
  166. bech32
  167. bechamel
  168. bechamel-js
  169. bechamel-notty
  170. bechamel-perf
  171. beluga >= "1.0"
  172. benchmark >= "1.6"
  173. benchpress
  174. benchpress-server
  175. bencode >= "2.0"
  176. bentov
  177. bestline
  178. bheap >= "2.0.0"
  179. bidirectional_map
  180. bigarray-compat
  181. bigarray-overlap
  182. bigdecimal
  183. bignum >= "v0.12.0"
  184. bigstring >= "0.3"
  185. bigstring-unix >= "0.3"
  186. bigstringaf >= "0.5.0"
  187. bimage
  188. bimage-display
  189. bimage-gtk
  190. bimage-io
  191. bimage-lwt
  192. bimage-sdl
  193. bimage-unix
  194. bimap
  195. bin_prot >= "v0.12.0"
  196. binaryen != "0.3.0" & < "0.14.0" | >= "0.17.1"
  197. binaryen_dsl
  198. bindlib >= "6.0.0"
  199. biniou >= "1.2.1"
  200. binning
  201. binsec >= "0.4.0"
  202. bio_io
  203. biocaml >= "0.9.0"
  204. biotk
  205. bisect_ppx >= "1.4.0"
  206. bistro >= "0.5.0"
  207. bistro-bio
  208. bitcoin >= "3.0"
  209. bitcoin-cohttp-async
  210. bitcoin-cohttp-lwt
  211. bitcoin-ocurl
  212. bitcoinml >= "0.4.1"
  213. bitlib
  214. bitmasks >= "1.2.0"
  215. bitpack_serializer
  216. bitstring >= "3.1.1"
  217. bitv >= "1.4"
  218. bitwuzla
  219. bitwuzla-bin < "1.0.0"
  220. bitwuzla-c
  221. bitwuzla-cxx
  222. bjack >= "0.1.6"
  223. blake3
  224. bloomf
  225. bls12-381 < "19.0"
  226. bls12-381-gen
  227. bls12-381-hash
  228. bls12-381-js
  229. bls12-381-js-gen
  230. bls12-381-legacy
  231. bls12-381-signature
  232. bls12-381-unix
  233. blurhash
  234. bnfgen
  235. bogue
  236. bogue-tutorials
  237. boltzgen
  238. bonsai
  239. boulangerie
  240. box
  241. brr-lwd
  242. bson2
  243. bst >= "7.0.1"
  244. buffer-pool
  245. build_path_prefix_map >= "0.3"
  246. builder
  247. builder-web
  248. bun >= "0.3.4"
  249. bwd
  250. bwrap
  251. bytearray >= "1.0.1"
  252. bytebuffer
  253. bytepdf
  254. bz2
  255. ca-certs
  256. ca-certs-nss
  257. cactus
  258. cairn
  259. cairo2 >= "0.6"
  260. cairo2-gtk
  261. cairo2-pango
  262. caisar
  263. caisar-ir
  264. caisar-nnet
  265. caisar-onnx
  266. caisar-ovo
  267. caisar-xgboost
  268. calcium
  269. calculon >= "0.4"
  270. calculon-redis
  271. calculon-redis-lib
  272. calculon-web >= "0.4"
  273. caldav
  274. calendar >= "3.0.0"
  275. calendars
  276. calipso
  277. calli
  278. callipyge >= "0.2"
  279. camelot
  280. camels
  281. camelsnakekebab
  282. camlimages >= "5.0.2"
  283. camlix
  284. camlon >= "3.1.0"
  285. camlp-streams
  286. camlrack
  287. camltc >= "0.9.8"
  288. camomile >= "1.0.2"
  289. camyll
  290. canary
  291. capnp >= "3.5.0"
  292. capnp-rpc >= "0.3.2"
  293. capnp-rpc-lwt >= "0.3.2"
  294. capnp-rpc-mirage >= "0.3.2"
  295. capnp-rpc-net
  296. capnp-rpc-unix >= "0.3.2"
  297. caqti >= "1.0.0" & < "2.1.1"
  298. caqti-async >= "1.0.0" & < "2.1.1"
  299. caqti-driver-mariadb >= "1.0.0" & < "2.1.1"
  300. caqti-driver-pgx < "2.1.1"
  301. caqti-driver-postgresql >= "1.0.0" & < "2.1.1"
  302. caqti-driver-sqlite3 >= "1.0.0" & < "2.1.1"
  303. caqti-dynload >= "1.0.0"
  304. caqti-eio < "2.1.1"
  305. caqti-lwt >= "1.0.0" & < "2.1.1"
  306. caqti-mirage < "2.1.1"
  307. caqti-type-calendar >= "1.0.0"
  308. carbon
  309. carray
  310. carton
  311. carton-git
  312. carton-lwt
  313. catala < "0.9.0"
  314. catapult
  315. catapult-client
  316. catapult-daemon
  317. catapult-file
  318. catapult-sqlite
  319. cb-check
  320. cbor >= "0.3"
  321. cborl
  322. ccbg
  323. cconv >= "0.5"
  324. cconv-ppx
  325. cdrom >= "0.9.4"
  326. certify >= "0.3.0"
  327. cf
  328. cf-lwt
  329. cfg >= "2.2.0"
  330. cfml
  331. cfstream >= "1.3.1"
  332. chacha
  333. chamelon-unix
  334. chamo >= "4.0"
  335. charInfo_width
  336. charrua
  337. charrua-client >= "0.11.2"
  338. charrua-client-lwt >= "0.11.2"
  339. charrua-client-mirage >= "0.11.2"
  340. charrua-core >= "0.11.2"
  341. charrua-server
  342. charrua-unix >= "0.11.2"
  343. charset
  344. chartjs
  345. chartjs-annotation
  346. chartjs-colorschemes
  347. chartjs-datalabels
  348. chartjs-streaming
  349. chase
  350. checkseum = "0.0.3" | >= "0.2.1"
  351. choice >= "0.4"
  352. chrome-trace < "3.14.0"
  353. cid
  354. cinaps >= "v0.12.0"
  355. clangml >= "4.0.0"
  356. clangml-transforms >= "0.24"
  357. clap >= "0.2.0"
  358. clarity >= "0.4.0"
  359. clarity-lang
  360. class_group_vdf
  361. clim
  362. clim-ppx
  363. clp_operations
  364. clz
  365. cmarker
  366. cmdliner-stdlib
  367. cmon
  368. codept >= "0.10.3"
  369. cohttp >= "1.1.1"
  370. cohttp-async >= "1.1.1"
  371. cohttp-curl
  372. cohttp-curl-async
  373. cohttp-curl-lwt
  374. cohttp-eio
  375. cohttp-lwt >= "1.1.1"
  376. cohttp-lwt-jsoo >= "1.1.1"
  377. cohttp-lwt-unix >= "1.1.1"
  378. cohttp-lwt-unix-nossl
  379. cohttp-lwt-unix-ssl
  380. cohttp-mirage >= "1.1.1"
  381. cohttp-server-lwt-unix
  382. cohttp-top >= "1.1.1"
  383. cohttp_async_websocket
  384. cohttp_static_handler
  385. coin >= "0.1.1"
  386. colibri2
  387. colibrics
  388. colibrilib
  389. colombe
  390. color >= "0.2.0"
  391. color-brewery
  392. combinaml
  393. combinat
  394. comby
  395. comby-kernel
  396. comby-semantic
  397. command_rpc >= "v0.12.0"
  398. conan
  399. conan-cli
  400. conan-database
  401. conan-lwt
  402. conan-unix
  403. conduit >= "1.3.0"
  404. conduit-async >= "1.3.0"
  405. conduit-async-ssl
  406. conduit-async-tls
  407. conduit-lwt >= "1.3.0"
  408. conduit-lwt-ssl
  409. conduit-lwt-tls
  410. conduit-lwt-unix >= "1.3.0"
  411. conduit-mirage
  412. conduit-tls
  413. conex >= "0.10.0"
  414. conex-mirage-crypto
  415. conex-nocrypto
  416. confero
  417. config-file >= "1.2.1"
  418. conformist
  419. containers >= "2.4"
  420. containers-data
  421. containers-thread
  422. content_security_policy
  423. cookie
  424. cookies
  425. coq >= "8.14.0"
  426. coq-core
  427. coq-lsp
  428. coq-of-ocaml >= "2.4.1"
  429. coq-serapi >= "8.9.0+0.6.0"
  430. coq-stdlib
  431. coq-waterproof
  432. coqide >= "8.14.0"
  433. coqide-server
  434. core >= "v0.12.0"
  435. core-and-more
  436. core_bench >= "v0.12.0"
  437. core_compat
  438. core_extended >= "v0.12.0"
  439. core_kernel >= "v0.12.3"
  440. core_profiler >= "v0.12.0"
  441. core_unix
  442. cosovo
  443. cow >= "2.4.0"
  444. cowabloga >= "0.5.0"
  445. cpm >= "12.1.2"
  446. cppo >= "1.6.6"
  447. cppo_ocamlbuild >= "1.6.6"
  448. cps_toolbox
  449. cpu
  450. cpuid >= "0.1.2"
  451. crc >= "2.1.0"
  452. crlibm >= "0.3"
  453. crontab
  454. crowbar >= "0.2"
  455. crunch >= "2.2.0"
  456. cry >= "0.6.5"
  457. cryptokit >= "1.16.1"
  458. csexp
  459. css
  460. css-parser
  461. cstruct >= "3.3.0"
  462. cstruct-async >= "3.3.0"
  463. cstruct-lwt >= "3.3.0"
  464. cstruct-sexp
  465. cstruct-unix >= "3.3.0"
  466. csv >= "2.2"
  467. csv-lwt >= "2.1"
  468. csvfields >= "v0.12.0"
  469. csvtool
  470. ctoxml
  471. ctypes >= "0.21.1"
  472. ctypes-foreign >= "0.21.1"
  473. ctypes-zarith
  474. ctypes_stubs_js
  475. cucumber
  476. cudf >= "0.10"
  477. cue_sheet_maker
  478. cuid >= "0.2"
  479. cumulus
  480. curly >= "0.2.0"
  481. current
  482. current-albatross-deployer
  483. current-web-pipelines
  484. current_ansi
  485. current_docker
  486. current_examples
  487. current_git
  488. current_github
  489. current_gitlab
  490. current_incr
  491. current_ocluster
  492. current_rpc
  493. current_slack
  494. current_ssh
  495. current_web
  496. curses >= "1.0.9"
  497. curve-sampling
  498. cviode
  499. cwe_checker
  500. DkSDKFFIOCaml_Std
  501. DrawGrammar >= "0.2.2"
  502. daft >= "0.0.4"
  503. dap
  504. data-encoding
  505. dataframe
  506. datakit >= "0.12.2"
  507. datakit-bridge-github >= "0.12.2"
  508. datakit-bridge-local-git >= "0.12.2"
  509. datakit-ci >= "0.12.2"
  510. datakit-client >= "0.12.2"
  511. datakit-client-9p >= "0.12.2"
  512. datakit-client-git >= "0.12.2"
  513. datakit-github >= "0.12.2"
  514. datakit-server >= "0.12.2"
  515. datakit-server-9p >= "0.12.2"
  516. datalog >= "0.6"
  517. dates_calc
  518. daypack-lib
  519. dbf != "0.1.1"
  520. debian-formats >= "0.1.2"
  521. decimal
  522. decoders >= "0.1.2"
  523. decoders-bencode
  524. decoders-cbor
  525. decoders-ezjsonm >= "0.1.2"
  526. decoders-ezxmlm
  527. decoders-jsonaf
  528. decoders-jsonm
  529. decoders-msgpck
  530. decoders-sexplib
  531. decoders-yojson >= "0.1.2"
  532. decompress >= "0.8.1"
  533. dedent
  534. dedukti >= "2.7"
  535. delimcc_of_fxhandler
  536. delimited_parsing >= "v0.12.0"
  537. depyt >= "0.3.0"
  538. devkit >= "1.0"
  539. diet >= "0.2"
  540. diffable
  541. digestif >= "0.7" & < "0.7.2" | >= "0.8.1"
  542. directories
  543. dirsift
  544. dirsp-exchange
  545. dirsp-exchange-kbb2017
  546. dirsp-proscript
  547. dirsp-proscript-mirage
  548. dirsp-ps2ocaml
  549. diskuvbox
  550. disml
  551. dispatch >= "0.4.1"
  552. dispatch-js >= "0.4.1"
  553. distributed >= "0.6.0"
  554. distributed-lwt >= "0.2.0"
  555. distributed-uwt >= "0.2.0"
  556. dkim
  557. dkim-bin
  558. dkim-mirage
  559. dkml-c-probe
  560. dkml-component-offline-ocamlrun
  561. dkml-component-offline-opam
  562. dkml-component-staging-ocamlrun
  563. dkml-component-staging-opam32
  564. dkml-component-staging-opam64
  565. dkml-dune-dsl
  566. dkml-dune-dsl-show
  567. dkml-install
  568. dkml-install-installer
  569. dkml-install-runner
  570. dkml-option-vcpkg
  571. dkml-package-console
  572. dkml-runtime-common >= "2.0.3"
  573. dkml-runtime-distribution
  574. dkml-workflows
  575. dlm >= "0.3.1"
  576. dmap
  577. dns >= "1.1.0"
  578. dns-async >= "1.1.0"
  579. dns-certify
  580. dns-cli
  581. dns-client
  582. dns-client-lwt
  583. dns-client-mirage
  584. dns-lwt >= "1.1.0"
  585. dns-lwt-unix >= "1.1.0"
  586. dns-mirage
  587. dns-resolver
  588. dns-server
  589. dns-stub
  590. dns-tsig
  591. dnssec
  592. docfd
  593. docker-api >= "0.2"
  594. docker_hub
  595. dockerfile >= "6.0.0"
  596. dockerfile-cmd >= "6.0.0"
  597. dockerfile-opam >= "6.0.0"
  598. docteur
  599. docteur-solo5
  600. docteur-unix
  601. doculib
  602. doi2bib
  603. dokeysto >= "3.0.2"
  604. dokeysto_camltc >= "3.0.2"
  605. dokeysto_lz4 >= "3.0.2"
  606. dolmen >= "0.4.1"
  607. dolmen_bin
  608. dolmen_loop
  609. dolmen_lsp
  610. dolmen_model
  611. dolmen_type
  612. dolog >= "4.0.0"
  613. domain-local-await
  614. domain-local-timeout
  615. domain-name >= "0.1.2"
  616. domain_shims
  617. domainslib
  618. dose3 >= "6.1"
  619. dose3-extra
  620. dot-merlin-reader
  621. dotenv
  622. dream
  623. dream-accept
  624. dream-cli
  625. dream-encoding
  626. dream-html
  627. dream-htmx
  628. dream-httpaf
  629. dream-livereload
  630. dream-pure
  631. dream-serve
  632. drom >= "0.3.0"
  633. drom_lib >= "0.3.0"
  634. drom_toml
  635. dropbox >= "0.2"
  636. dropbox_lwt_unix
  637. dscheck < "0.4.0"
  638. dssi >= "0.1.3"
  639. dtc-pb
  640. dtoa >= "0.3.2"
  641. dtools >= "0.4.2"
  642. dual
  643. duff >= "0.2"
  644. dum >= "1.0.2"
  645. dump_ocamlformat
  646. dune-action-plugin < "3.14.0"
  647. dune-build-info < "3.14.0"
  648. dune-compiledb
  649. dune-configurator >= "1.11.4" & < "3.14.0"
  650. dune-deps
  651. dune-expand
  652. dune-glob < "3.14.0"
  653. dune-private-libs < "3.14.0"
  654. dune-release >= "1.0.0"
  655. dune-rpc < "3.14.0"
  656. dune-rpc-lwt < "3.14.0"
  657. dune-site < "3.14.0"
  658. duppy >= "0.9.0"
  659. duration >= "0.1.2"
  660. dyn < "3.14.0"
  661. earley >= "2.0.0"
  662. earlybird
  663. easy-format >= "1.3.2"
  664. easy_logging
  665. easy_logging_yojson
  666. ecaml >= "v0.12.0"
  667. edn >= "0.1.6-1-gff9db95"
  668. ego
  669. eigen >= "0.1.0"
  670. eio < "0.11"
  671. eio-ssl
  672. eio_linux < "0.11"
  673. eio_luv
  674. eio_main < "0.11"
  675. eio_posix < "0.11"
  676. eio_windows < "0.11"
  677. either
  678. elasticsearch-cli >= "0.5"
  679. electrod >= "0.2.1"
  680. eliom >= "10.1.2"
  681. elpi >= "1.3.1"
  682. email_message >= "v0.12.0"
  683. embedded_ocaml_templates
  684. emile >= "0.4"
  685. encoding
  686. encore >= "0.3"
  687. env_config
  688. epictetus
  689. eqaf >= "0.2"
  690. equinoxe
  691. equinoxe-cohttp
  692. equinoxe-hlc
  693. eris
  694. eris-lwt
  695. erlang
  696. errpy
  697. erssical >= "1.1.0"
  698. esgg
  699. esperanto-cosmopolitan >= "0.0.5"
  700. ethernet
  701. euler
  702. exenum >= "0.86"
  703. exit
  704. expect_test_helpers >= "v0.12.0"
  705. expect_test_helpers_async
  706. expect_test_helpers_core
  707. expect_test_helpers_kernel >= "v0.12.0"
  708. extism
  709. extism-manifest
  710. extlib >= "1.7.9"
  711. extunix >= "0.3.1"
  712. ez_api
  713. ez_cmdliner >= "0.2.0"
  714. ez_config >= "0.2.0"
  715. ez_file >= "0.3.0"
  716. ez_hash
  717. ez_pgocaml
  718. ez_search
  719. ez_subst
  720. ezcurl
  721. ezcurl-lwt
  722. ezdl
  723. ezgzip >= "0.2.3"
  724. ezjs_ace
  725. ezjs_blockies
  726. ezjs_cleave
  727. ezjs_crypto
  728. ezjs_cytoscape
  729. ezjs_d3pie
  730. ezjs_extension
  731. ezjs_fetch
  732. ezjs_idb
  733. ezjs_jquery
  734. ezjs_min
  735. ezjs_odometer
  736. ezjs_push
  737. ezjs_qrcode
  738. ezjs_recaptcha
  739. ezjs_timeline
  740. ezjsonm >= "1.0.0"
  741. ezjsonm-encoding
  742. ezjsonm-lwt >= "1.0.0"
  743. ezresto
  744. ezresto-directory
  745. ezsqlite >= "0.4.2"
  746. ezxenstore >= "0.4.1"
  747. ezxmlm >= "1.1.0"
  748. FPauth
  749. FPauth-core
  750. FPauth-responses
  751. FPauth-strategies
  752. FrontC >= "4.0.0"
  753. faad >= "0.5.0"
  754. facteur
  755. fadbadml >= "0.1.2"
  756. faraday >= "0.7.1"
  757. faraday-async >= "0.7.1"
  758. faraday-lwt >= "0.7.1"
  759. faraday-lwt-unix >= "0.7.1"
  760. farith
  761. farmhash >= "0.4"
  762. fasmifra
  763. fat-filesystem >= "0.13.0"
  764. fd-send-recv >= "2.0.1"
  765. fdkaac >= "0.3.2"
  766. feat
  767. feat-core
  768. feat-num
  769. feather
  770. feather_async
  771. ff
  772. ff-bench
  773. ff-pbt
  774. ff-sig
  775. ffmpeg >= "1.0.0~beta1"
  776. ffmpeg-av
  777. ffmpeg-avcodec
  778. ffmpeg-avdevice
  779. ffmpeg-avfilter
  780. ffmpeg-avutil
  781. ffmpeg-swresample
  782. ffmpeg-swscale
  783. fftw3 >= "0.8.2"
  784. fiat-p256
  785. fiber
  786. fiber-lwt
  787. fieldslib >= "v0.12.0"
  788. file_path
  789. fileutils >= "0.6.1"
  790. finch
  791. fit
  792. fix >= "20181206"
  793. flac >= "0.3.0"
  794. flex-array
  795. flint
  796. flow_parser >= "0.229.1"
  797. fmlib
  798. fmlib_browser
  799. fmlib_js
  800. fmlib_parse
  801. fmlib_pretty
  802. fmlib_std
  803. fontforge-of-ocaml
  804. forester
  805. frama-c >= "26.0~beta"
  806. frama-c-metacsl >= "0.4"
  807. frama-clang
  808. fred
  809. freetds >= "0.7"
  810. frei0r >= "0.1.2"
  811. frenetic >= "5.0.5"
  812. fromager
  813. fsevents
  814. fsevents-lwt
  815. fsml
  816. fswatch
  817. fswatch_async
  818. fswatch_lwt
  819. functoria >= "2.2.2" & < "4.0.0~beta1" | >= "4.0.0"
  820. functoria-runtime >= "2.2.2" & != "2.2.5" & < "3.0.2" | >= "3.1.2"
  821. fuseau
  822. fuseau-lwt
  823. fuzzy_compare
  824. fuzzy_match
  825. fzf
  826. General >= "0.6.0"
  827. GT
  828. gapi-ocaml >= "0.3.7"
  829. gbddml
  830. gd >= "1.1"
  831. gdbprofiler >= "0.4"
  832. gemini >= "0.3.0"
  833. gen >= "0.5.2"
  834. gen_js_api >= "1.0.6"
  835. genprint
  836. genspio >= "0.0.3"
  837. genspir >= "1.0.1"
  838. geojson
  839. geojsone
  840. geoml
  841. get_line >= "7.0.0"
  842. getopt >= "20230213"
  843. gettext >= "0.4.1"
  844. gettext-camomile
  845. gettext-stub
  846. git >= "2.0.0"
  847. git-cohttp
  848. git-cohttp-mirage
  849. git-cohttp-unix
  850. git-http >= "2.0.0"
  851. git-kv
  852. git-mirage >= "2.0.0"
  853. git-paf
  854. git-unix >= "2.0.0"
  855. github >= "4.0.0"
  856. github-data
  857. github-hooks >= "0.4.0"
  858. github-hooks-unix >= "0.4.0"
  859. github-jsoo >= "4.0.0"
  860. github-unix >= "4.0.0"
  861. gitlab
  862. gitlab-jsoo
  863. gitlab-unix
  864. gitlab_pipeline_notifier
  865. glfw-ocaml
  866. globlon
  867. gluten
  868. gluten-async
  869. gluten-eio
  870. gluten-lwt
  871. gluten-lwt-unix
  872. gluten-mirage
  873. gmap >= "0.2.1"
  874. gmp
  875. gnuplot >= "0.6"
  876. gobba
  877. gobject-introspection
  878. goblint >= "1.1.1"
  879. goblint-cil >= "1.8.0"
  880. google-drive-ocamlfuse >= "0.6.26"
  881. gopcaml-mode >= "0.0.2"
  882. gopcaml-mode-merlin
  883. gospel
  884. gotd
  885. gperftools >= "0.4"
  886. gpiod
  887. gpr >= "1.4.0"
  888. gpt
  889. gr
  890. grace
  891. gradescope_submit
  892. graphics >= "5.0.0"
  893. graphql >= "0.8.0"
  894. graphql-async >= "0.8.0"
  895. graphql-cohttp >= "0.9.0"
  896. graphql-lwt >= "0.8.0"
  897. graphql_parser >= "0.9.0"
  898. graphql_ppx >= "0.7.1"
  899. graphv
  900. graphv_core
  901. graphv_core_lib
  902. graphv_font
  903. graphv_font_js
  904. graphv_font_stb_truetype
  905. graphv_gles2
  906. graphv_gles2_native
  907. graphv_gles2_native_impl
  908. graphv_webgl
  909. graphv_webgl_impl
  910. gremlin
  911. grenier >= "0.8"
  912. grid
  913. grpc
  914. grpc-async
  915. grpc-bench
  916. grpc-eio
  917. grpc-examples
  918. grpc-lwt
  919. gsl >= "1.24.0"
  920. gstreamer >= "0.3.1"
  921. guardian
  922. guile
  923. h1_parser
  924. h2
  925. h2-async
  926. h2-eio
  927. h2-lwt
  928. h2-lwt-unix
  929. h2-mirage
  930. hack_parallel >= "1.0.0"
  931. hacl-star
  932. hacl-star-raw >= "0.5.0"
  933. hacl_func
  934. hacl_x25519
  935. happy-eyeballs
  936. happy-eyeballs-lwt
  937. happy-eyeballs-mirage
  938. hardcaml >= "v0.12.0"
  939. hardcaml_axi
  940. hardcaml_c
  941. hardcaml_circuits
  942. hardcaml_fixed_point
  943. hardcaml_handshake
  944. hardcaml_of_verilog
  945. hardcaml_step_testbench
  946. hardcaml_verify
  947. hardcaml_verilator
  948. hardcaml_waveterm
  949. hardcaml_xilinx
  950. hardcaml_xilinx_components
  951. hardcaml_xilinx_reports
  952. hashcons >= "1.4.0"
  953. hashids >= "1.0.1"
  954. haxe >= "4.1.1"
  955. hc
  956. hdf5 >= "0.1.5"
  957. hdr_histogram >= "0.0.3"
  958. headache >= "1.04"
  959. header-check
  960. herdtools7 >= "7.55"
  961. hex >= "1.3.0"
  962. hex_encode
  963. hexstring
  964. hg_lib
  965. hidapi >= "1.1"
  966. hidapi-lwt
  967. higher_kinded
  968. higlo >= "0.8"
  969. hilite
  970. hkdf >= "1.0.3"
  971. hl_yaml
  972. hockmd
  973. hol2dk
  974. horned_worm >= "0.3.4"
  975. hpack
  976. hsluv
  977. html_of_jsx
  978. htmlfromtexbooks
  979. hts_shrink >= "2.1.2"
  980. http
  981. http-cookie
  982. http-date
  983. http-lwt-client
  984. http-mirage-client
  985. http-multipart-formdata
  986. http_async
  987. httpaf >= "0.6.0"
  988. httpaf-async >= "0.6.0"
  989. httpaf-lwt-unix
  990. httpaf_caged
  991. httph
  992. huffman
  993. hvsock >= "2.0.0"
  994. hxd
  995. hyper
  996. ISO3166
  997. ISO8601 >= "0.2.6"
  998. i3ipc >= "0.1.4"
  999. icalendar
  1000. idd
  1001. idds
  1002. imagelib >= "20200929"
  1003. incr_dom >= "v0.12.0"
  1004. incr_dom_interactive
  1005. incr_dom_keyboard
  1006. incr_dom_partial_render
  1007. incr_dom_sexp_form
  1008. incr_dom_widgets >= "v0.12.0"
  1009. incr_map >= "v0.12.0"
  1010. incr_select >= "v0.12.0"
  1011. incremental >= "v0.12.0"
  1012. indentation_buffer
  1013. index
  1014. index-bench
  1015. inferno >= "20190924"
  1016. influxdb
  1017. influxdb-async
  1018. influxdb-lwt
  1019. inotify >= "2.4"
  1020. inquire
  1021. inquirer_oc
  1022. int_repr
  1023. integers >= "0.3.0"
  1024. integers_stubs_js
  1025. integration1d >= "0.5.1"
  1026. interface-prime
  1027. interface-prime-lwt
  1028. interval >= "1.5" & < "1.6"
  1029. interval-map
  1030. interval_base
  1031. interval_crlibm
  1032. interval_intel
  1033. io-page >= "2.1.0"
  1034. io-page-unix >= "2.1.0"
  1035. io-page-xen >= "2.1.0"
  1036. iomux
  1037. iostream
  1038. iostream-camlzip
  1039. ip2location
  1040. ip2locationio
  1041. ipaddr >= "2.9.0"
  1042. ipaddr-cstruct
  1043. ipaddr-sexp
  1044. irc-client >= "0.6.2"
  1045. irc-client-lwt >= "0.6.2"
  1046. irc-client-lwt-ssl
  1047. irc-client-tls >= "0.6.2"
  1048. irc-client-unix >= "0.6.2"
  1049. iri >= "0.6.0"
  1050. irmin >= "2.0.0"
  1051. irmin-bench
  1052. irmin-chunk >= "2.0.0"
  1053. irmin-cli
  1054. irmin-client
  1055. irmin-containers
  1056. irmin-fs >= "2.0.0"
  1057. irmin-git >= "2.0.0"
  1058. irmin-graphql
  1059. irmin-http >= "2.0.0"
  1060. irmin-indexeddb >= "2.0"
  1061. irmin-layers
  1062. irmin-mem >= "2.0.0"
  1063. irmin-mirage >= "2.0.0"
  1064. irmin-mirage-git
  1065. irmin-mirage-graphql
  1066. irmin-pack
  1067. irmin-pack-tools
  1068. irmin-server
  1069. irmin-test
  1070. irmin-tezos
  1071. irmin-tezos-utils
  1072. irmin-unix >= "2.0.0"
  1073. irmin-watcher >= "0.5.0"
  1074. iso639
  1075. iter >= "1.4"
  1076. itv-tree >= "2.2"
  1077. JsOfOCairo >= "2.0.0"
  1078. jane-street-headers >= "v0.12.0"
  1079. jane_rope
  1080. janestreet_cpuid
  1081. janestreet_csv
  1082. janestreet_lru_cache
  1083. jasmin >= "2023.06.0"
  1084. jekyll-format >= "0.2.0"
  1085. jemalloc >= "0.2"
  1086. jerboa
  1087. jext
  1088. jhupllib >= "0.2.1"
  1089. jingoo >= "1.3.0"
  1090. jose
  1091. js_of_ocaml >= "3.3.0"
  1092. js_of_ocaml-compiler >= "3.3.0"
  1093. js_of_ocaml-lwt >= "3.3.0"
  1094. js_of_ocaml-ocamlbuild >= "3.5.0"
  1095. js_of_ocaml-ppx >= "3.3.0"
  1096. js_of_ocaml-ppx_deriving_json >= "3.3.0"
  1097. js_of_ocaml-toplevel >= "3.3.0"
  1098. js_of_ocaml-tyxml >= "3.3.0"
  1099. js_of_ocaml-webgpu
  1100. js_of_ocaml-webidl
  1101. js_of_ocaml_patches
  1102. json-data-encoding
  1103. json-data-encoding-browser
  1104. json-data-encoding-bson
  1105. json_decoder
  1106. jsonaf
  1107. jsonoo
  1108. jsonrpc
  1109. jsonschema2atd
  1110. jsonxt
  1111. jsoo-react
  1112. jsoo_broadcastchannel >= "2.0.0"
  1113. jsoo_storage >= "1.0.1"
  1114. jst-config
  1115. junit >= "2.0.1"
  1116. junit_alcotest >= "2.0.1"
  1117. junit_ounit >= "2.0.1"
  1118. jupyter >= "2.3.2"
  1119. jupyter-archimedes >= "2.3.2"
  1120. jupyter-kernel >= "0.4"
  1121. jwto
  1122. kafka >= "0.5"
  1123. kafka_async
  1124. kafka_lwt
  1125. kappa-agents
  1126. kappa-binaries
  1127. kappa-library
  1128. kappa-server
  1129. kcas < "0.7.0"
  1130. kcas_data < "0.7.0"
  1131. kdl
  1132. ke
  1133. key-parsers >= "0.10.0"
  1134. kicadsch >= "0.4.0"
  1135. kind2
  1136. kinetic-client >= "0.0.11"
  1137. kittyimg
  1138. kkmarkdown
  1139. kmt
  1140. knights_tour
  1141. kqueue
  1142. krb
  1143. lab
  1144. lablgtk3 >= "3.0.beta4"
  1145. lablgtk3-extras >= "3.0.1"
  1146. lablgtk3-goocanvas2
  1147. lablgtk3-gtkspell3
  1148. lablgtk3-rsvg2
  1149. lablgtk3-sourceview3
  1150. lablqml >= "0.6"
  1151. labrys
  1152. lacaml >= "11.0.2"
  1153. ladspa >= "0.2.0"
  1154. lambda
  1155. lambda-runtime
  1156. lambda-term >= "2.0"
  1157. lambda_streams
  1158. lambda_streams_async
  1159. lambda_streams_lwt
  1160. lambdapi >= "2.0.0"
  1161. lambdasoup >= "0.6.4"
  1162. lame >= "0.3.4"
  1163. landmarks >= "1.4"
  1164. landmarks-ppx
  1165. lascar >= "0.6-alpha"
  1166. lastfm >= "0.3.3"
  1167. launchd >= "1.3"
  1168. lazy-trie >= "1.2.0"
  1169. lbfgs >= "0.9.1"
  1170. lbvs_consent >= "2.1.0"
  1171. ldap >= "2.4.1"
  1172. ldp
  1173. ldp_curl
  1174. ldp_js
  1175. ldp_tls
  1176. leaflet
  1177. learn-ocaml
  1178. learn-ocaml-client
  1179. ledgerwallet
  1180. ledgerwallet-tezos
  1181. lens >= "1.2.3"
  1182. let-if >= "0.2.0"
  1183. letsencrypt
  1184. letsencrypt-app
  1185. letsencrypt-dns
  1186. letsencrypt-mirage
  1187. letters
  1188. leveldb >= "1.3.0"
  1189. lib_parsing
  1190. libabsolute
  1191. libbinaryen < "105.1.0" | >= "107.0.1"
  1192. libirmin
  1193. libsail
  1194. libsvm >= "0.10.0"
  1195. libzipperposition
  1196. lilac
  1197. lilv
  1198. line-up-words >= "v0.12.0"
  1199. line_oriented
  1200. linenoise >= "1.2.0"
  1201. links >= "0.9"
  1202. links-mysql
  1203. links-postgresql >= "0.9"
  1204. links-sqlite3
  1205. linol
  1206. linol-lwt
  1207. lintcstubs
  1208. lintcstubs-arity
  1209. lintcstubs-gen
  1210. linwrap
  1211. liquid_interpreter
  1212. liquid_ml
  1213. liquid_parser
  1214. liquid_std
  1215. liquid_syntax
  1216. liquidsoap >= "2.2.0"
  1217. liquidsoap-core
  1218. liquidsoap-js
  1219. liquidsoap-lang
  1220. liquidsoap-libs
  1221. liquidsoap-libs-extra
  1222. liquidsoap-mode
  1223. little_logger
  1224. llama
  1225. llama-cpp-ocaml
  1226. llama_core
  1227. llama_interactive
  1228. llama_midi
  1229. llvm >= "15.0.7+nnp-2"
  1230. lmdb >= "1.0"
  1231. lo >= "0.2.0"
  1232. lockfree
  1233. loga >= "0.0.5"
  1234. logical
  1235. logs-async < "1.3"
  1236. logs-async-reporter < "1.3"
  1237. logs-ppx
  1238. logs-syslog >= "0.2.0"
  1239. logtk >= "1.5.1"
  1240. lp
  1241. lp-glpk
  1242. lp-glpk-js
  1243. lp-gurobi
  1244. lpd >= "1.2.2"
  1245. lreplay
  1246. lru >= "0.3.0"
  1247. lru_cache
  1248. lsp
  1249. lt-code
  1250. lua-ml >= "0.9.3"
  1251. lua_parser
  1252. lucid
  1253. lun
  1254. lustre-v6 >= "6.103.3"
  1255. lutils >= "1.51.2"
  1256. lutin >= "2.71.10"
  1257. luv
  1258. luv_unix
  1259. lwd
  1260. lwt >= "4.2.0"
  1261. lwt-canceler >= "0.2"
  1262. lwt-dllist
  1263. lwt-exit
  1264. lwt-parallel >= "1.0.0"
  1265. lwt-watcher >= "0.2"
  1266. lwt_domain
  1267. lwt_eio
  1268. lwt_glib >= "1.1.1"
  1269. lwt_log >= "1.1.1"
  1270. lwt_ppx >= "1.2.2"
  1271. lwt_ppx_let
  1272. lwt_react >= "1.1.2"
  1273. lwt_ssl >= "1.1.3"
  1274. lz4 >= "1.2.0"
  1275. lz4_chans >= "3.0.1"
  1276. m_tree
  1277. macaddr
  1278. macaddr-cstruct
  1279. macaddr-sexp
  1280. mad >= "0.5.0"
  1281. magic-mime >= "1.1.2"
  1282. magic-trace
  1283. make-random
  1284. malfunction >= "0.3"
  1285. man_in_the_middle_debugger
  1286. markdown
  1287. markup >= "0.8.0"
  1288. markup-lwt
  1289. mastodon-archive-viewer >= "0.2"
  1290. matita
  1291. matplotlib
  1292. mbr-format >= "1.0.0"
  1293. mc2
  1294. mccs >= "1.1+10"
  1295. md2mld
  1296. mdx != "1.7.0"
  1297. mec
  1298. mechaml >= "1.1.0"
  1299. mehari
  1300. mehari-eio
  1301. mehari-eio-unix
  1302. mehari-lwt-unix
  1303. mehari-mirage
  1304. mel
  1305. melange
  1306. melange-atdgen-codec-runtime
  1307. melange-compiler-libs
  1308. melange-fetch
  1309. melange-numeral
  1310. melange-react-dates
  1311. melange-react-query
  1312. melange-recharts
  1313. melange-testing-library
  1314. melange-webapi
  1315. meldep
  1316. mem_usage
  1317. memcad >= "1.1.0"
  1318. memgraph
  1319. memgraph_kitty
  1320. memo
  1321. memprof-limits
  1322. memtrace
  1323. memtrace-mirage
  1324. memtrace_viewer
  1325. menhir >= "20200123"
  1326. menhirCST
  1327. menhirLib
  1328. menhirSdk
  1329. merge-fmt
  1330. merlin >= "3.2.1"
  1331. merlin-extend >= "0.4"
  1332. merlin-lib
  1333. mesh >= "0.9.5"
  1334. mesh-easymesh >= "0.9.5"
  1335. mesh-graphics >= "0.9.5"
  1336. mesh-triangle >= "0.9.5"
  1337. metadata
  1338. metadb
  1339. metapp
  1340. metaquot
  1341. metrics
  1342. metrics-influx
  1343. metrics-lwt
  1344. metrics-mirage
  1345. metrics-rusage
  1346. metrics-unix
  1347. mew
  1348. mew_vi
  1349. middleware
  1350. mimic
  1351. mimic-happy-eyeballs
  1352. mindstorm >= "0.8"
  1353. mindstorm-lwt
  1354. minicaml
  1355. minicli >= "5.0.2"
  1356. minisat >= "0.3"
  1357. miou
  1358. mirage >= "3.3.0"
  1359. mirage-block >= "1.2.0"
  1360. mirage-block-ccm >= "1.1.0"
  1361. mirage-block-combinators
  1362. mirage-block-lwt >= "1.2.0"
  1363. mirage-block-partition
  1364. mirage-block-ramdisk >= "0.4"
  1365. mirage-block-solo5 >= "0.6.0"
  1366. mirage-block-unix >= "2.11.0"
  1367. mirage-block-xen >= "1.6.0"
  1368. mirage-bootvar-solo5 >= "0.6.0"
  1369. mirage-bootvar-unix
  1370. mirage-bootvar-xen >= "0.6.0"
  1371. mirage-channel >= "3.2.0"
  1372. mirage-channel-lwt >= "3.2.0"
  1373. mirage-clock >= "2.0.0"
  1374. mirage-clock-freestanding >= "2.0.0"
  1375. mirage-clock-lwt >= "2.0.0"
  1376. mirage-clock-solo5
  1377. mirage-clock-unix >= "2.0.0"
  1378. mirage-conduit = "1.3.0" | >= "3.1.0"
  1379. mirage-console >= "2.4.0"
  1380. mirage-console-lwt >= "2.4.0"
  1381. mirage-console-solo5 >= "0.6.0"
  1382. mirage-console-unix >= "2.4.1"
  1383. mirage-console-xen >= "2.4.0"
  1384. mirage-console-xen-backend >= "2.4.0"
  1385. mirage-console-xen-proto >= "2.4.0"
  1386. mirage-crypto
  1387. mirage-crypto-ec
  1388. mirage-crypto-entropy
  1389. mirage-crypto-pk
  1390. mirage-crypto-rng
  1391. mirage-crypto-rng-async
  1392. mirage-crypto-rng-eio
  1393. mirage-crypto-rng-lwt
  1394. mirage-crypto-rng-mirage
  1395. mirage-device >= "1.2.0"
  1396. mirage-dns >= "3.1.0"
  1397. mirage-entropy >= "0.5.1"
  1398. mirage-flow >= "1.6.0"
  1399. mirage-flow-combinators
  1400. mirage-flow-lwt >= "1.6.0"
  1401. mirage-flow-rawlink >= "1.1.0"
  1402. mirage-flow-unix >= "1.6.0"
  1403. mirage-fs >= "1.2.0"
  1404. mirage-fs-lwt >= "1.2.0"
  1405. mirage-fs-mem
  1406. mirage-fs-unix >= "1.6.0"
  1407. mirage-kv >= "2.0.0"
  1408. mirage-kv-lwt >= "2.0.0"
  1409. mirage-kv-mem
  1410. mirage-kv-unix
  1411. mirage-logs >= "1.0.0"
  1412. mirage-monitoring
  1413. mirage-nat >= "1.1.0"
  1414. mirage-net >= "2.0.0"
  1415. mirage-net-lwt >= "2.0.0"
  1416. mirage-net-macosx >= "1.5.0"
  1417. mirage-net-solo5 >= "0.4.3"
  1418. mirage-net-unix >= "2.5.0"
  1419. mirage-net-xen >= "1.9.0"
  1420. mirage-profile >= "0.9.0"
  1421. mirage-profile-unix >= "0.9.0"
  1422. mirage-profile-xen >= "0.9.0"
  1423. mirage-protocols >= "2.0.0"
  1424. mirage-protocols-lwt >= "2.0.0"
  1425. mirage-qubes >= "0.7.0"
  1426. mirage-qubes-ipv4 >= "0.7.0"
  1427. mirage-random >= "1.2.0"
  1428. mirage-random-stdlib
  1429. mirage-random-test
  1430. mirage-runtime >= "3.3.0"
  1431. mirage-solo5 >= "0.6.2"
  1432. mirage-stack >= "1.4.0"
  1433. mirage-stack-lwt >= "1.4.0"
  1434. mirage-time >= "1.3.0"
  1435. mirage-time-lwt >= "1.3.0"
  1436. mirage-time-unix >= "1.3.0"
  1437. mirage-types >= "3.3.0"
  1438. mirage-types-lwt >= "3.3.0"
  1439. mirage-unix >= "3.2.0"
  1440. mirage-vnetif >= "0.4.2"
  1441. mirage-vnetif-stack
  1442. mirage-xen >= "3.2.0"
  1443. mkaudio >= "1.1.0"
  1444. mkocaml
  1445. mlbdd >= "0.7.2"
  1446. mlfenv
  1447. mlmpfr >= "4.0.2+dune"
  1448. mlpost >= "0.9"
  1449. mlpost-lablgtk
  1450. mlt_parser >= "v0.12.0"
  1451. mm >= "0.7.0"
  1452. mmap
  1453. mmdb
  1454. mnd
  1455. mock >= "0.1.1"
  1456. mock-ounit >= "0.1.1"
  1457. module-graph
  1458. molenc >= "5.0.0"
  1459. monaco_jsoo
  1460. monocypher
  1461. monolith
  1462. monomorphic >= "2.0"
  1463. monorobot
  1464. moonpool
  1465. moonpool-lwt
  1466. morbig >= "0.10.3"
  1467. morsmall
  1468. moss >= "0.1.1"
  1469. mparser >= "1.3"
  1470. mparser-pcre
  1471. mparser-re
  1472. mperf
  1473. mpg123
  1474. mpp >= "0.3.4"
  1475. mpris >= "0.2.0"
  1476. mpris-clients
  1477. mrmime
  1478. mrt-format >= "0.3.1"
  1479. msat >= "0.8"
  1480. msat-bin
  1481. msgpck >= "1.5"
  1482. msgpck-repr
  1483. mssql
  1484. mugen
  1485. mula
  1486. multibase
  1487. multicodec
  1488. multicont = "1.0.1"
  1489. multicore-bench < "0.1.2"
  1490. multicore-magic
  1491. multihash
  1492. multihash-digestif
  1493. multipart-form-data >= "0.3.0"
  1494. multipart_form
  1495. multipart_form-cohttp-lwt
  1496. multipart_form-eio
  1497. multipart_form-lwt
  1498. murmur3 >= "0.3"
  1499. mustache >= "3.1.0"
  1500. mustache-cli
  1501. mutaml
  1502. mutf8
  1503. mwt
  1504. mysql8
  1505. mysql_protocol >= "3.0.1"
  1506. n_ary
  1507. naboris
  1508. nacc
  1509. nanoid
  1510. nanosvg
  1511. nanosvg_text
  1512. nbd >= "4.0.3"
  1513. nbd-tool
  1514. nbd-unix
  1515. netchannel >= "1.9.0"
  1516. netkat
  1517. netlink >= "0.3.4"
  1518. netsnmp
  1519. nice_parser
  1520. ninja_utils
  1521. niru
  1522. nloge
  1523. nlopt
  1524. nmea
  1525. noCanren >= "0.3.0~alpha1"
  1526. nocoiner
  1527. node_of_ocaml
  1528. noise
  1529. non_empty_list
  1530. nottui
  1531. nottui-lwt
  1532. nottui-pretty
  1533. notty >= "0.2.3"
  1534. notty_async >= "v0.12.0"
  1535. np
  1536. npy >= "0.0.9"
  1537. nsq >= "0.4.0"
  1538. numeric_string
  1539. nuscr
  1540. OCADml
  1541. OCanren
  1542. OCanren-ppx
  1543. OSCADml
  1544. obeam
  1545. obelisk >= "0.5.0"
  1546. obuilder
  1547. obuilder-spec
  1548. obus >= "1.2.0"
  1549. ocal >= "0.2.2"
  1550. ocaml-canvas
  1551. ocaml-compiler-libs >= "v0.12.0"
  1552. ocaml-embed-file
  1553. ocaml-in-python
  1554. ocaml-lsp-server
  1555. ocaml-lua >= "1.8"
  1556. ocaml-migrate-parsetree >= "1.2.0"
  1557. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  1558. ocaml-monadic >= "0.4.1"
  1559. ocaml-print-intf
  1560. ocaml-probes
  1561. ocaml-protoc >= "2.0.1"
  1562. ocaml-protoc-plugin
  1563. ocaml-r >= "0.1.1"
  1564. ocaml-syntax-shims
  1565. ocaml-systemd >= "1.3"
  1566. ocaml-top >= "1.2.0"
  1567. ocaml-vdom < "transition"
  1568. ocaml-version >= "1.0.0"
  1569. ocaml_db_model
  1570. ocaml_intrinsics
  1571. ocaml_pgsql_model
  1572. ocaml_plugin >= "v0.12.0"
  1573. ocamlapi
  1574. ocamlapi_async
  1575. ocamlapi_lwt_unix
  1576. ocamlapi_ppx
  1577. ocamlc-loc < "3.14.0"
  1578. ocamlcodoc
  1579. ocamldiff >= "1.2"
  1580. ocamlformat >= "0.24.1"
  1581. ocamlformat-lib
  1582. ocamlformat-rpc < "removed"
  1583. ocamlformat-rpc-lib
  1584. ocamlfuse >= "2.7.1-cvs6"
  1585. ocamlgraph >= "2.0.0"
  1586. ocamlgraph_gtk
  1587. ocamline
  1588. ocamlog
  1589. ocamlregextkit
  1590. ocb
  1591. ocf >= "0.8.0"
  1592. ocf_ppx
  1593. ockt
  1594. ocluster != "0.2"
  1595. ocluster-api
  1596. ocluster-worker
  1597. ocolor
  1598. ocp-browser >= "1.1.9"
  1599. ocp-indent >= "1.7.0"
  1600. ocp-indent-nlfork >= "1.5.4"
  1601. ocp-index >= "1.1.9"
  1602. ocp-search
  1603. ocp_reveal
  1604. ocplib-endian >= "1.1"
  1605. ocplib-json-typed-browser
  1606. ocplib-json-typed-bson
  1607. ocplib-simplex >= "0.5"
  1608. ocplib_stuff >= "0.4.0"
  1609. ocsigen-i18n >= "4.0.0"
  1610. ocsigen-ppx-rpc
  1611. ocsigenserver >= "4.0.1"
  1612. ocsipersist
  1613. ocsipersist-dbm
  1614. ocsipersist-lib
  1615. ocsipersist-pgsql
  1616. ocsipersist-sqlite
  1617. octavius >= "1.2.2"
  1618. octez-accuser-Proxford < "19.0"
  1619. octez-accuser-PtKathma
  1620. octez-accuser-PtLimaPt
  1621. octez-accuser-PtMumbai
  1622. octez-accuser-PtNairob < "19.0"
  1623. octez-alcotezt < "19.0"
  1624. octez-baker-Proxford < "19.0"
  1625. octez-baker-PtKathma
  1626. octez-baker-PtLimaPt
  1627. octez-baker-PtMumbai
  1628. octez-baker-PtNairob < "19.0"
  1629. octez-bls12-381-hash
  1630. octez-bls12-381-polynomial
  1631. octez-bls12-381-signature
  1632. octez-client < "19.0"
  1633. octez-codec < "19.0"
  1634. octez-crawler < "19.0"
  1635. octez-dac-client < "19.0"
  1636. octez-dac-node < "19.0"
  1637. octez-distributed-internal < "19.0"
  1638. octez-distributed-lwt-internal < "19.0"
  1639. octez-injector < "19.0"
  1640. octez-l2-libs < "19.0"
  1641. octez-libs < "19.0"
  1642. octez-mec
  1643. octez-node < "19.0"
  1644. octez-node-config < "19.0"
  1645. octez-plompiler
  1646. octez-plonk
  1647. octez-polynomial
  1648. octez-proto-libs < "19.0"
  1649. octez-protocol-000-Ps9mPmXa-libs < "19.0"
  1650. octez-protocol-001-PtCJ7pwo-libs < "19.0"
  1651. octez-protocol-002-PsYLVpVv-libs < "19.0"
  1652. octez-protocol-003-PsddFKi3-libs < "19.0"
  1653. octez-protocol-004-Pt24m4xi-libs < "19.0"
  1654. octez-protocol-005-PsBabyM1-libs < "19.0"
  1655. octez-protocol-006-PsCARTHA-libs < "19.0"
  1656. octez-protocol-007-PsDELPH1-libs < "19.0"
  1657. octez-protocol-008-PtEdo2Zk-libs < "19.0"
  1658. octez-protocol-009-PsFLoren-libs < "19.0"
  1659. octez-protocol-010-PtGRANAD-libs < "19.0"
  1660. octez-protocol-011-PtHangz2-libs < "19.0"
  1661. octez-protocol-012-Psithaca-libs < "19.0"
  1662. octez-protocol-013-PtJakart-libs < "19.0"
  1663. octez-protocol-014-PtKathma-libs < "19.0"
  1664. octez-protocol-015-PtLimaPt-libs < "19.0"
  1665. octez-protocol-016-PtMumbai-libs < "19.0"
  1666. octez-protocol-017-PtNairob-libs < "19.0"
  1667. octez-protocol-018-Proxford-libs < "19.0"
  1668. octez-protocol-alpha-libs < "19.0"
  1669. octez-protocol-compiler < "19.0"
  1670. octez-proxy-server < "19.0"
  1671. octez-shell-libs < "19.0"
  1672. octez-signer < "19.0"
  1673. octez-smart-rollup-client-Proxford
  1674. octez-smart-rollup-client-PtMumbai
  1675. octez-smart-rollup-client-PtNairob
  1676. octez-smart-rollup-node < "19.0"
  1677. octez-smart-rollup-node-alpha < "19.0"
  1678. octez-smart-rollup-node-lib < "19.0"
  1679. octez-smart-rollup-node-Proxford < "19.0"
  1680. octez-smart-rollup-node-PtMumbai
  1681. octez-smart-rollup-node-PtNairob < "19.0"
  1682. octez-smart-rollup-wasm-benchmark-lib
  1683. octez-smart-rollup-wasm-debugger < "19.0"
  1684. octez-tx-rollup-client-PtKathma
  1685. octez-tx-rollup-client-PtLimaPt
  1686. octez-tx-rollup-node-PtKathma
  1687. octez-tx-rollup-node-PtLimaPt
  1688. octez-validator
  1689. octez-version < "19.0"
  1690. odash
  1691. odate >= "0.6"
  1692. odds >= "1.1"
  1693. odep
  1694. odepack >= "0.6.9"
  1695. odnnr
  1696. odoc >= "1.4.0"
  1697. odoc-parser
  1698. of_json
  1699. offheap
  1700. ogg = "0.6.0" | >= "0.7.0"
  1701. ohex
  1702. oidc
  1703. ojo
  1704. ojs
  1705. ojs_base
  1706. ojs_base_all
  1707. ojs_base_ppx
  1708. ojs_ed
  1709. ojs_filetree
  1710. ojs_list
  1711. olinq >= "0.3"
  1712. oma
  1713. omd >= "1.3.2"
  1714. ometrics
  1715. omg
  1716. omigrate
  1717. omlr >= "1.0.3"
  1718. omtl
  1719. oneffs
  1720. oniguruma
  1721. opam-0install
  1722. opam-0install-cudf
  1723. opam-bin >= "1.0.0"
  1724. opam-build
  1725. opam-check-npm-deps
  1726. opam-client >= "2.0.2"
  1727. opam-compiler
  1728. opam-core >= "2.0.2"
  1729. opam-custom-install
  1730. opam-devel >= "2.0.2"
  1731. opam-ed >= "0.4"
  1732. opam-file-format >= "2.1.0" & < "2.1.5"
  1733. opam-format >= "2.0.2"
  1734. opam-graph
  1735. opam-grep >= "0.2.0"
  1736. opam-installer >= "2.0.2"
  1737. opam-monorepo
  1738. opam-package-upgrade >= "0.2"
  1739. opam-publish >= "2.0.2"
  1740. opam-repository >= "2.0.2"
  1741. opam-solver >= "2.0.2"
  1742. opam-spin
  1743. opam-state >= "2.0.2"
  1744. opam-test
  1745. opam2web >= "2.0"
  1746. opam_bin_lib != "0.9.5"
  1747. opasswd >= "1.3.1"
  1748. opazl
  1749. openai
  1750. openai-gym
  1751. openapi
  1752. openapi_router
  1753. opencc0
  1754. opencc1
  1755. opencc1_1
  1756. openQASM
  1757. openstellina
  1758. opentelemetry
  1759. opentelemetry-client-cohttp-lwt
  1760. opentelemetry-client-ocurl
  1761. opentelemetry-cohttp-lwt
  1762. opentelemetry-lwt
  1763. opine
  1764. opium >= "0.17.0"
  1765. opium-graphql
  1766. opium-testing
  1767. opium_kernel >= "0.17.0"
  1768. oplot
  1769. oplsr
  1770. opomodoro
  1771. opsian
  1772. optal
  1773. opti
  1774. optimization1d >= "0.6.1"
  1775. optiml-transport
  1776. optint >= "0.0.2"
  1777. opus >= "0.2.0"
  1778. oraft
  1779. oranger >= "2.0.1"
  1780. order-i3-xfce
  1781. ordering < "3.14.0"
  1782. ordinal
  1783. ordinal_abbreviation
  1784. ordma >= "0.0.5"
  1785. orec >= "1.0.1"
  1786. orewa
  1787. orf
  1788. orgeat
  1789. orpie
  1790. orrandomForest
  1791. orsvm_e1071 >= "4.0.0"
  1792. ortac-core
  1793. ortac-qcheck-stm
  1794. ortac-runtime
  1795. ortac-runtime-qcheck-stm
  1796. orun
  1797. orxgboost >= "1.1.0"
  1798. osc >= "0.2.0"
  1799. osc-lwt
  1800. osc-unix
  1801. oseq >= "0.2"
  1802. osh
  1803. oskel
  1804. osnap
  1805. osx-secure-transport >= "0.1.1"
  1806. otf
  1807. otoggl
  1808. otoml
  1809. otr >= "0.3.6"
  1810. ounit = "2.1.2"
  1811. ounit-lwt < "2.2.0"
  1812. ounit2
  1813. ounit2-lwt
  1814. override
  1815. owee >= "0.3"
  1816. owi
  1817. owl >= "0.4.0"
  1818. owl-base >= "0.4.0"
  1819. owl-jupyter
  1820. owl-ode
  1821. owl-ode-base
  1822. owl-ode-odepack
  1823. owl-ode-sundials
  1824. owl-opt
  1825. owl-opt-lbfgs
  1826. owl-plplot
  1827. owl-symbolic
  1828. owl-top >= "0.4.0"
  1829. owl-zoo >= "0.4.0"
  1830. owork
  1831. ozulip
  1832. p4pp
  1833. p5scm
  1834. packstream
  1835. pacomb
  1836. paf
  1837. paf-cohttp
  1838. paf-le
  1839. pam
  1840. pancake
  1841. pandoc
  1842. pandoc-abbreviations
  1843. pandoc-comment
  1844. pandoc-crossref
  1845. pandoc-include
  1846. pandoc-inspect
  1847. pandoc-pdf2png
  1848. pandoc-replace
  1849. papi >= "0.1.1"
  1850. par_incr
  1851. parany >= "7.0.2"
  1852. pardi >= "2.0.2"
  1853. pari
  1854. pari-bindings
  1855. parmap >= "1.1.1"
  1856. parse-argv >= "0.2.0"
  1857. parsexp >= "v0.12.0"
  1858. parsexp_io >= "v0.12.0"
  1859. parsley
  1860. patch
  1861. patdiff >= "v0.12.1"
  1862. path_glob
  1863. patience_diff >= "v0.12.0"
  1864. patoline >= "0.2"
  1865. patricia-tree
  1866. pattern
  1867. pb
  1868. pb-plugin
  1869. pbkdf >= "1.0.0"
  1870. pbrt
  1871. pbrt_services
  1872. pbrt_yojson
  1873. pcap-format >= "0.5.2"
  1874. pcre >= "7.3.5"
  1875. pcre2
  1876. pds-reachability >= "0.2.2"
  1877. pecu >= "0.2"
  1878. petr4
  1879. petrol
  1880. pf-qubes
  1881. pg_query
  1882. pgocaml >= "4.0"
  1883. pgocaml_ppx
  1884. pgx >= "1.0"
  1885. pgx_async >= "1.0"
  1886. pgx_lwt >= "1.0"
  1887. pgx_lwt_mirage
  1888. pgx_lwt_unix
  1889. pgx_unix >= "1.0"
  1890. pgx_value_core
  1891. pgx_value_ptime
  1892. phantom-algebra >= "1.0.1"
  1893. phonetic
  1894. phylogenetics
  1895. piaf
  1896. picasso
  1897. piece_rope
  1898. piqi >= "0.7.8"
  1899. piqilib >= "0.6.16"
  1900. pixel_pusher
  1901. pkcs11 >= "0.18.0"
  1902. pkcs11-cli
  1903. pkcs11-driver
  1904. pkcs11-rev
  1905. pla >= "1.3"
  1906. plateau
  1907. plato
  1908. plebeia
  1909. plist-xml
  1910. plist-xml-lwt
  1911. plotkicadsch >= "0.4.0"
  1912. plotly
  1913. plplot >= "5.11.0-1"
  1914. polars
  1915. polars_async
  1916. polka
  1917. poll
  1918. polling_state_rpc
  1919. polly
  1920. polynomial
  1921. pomap >= "4.1.0"
  1922. popper
  1923. portaudio >= "0.2.2"
  1924. portaudio_c_bindings
  1925. portmidi
  1926. posix-base
  1927. posix-bindings
  1928. posix-getopt >= "2.0.0"
  1929. posix-signal
  1930. posix-socket
  1931. posix-socket-unix
  1932. posix-time2
  1933. posix-types >= "2.0.0"
  1934. posix-uname
  1935. posixat >= "v0.12.0"
  1936. postgres_async
  1937. postgresql >= "4.4.1"
  1938. pp
  1939. pp-binary-ints
  1940. pp_loc
  1941. pprint >= "20200226"
  1942. ppx-owl-opt
  1943. ppx_accessor
  1944. ppx_assert >= "v0.12.0"
  1945. ppx_bap
  1946. ppx_base >= "v0.12.0"
  1947. ppx_bench >= "v0.12.0"
  1948. ppx_bigarray >= "3.0.0"
  1949. ppx_bin_prot >= "v0.12.0"
  1950. ppx_bitstring >= "4.0.0"
  1951. ppx_blob >= "0.6.0"
  1952. ppx_bsx
  1953. ppx_camlrack
  1954. ppx_catch
  1955. ppx_cold
  1956. ppx_compare >= "v0.12.0"
  1957. ppx_compose >= "0.1.0"
  1958. ppx_const >= "2.0"
  1959. ppx_conv_func >= "v0.12.0"
  1960. ppx_counters
  1961. ppx_css
  1962. ppx_cstruct >= "3.3.0"
  1963. ppx_cstubs
  1964. ppx_csv_conv >= "v0.12.0"
  1965. ppx_custom_printf >= "v0.12.0"
  1966. ppx_decimal
  1967. ppx_defer >= "0.4.0"
  1968. ppx_demo
  1969. ppx_derive_at_runtime
  1970. ppx_derivers >= "1.2.1"
  1971. ppx_deriving = "4.3" | >= "4.5-1"
  1972. ppx_deriving_cad
  1973. ppx_deriving_cmdliner >= "0.5.1"
  1974. ppx_deriving_encoding
  1975. ppx_deriving_hardcaml >= "v0.12.0"
  1976. ppx_deriving_hash
  1977. ppx_deriving_jsoo
  1978. ppx_deriving_madcast >= "0.2"
  1979. ppx_deriving_popper
  1980. ppx_deriving_protobuf >= "2.7"
  1981. ppx_deriving_qcheck
  1982. ppx_deriving_rpc >= "6.1.0"
  1983. ppx_deriving_scad
  1984. ppx_deriving_yaml
  1985. ppx_deriving_yojson >= "3.3"
  1986. ppx_disable_unused_warnings
  1987. ppx_distr_guards >= "0.2"
  1988. ppx_enum
  1989. ppx_enumerate >= "v0.12.0"
  1990. ppx_expect >= "v0.12.0"
  1991. ppx_factory
  1992. ppx_fail >= "v0.12.0"
  1993. ppx_fast_pipe
  1994. ppx_fields_conv >= "v0.12.0"
  1995. ppx_fixed_literal
  1996. ppx_gen_rec >= "1.1.0"
  1997. ppx_getenv >= "2.0"
  1998. ppx_globalize
  1999. ppx_hash >= "v0.12.0"
  2000. ppx_here >= "v0.12.0"
  2001. ppx_ignore_instrumentation
  2002. ppx_import >= "1.5-3-gbd627d5"
  2003. ppx_inline_alcotest
  2004. ppx_inline_test >= "v0.12.0" & < "v0.16.1"
  2005. ppx_interact
  2006. ppx_irmin
  2007. ppx_jane >= "v0.12.0"
  2008. ppx_js_style >= "v0.12.0"
  2009. ppx_jsobject_conv >= "0.6.0"
  2010. ppx_jsonaf_conv
  2011. ppx_let >= "v0.12.0"
  2012. ppx_log
  2013. ppx_lun
  2014. ppx_make
  2015. ppx_map
  2016. ppx_matches
  2017. ppx_meta_conv >= "4.0.1"
  2018. ppx_minidebug
  2019. ppx_module_timer
  2020. ppx_monad
  2021. ppx_monoid >= "0.3.2"
  2022. ppx_mysql
  2023. ppx_mysql_identity
  2024. ppx_open
  2025. ppx_optcomp >= "v0.12.0"
  2026. ppx_optint
  2027. ppx_optional >= "v0.12.0"
  2028. ppx_parser
  2029. ppx_pattern_bind
  2030. ppx_pbt
  2031. ppx_pipebang >= "v0.12.0"
  2032. ppx_protocol_conv >= "3.1.0"
  2033. ppx_protocol_conv_json >= "3.1.0"
  2034. ppx_protocol_conv_jsonm
  2035. ppx_protocol_conv_msgpack >= "3.1.0"
  2036. ppx_protocol_conv_xml_light >= "3.1.0"
  2037. ppx_protocol_conv_xmlm
  2038. ppx_protocol_conv_yaml >= "3.1.0"
  2039. ppx_pyformat
  2040. ppx_python
  2041. ppx_rapper
  2042. ppx_rapper_async
  2043. ppx_rapper_lwt
  2044. ppx_regexp >= "0.4.0"
  2045. ppx_relit
  2046. ppx_repr
  2047. ppx_seq
  2048. ppx_sexp_conv >= "v0.12.0"
  2049. ppx_sexp_message >= "v0.12.0"
  2050. ppx_sexp_value >= "v0.12.0"
  2051. ppx_show
  2052. ppx_stable
  2053. ppx_stable_witness
  2054. ppx_string
  2055. ppx_string_interpolation
  2056. ppx_subliner
  2057. ppx_system
  2058. ppx_test >= "1.7.0"
  2059. ppx_there
  2060. ppx_tools >= "6.0+4.08.0"
  2061. ppx_tools_versioned >= "5.2.2"
  2062. ppx_trace
  2063. ppx_ts
  2064. ppx_tydi
  2065. ppx_type_directed_value
  2066. ppx_typed_fields
  2067. ppx_typerep_conv >= "v0.12.0"
  2068. ppx_tyre
  2069. ppx_units
  2070. ppx_variants_conv >= "v0.12.0"
  2071. ppx_viewpattern
  2072. ppx_wideopen
  2073. ppx_xml_conv >= "v0.12.0"
  2074. ppx_yojson
  2075. ppx_yojson_conv
  2076. ppx_yojson_conv_lib
  2077. ppxfind >= "1.3"
  2078. ppxlib >= "0.4.0"
  2079. ppxx >= "2.4.0"
  2080. pratter
  2081. prbnmcn-basic-structures
  2082. prbnmcn-cgrph
  2083. prbnmcn-clustering
  2084. prbnmcn-dagger
  2085. prbnmcn-dagger-gsl
  2086. prbnmcn-dagger-stats
  2087. prbnmcn-dagger-test
  2088. prbnmcn-gnuplot
  2089. prbnmcn-linalg
  2090. prbnmcn-mcts
  2091. prbnmcn-proptest
  2092. prbnmcn-stats
  2093. prbnmcn-ucb1
  2094. prc
  2095. preface
  2096. prettym
  2097. printbox >= "0.3"
  2098. printbox-html
  2099. printbox-md
  2100. printbox-text >= "0.6.1"
  2101. proc-smaps
  2102. process_limits
  2103. processor
  2104. producer
  2105. prof_spacetime >= "0.3.0"
  2106. profiling
  2107. profunctor
  2108. progress
  2109. prom
  2110. prometheus >= "0.6"
  2111. prometheus-app >= "0.6"
  2112. prometheus-liquidsoap >= "2"
  2113. promise
  2114. promise_jsoo
  2115. promise_jsoo_lwt
  2116. protocell
  2117. protocol-9p >= "1.0.0"
  2118. protocol-9p-tool >= "1.0.0"
  2119. protocol-9p-unix >= "1.0.0"
  2120. protocol_version_header >= "v0.12.0"
  2121. prr
  2122. psmt2-frontend = "0.3.0" | >= "0.4.0"
  2123. psq >= "0.1.1"
  2124. ptmap >= "2.0.5"
  2125. ptset >= "1.0.1"
  2126. pulseaudio >= "0.1.4"
  2127. pure-splitmix >= "0.3"
  2128. pvec
  2129. py >= "1.1"
  2130. pyast
  2131. pyml >= "20210924"
  2132. pyml_bindgen >= "0.3.0"
  2133. pyre-ast
  2134. pythonlib
  2135. qbf >= "0.3"
  2136. qcheck >= "0.9"
  2137. qcheck-alcotest
  2138. qcheck-core
  2139. qcheck-lin
  2140. qcheck-multicoretests-util
  2141. qcheck-ounit
  2142. qcheck-stm
  2143. qinap
  2144. qiskit < "0.44.0"
  2145. qmp >= "0.19.0"
  2146. qrencode >= "0.2"
  2147. qtest >= "2.10.1"
  2148. queenshead
  2149. quests
  2150. quickjs
  2151. radamsa
  2152. radare2 >= "0.0.3"
  2153. randii
  2154. randomconv >= "0.1.1"
  2155. randoml
  2156. range >= "0.8"
  2157. rangeSet
  2158. rankers
  2159. rawlink >= "1.0"
  2160. rawlink-eio
  2161. rawlink-lwt
  2162. raygui
  2163. raylib
  2164. rdbg >= "1.196.12"
  2165. rdf >= "0.13.0"
  2166. rdf_impls
  2167. rdf_json_ld
  2168. rdf_lwt
  2169. rdf_mysql
  2170. rdf_postgresql
  2171. rdf_ppx
  2172. re >= "1.9.0"
  2173. re2 >= "v0.12.1"
  2174. re2_stable
  2175. re_parser
  2176. rea
  2177. reactiveData >= "0.3.0"
  2178. reactjs-jsx-ppx
  2179. readline
  2180. reanalyze
  2181. reason >= "3.5.0"
  2182. reason-react < "0.12.0"
  2183. reason-standard
  2184. received
  2185. record_builder >= "v0.12.0"
  2186. records >= "1.0.0"
  2187. reddit_api_async
  2188. reddit_api_kernel
  2189. redirect
  2190. redis >= "0.4"
  2191. redis-async
  2192. redis-lwt >= "0.4"
  2193. redis-sync >= "0.4"
  2194. reed-solomon-erasure >= "1.0.2"
  2195. reedsolomon >= "0.3"
  2196. refl
  2197. regenerate >= "0.2"
  2198. regex_parser_intf
  2199. relit_helper
  2200. remu_ts
  2201. reparse
  2202. reparse-lwt
  2203. reparse-lwt-unix
  2204. reparse-unix
  2205. repr
  2206. repr-bench
  2207. repr-fuzz
  2208. res >= "5.0.1"
  2209. res_tailwindcss
  2210. rescript-syntax
  2211. reshowcase
  2212. resource-pooling >= "1.1"
  2213. resource_cache >= "v0.12.0"
  2214. resp
  2215. resp-client
  2216. resp-mirage
  2217. resp-server >= "0.9"
  2218. resp-unix
  2219. resto
  2220. resto-acl
  2221. resto-cohttp
  2222. resto-cohttp-client
  2223. resto-cohttp-self-serving-client
  2224. resto-cohttp-server
  2225. resto-directory
  2226. resto-json
  2227. result >= "1.4"
  2228. rfc1951 >= "0.8.1" & != "1.0.0"
  2229. rfc6287 >= "1.0.4"
  2230. rfc7748
  2231. rfsm >= "1.6-alpha-3" & < "2.0"
  2232. rhythm
  2233. ringo
  2234. ringo-lwt
  2235. river >= "0.2"
  2236. rock
  2237. roman
  2238. root1d >= "0.5.1"
  2239. rope >= "0.6.2"
  2240. rosa
  2241. rosetta >= "0.2.0"
  2242. routes
  2243. rpc >= "6.1.0"
  2244. rpc_parallel >= "v0.12.0"
  2245. rpclib >= "6.1.0"
  2246. rpclib-async >= "6.1.0"
  2247. rpclib-html
  2248. rpclib-js
  2249. rpclib-lwt >= "6.1.0"
  2250. rsdd
  2251. rss
  2252. rtop >= "3.5.0"
  2253. rtree
  2254. rungen
  2255. runtime_events_tools
  2256. rusage
  2257. SourceCode_ASCII
  2258. SZXX
  2259. safemoney
  2260. safepass >= "3.1"
  2261. sail >= "0.15"
  2262. sail_c_backend
  2263. sail_coq_backend
  2264. sail_doc_backend
  2265. sail_latex_backend
  2266. sail_lem_backend
  2267. sail_manifest
  2268. sail_ocaml_backend
  2269. sail_output
  2270. sail_smt_backend
  2271. sail_sv_backend
  2272. salsa20 >= "1.0.0"
  2273. salsa20-core >= "1.0.0"
  2274. samplerate >= "0.1.5"
  2275. sanddb >= "0.2"
  2276. sarek >= "20210823"
  2277. satex
  2278. saturn
  2279. saturn_lockfree
  2280. satyrographos
  2281. scad_ml
  2282. scaml
  2283. scfg
  2284. scgi
  2285. scipy
  2286. scrypt-kdf >= "1.0.0"
  2287. sd_logic
  2288. sdl-liquidsoap >= "3"
  2289. search
  2290. searchTree
  2291. secp256k1 >= "0.4.1"
  2292. secp256k1-internal
  2293. sedlex >= "2.0"
  2294. sek
  2295. sel
  2296. selective
  2297. semantic_version
  2298. semaphore-compat
  2299. semver >= "0.2.1"
  2300. semver2
  2301. sendmail
  2302. sendmail-lwt
  2303. sentry
  2304. seq >= "0.2" & < "base"
  2305. seqes
  2306. sequencer_table >= "v0.12.0"
  2307. serde < "0.0.2"
  2308. serde_debug
  2309. serde_derive < "0.0.2"
  2310. serde_json < "0.0.2"
  2311. serde_sexpr
  2312. serde_xml
  2313. serial
  2314. session >= "0.4.1"
  2315. session-cohttp >= "0.4.1"
  2316. session-cohttp-async >= "0.4.1"
  2317. session-cohttp-lwt >= "0.4.1"
  2318. session-cookie
  2319. session-cookie-async
  2320. session-cookie-lwt
  2321. session-postgresql >= "0.4.1"
  2322. session-postgresql-async >= "0.4.1"
  2323. session-postgresql-lwt >= "0.4.1"
  2324. session-redis-lwt >= "0.4.1"
  2325. session-webmachine >= "0.4.1"
  2326. setcore >= "1.0.2"
  2327. sexp
  2328. sexp_decode
  2329. sexp_diff
  2330. sexp_diff_kernel
  2331. sexp_grammar
  2332. sexp_macro
  2333. sexp_pretty >= "v0.12.0"
  2334. sexp_select
  2335. sexp_string_quickcheck
  2336. sexplib >= "v0.12.0"
  2337. sexplib0 >= "v0.12.0"
  2338. sgf >= "1.0.1"
  2339. sha >= "1.13"
  2340. shapefile
  2341. shared-block-ring >= "3.0.0"
  2342. shared-memory-ring >= "3.1.0"
  2343. shared-memory-ring-lwt >= "3.1.0"
  2344. shared-secret >= "0.4"
  2345. shell
  2346. sherlodoc
  2347. shexp >= "v0.12.0"
  2348. shine >= "0.2.2"
  2349. shuttle
  2350. shuttle_http
  2351. shuttle_ssl
  2352. shuttle_websocket
  2353. sifun
  2354. sihl
  2355. sihl-cache
  2356. sihl-contract
  2357. sihl-core
  2358. sihl-email
  2359. sihl-facade
  2360. sihl-persistence
  2361. sihl-queue
  2362. sihl-session
  2363. sihl-storage
  2364. sihl-token
  2365. sihl-type
  2366. sihl-user
  2367. sihl-web
  2368. simlog
  2369. simple63
  2370. sklearn
  2371. slack
  2372. slacko >= "0.14.1"
  2373. slug
  2374. smart-print >= "0.3.0"
  2375. smbc >= "0.5"
  2376. smol
  2377. smol-helpers
  2378. smtlib-utils
  2379. smtml
  2380. snappy >= "0.1.2"
  2381. snoke
  2382. so
  2383. sodium-fmt
  2384. solid
  2385. solid_server
  2386. solid_tools
  2387. solidity-alcotest
  2388. solidity-common
  2389. solidity-parser
  2390. solidity-test
  2391. solidity-typechecker
  2392. solo5-elftool
  2393. sortedseq_intersect
  2394. soundtouch >= "0.1.9"
  2395. soupault
  2396. spacetime_lib >= "0.3.0"
  2397. spatial-shell
  2398. spawn < "v0.9.0" | >= "v0.13.0"
  2399. spdx_licenses
  2400. spectrum
  2401. speex >= "0.4.0"
  2402. spelll >= "0.4"
  2403. spin
  2404. splay_tree >= "v0.12.0"
  2405. splittable_random >= "v0.12.0"
  2406. spoc >= "20210823"
  2407. spoc_ppx
  2408. spoke
  2409. spotify-web-api >= "0.2.1"
  2410. spotlib >= "4.1.0"
  2411. sqlgg >= "20200521"
  2412. sqlite3 >= "4.4.1"
  2413. sqlite3_utils
  2414. srt
  2415. ssh-agent >= "0.2.0"
  2416. ssh-agent-unix
  2417. ssl >= "0.5.6"
  2418. stdcompat >= "19"
  2419. stdint >= "0.6.0"
  2420. stdint-literals
  2421. stdio >= "v0.12.0"
  2422. stdlib-diff
  2423. stdlib-random
  2424. stdlib-shims
  2425. stdune < "3.14.0"
  2426. stitch
  2427. stk
  2428. stk_iconv
  2429. stog >= "0.20.0"
  2430. stog_all
  2431. stog_asy
  2432. stog_dot
  2433. stog_extern
  2434. stog_markdown
  2435. stog_multi_doc
  2436. stog_nocaml
  2437. stog_noexec
  2438. stog_plugins
  2439. stog_rdf
  2440. stog_rel_href
  2441. stog_server
  2442. stog_server_multi
  2443. stog_sitemap
  2444. stog_writing
  2445. stored_reversed
  2446. stramon-lib
  2447. streamable
  2448. streaming
  2449. string_dict >= "v0.12.0"
  2450. stringext >= "1.6.0"
  2451. sturgeon >= "0.4.2"
  2452. styled-ppx
  2453. subscriptions-transport-ws
  2454. subtype-refinement >= "0.2"
  2455. sun
  2456. svmwrap
  2457. swagger >= "0.2.0"
  2458. swhid
  2459. swhid_compute
  2460. swhid_core
  2461. swhid_types
  2462. swipl
  2463. syguslib-utils
  2464. syncweb
  2465. syndic >= "1.6.0"
  2466. sys-socket
  2467. sys-socket-unix
  2468. syslog >= "2.0.1"
  2469. syslog-message >= "1.0.0"
  2470. syslog-rfc5424
  2471. systemverilog >= "0.0.2"
  2472. tablecloth-base
  2473. tablecloth-melange
  2474. tablecloth-native < "transition"
  2475. taglib >= "0.3.7"
  2476. talaria-bibtex
  2477. tar >= "1.0.0"
  2478. tar-eio
  2479. tar-mirage >= "1.0.0"
  2480. tar-unix >= "1.0.0"
  2481. tcalc
  2482. tcpip >= "3.7.0"
  2483. tdigest
  2484. teash
  2485. telltime
  2486. tensorboard
  2487. terminal
  2488. terminal_size >= "0.1.4"
  2489. terminus
  2490. terminus-cohttp
  2491. terminus-hlc
  2492. testu01
  2493. textmate-language
  2494. textrazor
  2495. textutils >= "v0.12.0"
  2496. textutils_kernel >= "v0.12.0"
  2497. textwrap >= "0.2.1"
  2498. tezos-008-PtEdo2Zk-test-helpers
  2499. tezos-009-PsFLoren-test-helpers
  2500. tezos-010-PtGRANAD-test-helpers
  2501. tezos-011-PtHangz2-test-helpers
  2502. tezos-012-Psithaca-test-helpers
  2503. tezos-013-PtJakart-test-helpers
  2504. tezos-014-PtKathma-test-helpers
  2505. tezos-accuser-006-PsCARTHA
  2506. tezos-accuser-007-PsDELPH1
  2507. tezos-accuser-008-PtEdo2Zk
  2508. tezos-accuser-008-PtEdoTez
  2509. tezos-accuser-009-PsFLoren
  2510. tezos-accuser-010-PtGRANAD
  2511. tezos-accuser-011-PtHangz2
  2512. tezos-accuser-012-Psithaca
  2513. tezos-accuser-013-PtJakart
  2514. tezos-accuser-014-PtKathma
  2515. tezos-accuser-alpha
  2516. tezos-alpha-test-helpers
  2517. tezos-baker-006-PsCARTHA
  2518. tezos-baker-007-PsDELPH1
  2519. tezos-baker-008-PtEdo2Zk
  2520. tezos-baker-008-PtEdoTez
  2521. tezos-baker-009-PsFLoren
  2522. tezos-baker-010-PtGRANAD
  2523. tezos-baker-011-PtHangz2
  2524. tezos-baker-012-Psithaca
  2525. tezos-baker-013-PtJakart
  2526. tezos-baker-014-PtKathma
  2527. tezos-baker-alpha
  2528. tezos-baking-006-PsCARTHA
  2529. tezos-baking-006-PsCARTHA-commands
  2530. tezos-baking-007-PsDELPH1
  2531. tezos-baking-007-PsDELPH1-commands
  2532. tezos-baking-008-PtEdo2Zk
  2533. tezos-baking-008-PtEdo2Zk-commands
  2534. tezos-baking-008-PtEdoTez
  2535. tezos-baking-008-PtEdoTez-commands
  2536. tezos-baking-009-PsFLoren
  2537. tezos-baking-009-PsFLoren-commands
  2538. tezos-baking-010-PtGRANAD
  2539. tezos-baking-010-PtGRANAD-commands
  2540. tezos-baking-011-PtHangz2
  2541. tezos-baking-011-PtHangz2-commands
  2542. tezos-baking-012-Psithaca
  2543. tezos-baking-012-Psithaca-commands
  2544. tezos-baking-013-PtJakart
  2545. tezos-baking-013-PtJakart-commands
  2546. tezos-baking-014-PtKathma
  2547. tezos-baking-014-PtKathma-commands
  2548. tezos-baking-015-PtLimaPt
  2549. tezos-baking-015-PtLimaPt-commands
  2550. tezos-baking-016-PtMumbai
  2551. tezos-baking-016-PtMumbai-commands
  2552. tezos-baking-017-PtNairob
  2553. tezos-baking-017-PtNairob-commands
  2554. tezos-baking-alpha
  2555. tezos-baking-alpha-commands
  2556. tezos-base
  2557. tezos-base-test-helpers
  2558. tezos-base58
  2559. tezos-benchmark < "19.0"
  2560. tezos-bls12-381-polynomial
  2561. tezos-clic
  2562. tezos-client
  2563. tezos-client-000-Ps9mPmXa
  2564. tezos-client-001-PtCJ7pwo
  2565. tezos-client-001-PtCJ7pwo-commands
  2566. tezos-client-002-PsYLVpVv
  2567. tezos-client-002-PsYLVpVv-commands
  2568. tezos-client-003-PsddFKi3
  2569. tezos-client-003-PsddFKi3-commands
  2570. tezos-client-004-Pt24m4xi
  2571. tezos-client-004-Pt24m4xi-commands
  2572. tezos-client-005-PsBabyM1
  2573. tezos-client-005-PsBabyM1-commands
  2574. tezos-client-006-PsCARTHA
  2575. tezos-client-006-PsCARTHA-commands
  2576. tezos-client-007-PsDELPH1
  2577. tezos-client-007-PsDELPH1-commands
  2578. tezos-client-007-PsDELPH1-commands-registration
  2579. tezos-client-008-PtEdo2Zk
  2580. tezos-client-008-PtEdo2Zk-commands
  2581. tezos-client-008-PtEdo2Zk-commands-registration
  2582. tezos-client-008-PtEdoTez
  2583. tezos-client-008-PtEdoTez-commands
  2584. tezos-client-008-PtEdoTez-commands-registration
  2585. tezos-client-009-PsFLoren
  2586. tezos-client-009-PsFLoren-commands
  2587. tezos-client-009-PsFLoren-commands-registration
  2588. tezos-client-010-PtGRANAD
  2589. tezos-client-010-PtGRANAD-commands
  2590. tezos-client-010-PtGRANAD-commands-registration
  2591. tezos-client-011-PtHangz2
  2592. tezos-client-011-PtHangz2-commands
  2593. tezos-client-011-PtHangz2-commands-registration
  2594. tezos-client-012-Psithaca
  2595. tezos-client-012-Psithaca-commands
  2596. tezos-client-012-Psithaca-commands-registration
  2597. tezos-client-013-PtJakart
  2598. tezos-client-013-PtJakart-commands
  2599. tezos-client-013-PtJakart-commands-registration
  2600. tezos-client-014-PtKathma
  2601. tezos-client-015-PtLimaPt
  2602. tezos-client-016-PtMumbai
  2603. tezos-client-017-PtNairob
  2604. tezos-client-alpha
  2605. tezos-client-alpha-commands
  2606. tezos-client-alpha-commands-registration
  2607. tezos-client-base
  2608. tezos-client-base-unix
  2609. tezos-client-commands
  2610. tezos-client-demo-counter < "19.0"
  2611. tezos-client-genesis < "19.0"
  2612. tezos-client-genesis-carthagenet
  2613. tezos-client-sapling-008-PtEdo2Zk
  2614. tezos-client-sapling-008-PtEdoTez
  2615. tezos-client-sapling-009-PsFLoren
  2616. tezos-client-sapling-010-PtGRANAD
  2617. tezos-client-sapling-011-PtHangz2
  2618. tezos-client-sapling-012-Psithaca
  2619. tezos-client-sapling-013-PtJakart
  2620. tezos-client-sapling-alpha
  2621. tezos-codec
  2622. tezos-context
  2623. tezos-context-hash
  2624. tezos-context-hash-irmin
  2625. tezos-context-ops
  2626. tezos-crypto
  2627. tezos-crypto-dal
  2628. tezos-dac-client-lib < "19.0"
  2629. tezos-dac-lib < "19.0"
  2630. tezos-dac-node-lib < "19.0"
  2631. tezos-dal-node-lib < "19.0"
  2632. tezos-dal-node-services < "19.0"
  2633. tezos-embedded-protocol-000-Ps9mPmXa
  2634. tezos-embedded-protocol-001-PtCJ7pwo
  2635. tezos-embedded-protocol-002-PsYLVpVv
  2636. tezos-embedded-protocol-003-PsddFKi3
  2637. tezos-embedded-protocol-004-Pt24m4xi
  2638. tezos-embedded-protocol-005-PsBABY5H
  2639. tezos-embedded-protocol-005-PsBabyM1
  2640. tezos-embedded-protocol-006-PsCARTHA
  2641. tezos-embedded-protocol-007-PsDELPH1
  2642. tezos-embedded-protocol-008-PtEdo2Zk
  2643. tezos-embedded-protocol-008-PtEdoTez
  2644. tezos-embedded-protocol-009-PsFLoren
  2645. tezos-embedded-protocol-010-PtGRANAD
  2646. tezos-embedded-protocol-011-PtHangz2
  2647. tezos-embedded-protocol-012-Psithaca
  2648. tezos-embedded-protocol-013-PtJakart
  2649. tezos-embedded-protocol-014-PtKathma
  2650. tezos-embedded-protocol-015-PtLimaPt
  2651. tezos-embedded-protocol-016-PtMumbai
  2652. tezos-embedded-protocol-017-PtNairob
  2653. tezos-embedded-protocol-alpha
  2654. tezos-embedded-protocol-demo-counter
  2655. tezos-embedded-protocol-demo-noops
  2656. tezos-embedded-protocol-genesis
  2657. tezos-embedded-protocol-genesis-carthagenet
  2658. tezos-endorser-006-PsCARTHA
  2659. tezos-endorser-007-PsDELPH1
  2660. tezos-endorser-008-PtEdo2Zk
  2661. tezos-endorser-008-PtEdoTez
  2662. tezos-endorser-009-PsFLoren
  2663. tezos-endorser-010-PtGRANAD
  2664. tezos-endorser-011-PtHangz2
  2665. tezos-endorser-alpha
  2666. tezos-error-monad
  2667. tezos-event-logging
  2668. tezos-event-logging-test-helpers
  2669. tezos-hacl
  2670. tezos-hacl-glue
  2671. tezos-hacl-glue-unix
  2672. tezos-injector-013-PtJakart
  2673. tezos-injector-014-PtKathma
  2674. tezos-injector-015-PtLimaPt
  2675. tezos-injector-016-PtMumbai
  2676. tezos-injector-alpha
  2677. tezos-layer2-store
  2678. tezos-layer2-utils-016-PtMumbai
  2679. tezos-layer2-utils-017-PtNairob
  2680. tezos-lazy-containers
  2681. tezos-legacy-store
  2682. tezos-lmdb
  2683. tezos-lwt-result-stdlib
  2684. tezos-mempool-006-PsCARTHA
  2685. tezos-mempool-007-PsDELPH1
  2686. tezos-mempool-008-PtEdoTez
  2687. tezos-micheline
  2688. tezos-micheline-rewriting
  2689. tezos-mockup
  2690. tezos-mockup-commands
  2691. tezos-mockup-proxy
  2692. tezos-mockup-registration
  2693. tezos-node
  2694. tezos-openapi
  2695. tezos-p2p
  2696. tezos-p2p-services
  2697. tezos-plompiler
  2698. tezos-plonk
  2699. tezos-protocol-000-Ps9mPmXa < "19.0"
  2700. tezos-protocol-001-PtCJ7pwo < "19.0"
  2701. tezos-protocol-002-PsYLVpVv < "19.0"
  2702. tezos-protocol-003-PsddFKi3 < "19.0"
  2703. tezos-protocol-004-Pt24m4xi < "19.0"
  2704. tezos-protocol-005-PsBABY5H < "19.0"
  2705. tezos-protocol-005-PsBabyM1 < "19.0"
  2706. tezos-protocol-006-PsCARTHA < "19.0"
  2707. tezos-protocol-006-PsCARTHA-parameters
  2708. tezos-protocol-007-PsDELPH1 < "19.0"
  2709. tezos-protocol-007-PsDELPH1-parameters
  2710. tezos-protocol-008-PtEdo2Zk < "19.0"
  2711. tezos-protocol-008-PtEdo2Zk-parameters
  2712. tezos-protocol-008-PtEdoTez < "19.0"
  2713. tezos-protocol-008-PtEdoTez-parameters
  2714. tezos-protocol-009-PsFLoren < "19.0"
  2715. tezos-protocol-009-PsFLoren-parameters
  2716. tezos-protocol-010-PtGRANAD < "19.0"
  2717. tezos-protocol-010-PtGRANAD-parameters
  2718. tezos-protocol-011-PtHangz2 < "19.0"
  2719. tezos-protocol-011-PtHangz2-parameters
  2720. tezos-protocol-012-Psithaca < "19.0"
  2721. tezos-protocol-012-Psithaca-parameters
  2722. tezos-protocol-013-PtJakart < "19.0"
  2723. tezos-protocol-013-PtJakart-parameters
  2724. tezos-protocol-014-PtKathma < "19.0"
  2725. tezos-protocol-015-PtLimaPt < "19.0"
  2726. tezos-protocol-016-PtMumbai < "19.0"
  2727. tezos-protocol-017-PtNairob < "19.0"
  2728. tezos-protocol-018-Proxford < "19.0"
  2729. tezos-protocol-alpha < "19.0"
  2730. tezos-protocol-alpha-parameters
  2731. tezos-protocol-compiler
  2732. tezos-protocol-demo-counter < "19.0"
  2733. tezos-protocol-demo-noops < "19.0"
  2734. tezos-protocol-environment
  2735. tezos-protocol-environment-packer
  2736. tezos-protocol-environment-sigs
  2737. tezos-protocol-environment-structs
  2738. tezos-protocol-genesis < "19.0"
  2739. tezos-protocol-genesis-carthagenet
  2740. tezos-protocol-plugin-007-PsDELPH1
  2741. tezos-protocol-plugin-007-PsDELPH1-registerer
  2742. tezos-protocol-plugin-008-PtEdo2Zk
  2743. tezos-protocol-plugin-008-PtEdo2Zk-registerer
  2744. tezos-protocol-plugin-009-PsFLoren
  2745. tezos-protocol-plugin-009-PsFLoren-registerer
  2746. tezos-protocol-plugin-010-PtGRANAD
  2747. tezos-protocol-plugin-010-PtGRANAD-registerer
  2748. tezos-protocol-plugin-011-PtHangz2
  2749. tezos-protocol-plugin-011-PtHangz2-registerer
  2750. tezos-protocol-plugin-012-Psithaca
  2751. tezos-protocol-plugin-012-Psithaca-registerer
  2752. tezos-protocol-plugin-012-Psithaca-tests
  2753. tezos-protocol-plugin-013-PtJakart
  2754. tezos-protocol-plugin-013-PtJakart-registerer
  2755. tezos-protocol-plugin-013-PtJakart-tests
  2756. tezos-protocol-plugin-014-PtKathma
  2757. tezos-protocol-plugin-014-PtKathma-registerer
  2758. tezos-protocol-plugin-015-PtLimaPt
  2759. tezos-protocol-plugin-015-PtLimaPt-registerer
  2760. tezos-protocol-plugin-016-PtMumbai
  2761. tezos-protocol-plugin-016-PtMumbai-registerer
  2762. tezos-protocol-plugin-017-PtNairob
  2763. tezos-protocol-plugin-017-PtNairob-registerer
  2764. tezos-protocol-plugin-alpha
  2765. tezos-protocol-plugin-alpha-registerer
  2766. tezos-protocol-plugin-alpha-tests
  2767. tezos-protocol-updater
  2768. tezos-proxy
  2769. tezos-proxy-server
  2770. tezos-proxy-server-config < "19.0"
  2771. tezos-requester
  2772. tezos-rpc
  2773. tezos-rpc-http
  2774. tezos-rpc-http-client
  2775. tezos-rpc-http-client-unix
  2776. tezos-rpc-http-server
  2777. tezos-sapling
  2778. tezos-scoru-wasm
  2779. tezos-scoru-wasm-fast
  2780. tezos-scoru-wasm-helpers
  2781. tezos-shell
  2782. tezos-shell-benchmarks
  2783. tezos-shell-context
  2784. tezos-shell-context-test
  2785. tezos-shell-services
  2786. tezos-shell-services-test-helpers
  2787. tezos-signer
  2788. tezos-signer-backends
  2789. tezos-signer-services
  2790. tezos-smart-rollup-016-PtMumbai
  2791. tezos-smart-rollup-017-PtNairob
  2792. tezos-smart-rollup-alpha
  2793. tezos-smart-rollup-layer2-016-PtMumbai
  2794. tezos-smart-rollup-layer2-017-PtNairob
  2795. tezos-stdlib >= "13.0"
  2796. tezos-stdlib-unix
  2797. tezos-storage
  2798. tezos-store
  2799. tezos-test-helpers
  2800. tezos-test-helpers-extra
  2801. tezos-test-services
  2802. tezos-tooling
  2803. tezos-tree-encoding
  2804. tezos-tx-rollup-013-PtJakart
  2805. tezos-tx-rollup-014-PtKathma
  2806. tezos-tx-rollup-015-PtLimaPt
  2807. tezos-tx-rollup-alpha
  2808. tezos-tx-rollup-client-013-PtJakart
  2809. tezos-tx-rollup-client-014-PtKathma
  2810. tezos-tx-rollup-client-alpha
  2811. tezos-tx-rollup-node-013-PtJakart
  2812. tezos-tx-rollup-node-014-PtKathma
  2813. tezos-tx-rollup-node-alpha
  2814. tezos-validation
  2815. tezos-validator
  2816. tezos-version
  2817. tezos-wasmer
  2818. tezos-webassembly-interpreter
  2819. tezos-webassembly-interpreter-extra
  2820. tezos-workers
  2821. tezt
  2822. tezt-bam
  2823. tezt-performance-regression
  2824. tezt-tezos < "19.0"
  2825. theora >= "0.4.0"
  2826. thread-local-storage
  2827. thread-table
  2828. thrift >= "0.10.0"
  2829. tidy >= "5-0.2"
  2830. tidy_email
  2831. tidy_email_mailgun
  2832. tidy_email_sendgrid
  2833. tidy_email_smtp
  2834. tilde_f
  2835. time_now
  2836. timed >= "1.1"
  2837. timedesc
  2838. timedesc-json
  2839. timedesc-sexp
  2840. timedesc-tzdb
  2841. timedesc-tzlocal
  2842. timedesc-tzlocal-js
  2843. timere
  2844. timere-parse
  2845. timezone
  2846. timmy
  2847. timmy-jsoo
  2848. timmy-unix
  2849. tiny_httpd
  2850. tiny_httpd_camlzip
  2851. tip-parser >= "0.4"
  2852. tldr
  2853. tls >= "0.11.0"
  2854. tls-async
  2855. tls-eio
  2856. tls-liquidsoap
  2857. tls-lwt
  2858. tls-mirage
  2859. toc
  2860. tofn
  2861. togglelog
  2862. toml >= "5.0.0"
  2863. toml-cconv
  2864. toml_cconv
  2865. toplevel_backend
  2866. toplevel_expect_test >= "v0.12.0"
  2867. topojson
  2868. topojsone
  2869. topological_sort >= "v0.12.0"
  2870. torch
  2871. tqdm
  2872. trace
  2873. trace-fuchsia
  2874. trace-tef
  2875. tracing
  2876. tracy-client
  2877. traits
  2878. trampoline
  2879. transept
  2880. traverse
  2881. travesty != "0.6.1"
  2882. travis-opam >= "1.5.0"
  2883. trax >= "0.4.0"
  2884. tree_layout >= "0.2"
  2885. treeprint >= "2.3.0"
  2886. trexio
  2887. trie >= "1.0.0"
  2888. tsdl-image >= "0.3.0"
  2889. tsdl-mixer >= "0.3.0"
  2890. tsdl-ttf >= "0.3"
  2891. tsort
  2892. tube >= "4.4.0"
  2893. tuntap >= "1.7.0"
  2894. twostep
  2895. tyabt
  2896. type_eq
  2897. typerep >= "v0.12.0"
  2898. typeset
  2899. tyre >= "0.5"
  2900. tyxml >= "4.3.0"
  2901. tyxml-jsx
  2902. tyxml-lwd
  2903. tyxml-ppx >= "4.3.0"
  2904. tyxml-syntax
  2905. u2f
  2906. ubase
  2907. ubpf >= "0.2"
  2908. uecc >= "0.3"
  2909. uint >= "2.0.1"
  2910. ulid
  2911. um-abt
  2912. unidecode
  2913. unionFind
  2914. unisim_archisec
  2915. unison >= "2.51.4" & < "2.53.4"
  2916. universal-portal
  2917. universo
  2918. unix-errno >= "0.6.0"
  2919. unstrctrd
  2920. uri >= "2.2.0"
  2921. uri-bench
  2922. uri-re
  2923. uri-sexp
  2924. uring
  2925. uritemplate
  2926. user-agent-parser
  2927. username_kernel
  2928. uspf
  2929. uspf-lwt
  2930. uspf-unix
  2931. utop >= "2.3.0"
  2932. uuuu >= "0.1.1"
  2933. validator
  2934. variantslib >= "v0.12.0"
  2935. varray
  2936. vcaml
  2937. vcardgen >= "1.2"
  2938. vchan >= "4.0.0"
  2939. vchan-unix >= "4.0.0"
  2940. vchan-xen >= "4.0.0"
  2941. vdom
  2942. vec
  2943. vector
  2944. vector3 >= "1.0.0"
  2945. vendredi
  2946. vercel
  2947. vhd-format >= "0.12.0"
  2948. vhd-format-lwt >= "0.12.0"
  2949. virtual_dom >= "v0.12.0"
  2950. visitors >= "20200207"
  2951. vlq >= "0.2.1"
  2952. vlt
  2953. vmnet >= "1.3.2"
  2954. vocal
  2955. voqc
  2956. vorbis >= "0.8.0"
  2957. vpt >= "5.0.0"
  2958. vscoq-language-server
  2959. vue-jsoo
  2960. vue-ppx
  2961. wall >= "0.4"
  2962. wasmer
  2963. wasmtime
  2964. wayland
  2965. waylaunch
  2966. wcwidth
  2967. webauthn
  2968. weberizer >= "0.8"
  2969. webmachine >= "0.6.2"
  2970. websocket >= "2.12"
  2971. websocket-async >= "2.12"
  2972. websocket-lwt >= "2.12"
  2973. websocket-lwt-unix
  2974. websocketaf
  2975. webtest >= "2.0.0"
  2976. webtest-js
  2977. weevil
  2978. wikitext
  2979. win-error >= "1.0"
  2980. win-eventlog >= "0.3"
  2981. winsvc
  2982. ws
  2983. ws-server
  2984. wseg
  2985. wtf8 >= "1.0.2"
  2986. wtr
  2987. wtr-ppx
  2988. wu-manber-fuzzy-search
  2989. x509 >= "0.6.3"
  2990. xapi-backtrace >= "0.7"
  2991. xapi-inventory >= "1.2.1"
  2992. xapi-rrd >= "1.8.2"
  2993. xapi-stdext-date
  2994. xapi-stdext-encodings
  2995. xapi-stdext-pervasives
  2996. xapi-stdext-std
  2997. xapi-stdext-threads
  2998. xapi-stdext-unix
  2999. xapi-stdext-zerocheck
  3000. xcursor
  3001. xdg < "3.14.0"
  3002. xdg-basedir
  3003. xen-evtchn >= "2.1.0"
  3004. xen-evtchn-unix >= "2.1.0"
  3005. xen-gnt >= "3.1.0"
  3006. xen-gnt-unix >= "3.1.0"
  3007. xenstore >= "2.1.0"
  3008. xenstore_transport >= "1.1.0"
  3009. xmelly
  3010. xml-light >= "2.5"
  3011. xmldiff >= "0.7.0"
  3012. xmldiff_js
  3013. xmlplaylist >= "0.1.5"
  3014. xoshiro
  3015. xtmpl >= "0.19.0"
  3016. xtmpl_js
  3017. xtmpl_ppx
  3018. yaml >= "1.0.0"
  3019. yaml-sexp
  3020. yara >= "0.2"
  3021. yocaml
  3022. yocaml_cmark
  3023. yocaml_git
  3024. yocaml_jingoo
  3025. yocaml_markdown
  3026. yocaml_mustache
  3027. yocaml_syndication
  3028. yocaml_unix
  3029. yocaml_yaml
  3030. yojson >= "1.5.0"
  3031. yojson-bench
  3032. yurt >= "0.6"
  3033. yuscii >= "0.2.1"
  3034. yuujinchou
  3035. zanuda
  3036. zar
  3037. zarith-ppx
  3038. zarith_stubs_js
  3039. zed >= "2.0"
  3040. zeit
  3041. zelus
  3042. zelus-gtk
  3043. zipperposition >= "1.5.1"
  3044. zipperposition-tools
  3045. zlib >= "0.6"
  3046. zlist >= "0.4.0"
  3047. zmq >= "5.1.0"
  3048. zmq-async >= "5.1.0"
  3049. zmq-eio
  3050. zmq-lwt >= "5.1.0"
  3051. zstandard >= "v0.12.1"
  3052. zstd >= "0.3"
  3053. zxcvbn >= "2.3+2"

Conflicts (8)

  1. coq < "8.13"
  2. jbuilder = "transition"
  3. js_of_ocaml-compiler < "3.6.0"
  4. dune-release < "1.3.0"
  5. odoc < "2.0.1"
  6. dune-configurator < "2.3.0"
  7. ocaml-lsp-server < "1.3.0"
  8. merlin < "3.4.0"