package ocaml

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

Install

Dune Dependency

ocaml.org Edit opam file Versions (78)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. K
    KC Sivaramakrishnan
  7. 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: 22 Dec 2023

Dependencies (5)

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

Dev Dependencies

None

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