package ocaml

  1. Overview
  2. No Docs

Description

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

Published: 19 Jun 2026

Dependencies (8)

  1. ocaml-env-msvc32 os = "win32"
  2. ocaml-env-msvc64 os = "win32"
  3. ocaml-env-mingw32 os = "win32"
  4. ocaml-env-mingw64 os = "win32"
  5. dkml-base-compiler >= "5.5.1~" & < "5.5.2~"
  6. ocaml-system >= "5.5.1~" & < "5.5.2~"
  7. ocaml-variants >= "5.5.1~" & < "5.5.2~"
  8. ocaml-base-compiler >= "5.5.1~" & < "5.5.2~"

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

Conflicts

None