package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (78)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. K
    KC Sivaramakrishnan
  7. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp

Description

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

Published: 22 Dec 2023

Dependencies (5)

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

Dev Dependencies

None

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

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct