package ocaml

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

Install

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