package ocaml

  1. Overview
  2. No Docs

Description

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

Published: 05 May 2025

Dependencies (4)

  1. dkml-base-compiler >= "5.5.0~" & < "5.5.1~"
  2. ocaml-system >= "5.5.0~" & < "5.5.1~"
  3. ocaml-variants >= "5.5.0~" & < "5.5.1~"
  4. ocaml-base-compiler >= "5.5.0~" & < "5.5.1~"

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

Conflicts

None