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: 13 May 2024

Dependencies (5)

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

Dev Dependencies

None

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

Conflicts

None