package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (73)

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 (9)

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

Conflicts

None