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 >= "0.1.2"
  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. ledes
  1518. ledgerwallet
  1519. ledgerwallet-tezos
  1520. ledit != "2.05"
  1521. legacy_diffable
  1522. lem >= "2022-12-10"
  1523. lemonade
  1524. lemonade-sqlite
  1525. lens >= "1.2.4"
  1526. letsencrypt
  1527. letsencrypt-app
  1528. letsencrypt-dns
  1529. letsencrypt-mirage
  1530. letters
  1531. levenshtein
  1532. lib_parsing
  1533. libabsolute
  1534. libbinaryen
  1535. libbpf
  1536. libc
  1537. libdash
  1538. libevent >= "0.9.0"
  1539. libsail = "0.18"
  1540. libssh
  1541. libsvm < "0.10.0"
  1542. libudev
  1543. libzipperposition
  1544. lilac
  1545. line-up-words
  1546. line_oriented
  1547. linenoise < "1.1.0" | >= "1.3.1"
  1548. links >= "0.9.8"
  1549. links-mysql
  1550. links-postgresql
  1551. links-sqlite3
  1552. linksem >= "0.8"
  1553. linol
  1554. linol-lwt < "0.6"
  1555. lintcstubs
  1556. lintcstubs-gen
  1557. linwrap >= "9.1.5"
  1558. lipsum
  1559. liquid_interpreter
  1560. liquid_ml
  1561. liquid_parser
  1562. liquid_std
  1563. liquid_syntax
  1564. liquidsoap >= "2.3.1"
  1565. liquidsoap-daemon
  1566. liquidsoap-js
  1567. liquidsoap-lang
  1568. little_logger
  1569. llama-cpp-ocaml
  1570. llama_core
  1571. llama_interactive >= "0.1.0"
  1572. llama_midi
  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. lpd
  1595. lpi
  1596. lreplay
  1597. lru >= "0.3.0-1"
  1598. lru-cache
  1599. lru_cache
  1600. lsp >= "1.3.0"
  1601. lt-code
  1602. lua-ml >= "0.9.1"
  1603. lua_pattern
  1604. lucid
  1605. lun
  1606. lustre-v6 != "6.101.7"
  1607. lutils >= "1.54.1"
  1608. lutin >= "2.71.10"
  1609. luv
  1610. luv_unix
  1611. lwd
  1612. lwt >= "5.7.0"
  1613. lwt-binio
  1614. lwt-canceler
  1615. lwt-dllist
  1616. lwt-exit
  1617. lwt-parallel
  1618. lwt-pipe
  1619. lwt-pipeline
  1620. lwt-watcher
  1621. lwt-zmq
  1622. lwt_camlp4
  1623. lwt_domain
  1624. lwt_eio < "0.2"
  1625. lwt_glib >= "1.1.0"
  1626. lwt_log >= "1.1.2"
  1627. lwt_named_threads
  1628. lwt_ppx
  1629. lwt_react >= "1.1.0"
  1630. lwt_retry
  1631. lwt_ssl
  1632. lz4 >= "1.2.0"
  1633. lz4_chans >= "3.0.0"
  1634. lzo >= "0.0.3"
  1635. MlFront_Cache
  1636. MlFront_Cli
  1637. MlFront_Config
  1638. MlFront_Core
  1639. MlFront_Errors
  1640. MlFront_Logs
  1641. MlFront_Manip
  1642. MlFront_Signify
  1643. MlFront_ZipFile
  1644. m_tree
  1645. macaddr
  1646. macaddr-cstruct
  1647. macaddr-sexp
  1648. macaque
  1649. macaroons
  1650. mad < "0.5.0" | >= "0.5.3"
  1651. magic-mime >= "1.0.1"
  1652. magic-trace
  1653. maildir
  1654. make-random
  1655. malfunction >= "0.7"
  1656. man_in_the_middle_debugger
  1657. mariadb >= "1.2.0"
  1658. markdown
  1659. markup >= "1.0.3"
  1660. mastodon-archive-viewer
  1661. matplotlib
  1662. maxminddb
  1663. mazeppa
  1664. mbr-format
  1665. mc2
  1666. mccs >= "1.1+19"
  1667. md2mld
  1668. mdx >= "2.5.0"
  1669. mec
  1670. mecab
  1671. mechaml
  1672. mehari
  1673. mehari-eio
  1674. mehari-eio-unix
  1675. mel
  1676. melange = "5.0.0-53" | = "5.0.1-53" | = "5.1.0-53"
  1677. melange-atdgen-codec-runtime
  1678. melange-fest
  1679. melange-fetch
  1680. melange-json
  1681. melange-json-native
  1682. melange-moment
  1683. melange-numeral
  1684. melange-radix-icons
  1685. melange-react-dates
  1686. melange-react-query
  1687. melange-recharts
  1688. melange-testing-library
  1689. melange-webapi
  1690. meldep
  1691. mem_usage
  1692. memcad
  1693. memcpy
  1694. memgraph
  1695. memgraph_kitty
  1696. memo
  1697. memtrace < "0.1.1" | >= "0.2.3"
  1698. memtrace_viewer >= "v0.15.0"
  1699. menhir >= "20200123" & < "20211125" | >= "20230415"
  1700. menhirCST
  1701. menhirLib
  1702. menhirSdk
  1703. merge-fmt
  1704. mergeable-vector
  1705. merlin = "5.3~5.3preview"
  1706. merlin-extend >= "0.6.2"
  1707. merlin-lib = "5.3~5.3preview" | >= "5.4-503" & < "5.4.2~5.4preview"
  1708. merlin-of-pds
  1709. mesh >= "0.8.9"
  1710. mesh-display
  1711. mesh-easymesh
  1712. mesh-graphics
  1713. mesh-triangle < "0.9.5"
  1714. metadata
  1715. metadb
  1716. metal
  1717. metapp >= "0.4.0"
  1718. metrics >= "0.2.0"
  1719. metrics-influx
  1720. metrics-lwt >= "0.3.0"
  1721. metrics-mirage >= "0.3.0"
  1722. metrics-rusage
  1723. metrics-unix >= "0.3.0"
  1724. mew
  1725. mew_vi
  1726. middleware
  1727. mikmatch
  1728. mimic >= "0.0.5"
  1729. mimic-happy-eyeballs
  1730. mindstorm >= "0.8"
  1731. mindstorm-lwt
  1732. minicaml
  1733. minicli
  1734. minilight
  1735. minima-theme
  1736. minimal
  1737. minisat = "0.2" | >= "0.4"
  1738. minivpt
  1739. minttea
  1740. miou >= "0.2.0"
  1741. mirage < "4.5.0"
  1742. mirage-block
  1743. mirage-block-ccm
  1744. mirage-block-combinators
  1745. mirage-block-lwt
  1746. mirage-block-partition
  1747. mirage-block-ramdisk
  1748. mirage-block-solo5
  1749. mirage-block-unix >= "2.14.1"
  1750. mirage-block-xen
  1751. mirage-bootvar
  1752. mirage-bootvar-solo5
  1753. mirage-bootvar-unix
  1754. mirage-bootvar-xen
  1755. mirage-channel
  1756. mirage-channel-lwt
  1757. mirage-clock
  1758. mirage-clock-freestanding
  1759. mirage-clock-lwt
  1760. mirage-clock-solo5
  1761. mirage-clock-unix
  1762. mirage-clock-xen
  1763. mirage-conduit
  1764. mirage-console != "2.3.2"
  1765. mirage-console-lwt != "2.3.2"
  1766. mirage-console-solo5
  1767. mirage-console-unix
  1768. mirage-console-xen
  1769. mirage-console-xen-backend
  1770. mirage-console-xen-proto
  1771. mirage-crypto
  1772. mirage-crypto-ec
  1773. mirage-crypto-entropy
  1774. mirage-crypto-pk
  1775. mirage-crypto-rng
  1776. mirage-crypto-rng-async
  1777. mirage-crypto-rng-eio >= "0.11.0"
  1778. mirage-crypto-rng-lwt
  1779. mirage-crypto-rng-miou-unix
  1780. mirage-crypto-rng-mirage
  1781. mirage-device
  1782. mirage-dns
  1783. mirage-entropy
  1784. mirage-flow
  1785. mirage-flow-combinators
  1786. mirage-flow-lwt
  1787. mirage-flow-rawlink
  1788. mirage-flow-unix
  1789. mirage-fs >= "1.0.0"
  1790. mirage-fs-lwt
  1791. mirage-fs-mem
  1792. mirage-fs-unix
  1793. mirage-kv
  1794. mirage-kv-lwt
  1795. mirage-kv-mem
  1796. mirage-kv-unix
  1797. mirage-logs >= "0.3.0"
  1798. mirage-monitoring
  1799. mirage-mtime
  1800. mirage-nat < "1.1.0" | >= "2.0.0"
  1801. mirage-net
  1802. mirage-net-fd
  1803. mirage-net-flow
  1804. mirage-net-lwt
  1805. mirage-net-macosx
  1806. mirage-net-solo5 < "0.4.3" | >= "0.6.1"
  1807. mirage-net-unix
  1808. mirage-net-xen
  1809. mirage-no-solo5
  1810. mirage-no-xen
  1811. mirage-os-shim
  1812. mirage-profile
  1813. mirage-profile-unix
  1814. mirage-profile-xen
  1815. mirage-protocols
  1816. mirage-protocols-lwt
  1817. mirage-ptime
  1818. mirage-qubes
  1819. mirage-qubes-ipv4
  1820. mirage-random
  1821. mirage-random-stdlib
  1822. mirage-random-test
  1823. mirage-runtime
  1824. mirage-seal
  1825. mirage-sleep
  1826. mirage-solo5 >= "0.6.2"
  1827. mirage-stack
  1828. mirage-stack-lwt
  1829. mirage-tc
  1830. mirage-time
  1831. mirage-time-lwt
  1832. mirage-time-unix
  1833. mirage-types < "1.1.0" | >= "3.0.0"
  1834. mirage-types-lwt
  1835. mirage-unix >= "3.0.8"
  1836. mirage-vnetif
  1837. mirage-vnetif-stack
  1838. mirage-xen
  1839. mirage-xen-minios
  1840. mirage-xen-posix
  1841. misuja
  1842. mjson
  1843. mkaudio
  1844. mkocaml >= "1.2"
  1845. mlbdd
  1846. mlfenv
  1847. mlgmpidl >= "1.2.15"
  1848. mlmpfr
  1849. mlpost
  1850. mlpost-lablgtk
  1851. mlt_parser
  1852. mm >= "0.8.1"
  1853. mmap
  1854. mmdb
  1855. mmo
  1856. mmseg
  1857. mnd
  1858. mock >= "1.0.0"
  1859. mock-ounit
  1860. modular-arithmetic
  1861. module-graph
  1862. molenc >= "16.15.0"
  1863. monaco_jsoo
  1864. monadlib
  1865. monads >= "2.2.0"
  1866. monolith
  1867. monomorphic >= "2.1.0"
  1868. monorobot
  1869. moonpool
  1870. moonpool-io
  1871. moonpool-lwt
  1872. mopsa
  1873. morbig >= "0.10.3"
  1874. more-ocaml
  1875. morsmall
  1876. moss
  1877. mparser >= "1.3"
  1878. mparser-pcre
  1879. mparser-re
  1880. mperf
  1881. mpg123
  1882. mpi
  1883. mpp < "0.3.4" | >= "0.3.6"
  1884. mpris
  1885. mpris-clients
  1886. mqtt
  1887. mrmime >= "0.6.1"
  1888. msat >= "0.8.1"
  1889. msat-bin
  1890. msgpck
  1891. msgpck-repr
  1892. mssql
  1893. mstruct
  1894. mtime
  1895. mugen
  1896. mula
  1897. multibase
  1898. multicodec
  1899. multicont >= "1.0.2"
  1900. multicore-bench
  1901. multicore-magic
  1902. multicore-magic-dscheck
  1903. multihash
  1904. multipart-form-data < "0.3.0"
  1905. multipart_form >= "0.6.0"
  1906. multipart_form-cohttp-lwt
  1907. multipart_form-eio
  1908. multipart_form-lwt >= "0.6.0"
  1909. murmur3
  1910. mustache < "2.2.0" | >= "3.1.0"
  1911. mustache-cli
  1912. mutaml
  1913. mutf8
  1914. mvar
  1915. mwt
  1916. mybuild
  1917. mysql
  1918. mysql_protocol
  1919. n_ary
  1920. naboris
  1921. nacc
  1922. named-pipe
  1923. namespaces
  1924. nanoev
  1925. nanoev-picos
  1926. nanoev-posix
  1927. nanoev_tiny_httpd
  1928. nanoid
  1929. nanosvg
  1930. nanosvg_text
  1931. nbd
  1932. nbd-tool
  1933. nbd-unix
  1934. netchannel
  1935. netkat
  1936. netlink >= "0.3.4"
  1937. netsnmp
  1938. neural_nets_lib
  1939. nice_parser
  1940. ninja_utils
  1941. niru
  1942. nloge >= "0.0.2"
  1943. nlopt >= "0.7.0"
  1944. nlopt-ocaml >= "transition"
  1945. nlp
  1946. nmea
  1947. nocoiner
  1948. nocrypto
  1949. noise
  1950. nomad
  1951. non_empty_list
  1952. nonstd >= "0.0.3"
  1953. nosetup
  1954. note >= "0.0.2"
  1955. notty >= "0.2.3"
  1956. notty_async
  1957. np
  1958. npy
  1959. nsq
  1960. num
  1961. numalib
  1962. numeric_string
  1963. nuscr >= "2.0.0"
  1964. OCADml
  1965. OCanren
  1966. OCanren-ppx
  1967. OSCADml
  1968. oasis
  1969. oasis2debian
  1970. oasis2opam
  1971. obatcher
  1972. obeam < "0.1.0" | >= "0.1.2"
  1973. obelisk
  1974. obi
  1975. obuild >= "0.1.11"
  1976. obuilder
  1977. obuilder-spec
  1978. obus >= "1.2.5"
  1979. oc45
  1980. ocal >= "0.1.3"
  1981. ocaml-basics
  1982. ocaml-buddy
  1983. ocaml-canvas
  1984. ocaml-compiler >= "5.3.0~alpha1" & < "5.4"
  1985. ocaml-compiler-libs < "v0.10.0" | >= "v0.17.0"
  1986. ocaml-embed-file
  1987. ocaml-expat
  1988. ocaml-http
  1989. ocaml-index != "1.1" & < "5.4.2~5.4preview"
  1990. ocaml-inifiles
  1991. ocaml-js-stdlib
  1992. ocaml-logicalform
  1993. ocaml-lsp-server = "1.20.0~5.3preview" | = "1.22.0"
  1994. ocaml-lua
  1995. ocaml-makefile < "6.39.2"
  1996. ocaml-manual >= "5.3.0"
  1997. ocaml-markdown
  1998. ocaml-migrate-parsetree-ocamlbuild
  1999. ocaml-monadic >= "0.3.3"
  2000. ocaml-print-intf
  2001. ocaml-probes
  2002. ocaml-protoc >= "2.3"
  2003. ocaml-protoc-plugin != "1.0.0"
  2004. ocaml-protoc-yojson
  2005. ocaml-r
  2006. ocaml-solo5 >= "1.1.0"
  2007. ocaml-solo5-cross-aarch64 >= "1.1.0"
  2008. ocaml-src >= "5.3.0"
  2009. ocaml-syntax-shims
  2010. ocaml-system < "4.13.0" | >= "5.3.0"
  2011. ocaml-systemd >= "1.3"
  2012. ocaml-top
  2013. ocaml-variants = "5.3.0+BER"
  2014. ocaml-vdom < "transition"
  2015. ocaml-version
  2016. ocaml_db_model
  2017. ocaml_intrinsics
  2018. ocaml_intrinsics_kernel
  2019. ocaml_openapi_generator
  2020. ocaml_pgsql_model
  2021. ocaml_plugin
  2022. ocamlapi
  2023. ocamlapi_async
  2024. ocamlapi_lwt_unix
  2025. ocamlapi_ppx
  2026. ocamlbrowser >= "5.3.0"
  2027. ocamlbuild >= "0.14.3"
  2028. ocamlbuild-atdgen
  2029. ocamlbuild-protoc
  2030. ocamlc-loc
  2031. ocamlclean
  2032. ocamldap
  2033. ocamldiff
  2034. ocamldot
  2035. ocamlfind >= "1.9.6"
  2036. ocamlformat >= "0.26.2"
  2037. ocamlformat-lib >= "0.27.0"
  2038. ocamlformat-rpc-lib >= "0.22.4"
  2039. ocamlfuse = "2.7.1-cvs6" | >= "2.7.1-cvs8"
  2040. ocamlgraph >= "2.0.0"
  2041. ocamlgraph_gtk
  2042. ocamlify >= "0.1.0"
  2043. ocamline
  2044. ocamlmerlin-mlx
  2045. ocamlmig >= "5.3-20250429"
  2046. ocamlog
  2047. ocamlregextkit
  2048. ocamlrss >= "2.1.0"
  2049. ocamlscript >= "3.0.0"
  2050. ocamlsdl2
  2051. ocamlsdl2-image
  2052. ocamlsdl2-ttf
  2053. ocamlwc
  2054. ocamlyices
  2055. ocannl_npy
  2056. ocb
  2057. ocb-stubblr
  2058. ocephes
  2059. ocf >= "0.9.0"
  2060. ockt
  2061. oclock
  2062. ocluster
  2063. ocluster-api
  2064. ocluster-worker
  2065. ocolor >= "1.2.2"
  2066. ocp-browser != "1.3.0"
  2067. ocp-indent
  2068. ocp-indent-nlfork
  2069. ocp-index >= "1.3.7"
  2070. ocp-ocamlres
  2071. ocp-reloc
  2072. ocp-search
  2073. ocp_reveal
  2074. ocplib-endian >= "1.1"
  2075. ocplib-json-typed
  2076. ocplib-json-typed-browser
  2077. ocplib-json-typed-bson
  2078. ocplib-resto
  2079. ocplib-simplex != "0.4"
  2080. ocplib_stuff != "0.3.0"
  2081. ocsigen-i18n
  2082. ocsigen-start
  2083. ocsigen-toolkit
  2084. ocsigenserver != "3.0.0"
  2085. ocsipersist-pgsql >= "2.0.0"
  2086. ocsipersist-pgsql-config
  2087. octavius
  2088. octez-accuser-Proxford
  2089. octez-accuser-PsParisC
  2090. octez-accuser-PtLimaPt
  2091. octez-accuser-PtMumbai < "17.3"
  2092. octez-accuser-PtNairob >= "18.0"
  2093. octez-accuser-PtParisB
  2094. octez-alcotezt >= "18.0"
  2095. octez-baker-Proxford
  2096. octez-baker-PsParisC
  2097. octez-baker-PtLimaPt
  2098. octez-baker-PtMumbai < "17.3"
  2099. octez-baker-PtNairob >= "18.0"
  2100. octez-baker-PtParisB
  2101. octez-client != "17.3"
  2102. octez-codec != "17.3"
  2103. octez-crawler >= "18.0"
  2104. octez-dac-client
  2105. octez-dac-node
  2106. octez-dal-node
  2107. octez-distributed-internal >= "18.0"
  2108. octez-distributed-lwt-internal >= "18.0"
  2109. octez-injector >= "18.0"
  2110. octez-internal-libs
  2111. octez-l2-libs
  2112. octez-node != "17.3"
  2113. octez-node-config != "17.3"
  2114. octez-proto-libs
  2115. octez-protocol-000-Ps9mPmXa-libs
  2116. octez-protocol-001-PtCJ7pwo-libs
  2117. octez-protocol-002-PsYLVpVv-libs
  2118. octez-protocol-003-PsddFKi3-libs
  2119. octez-protocol-004-Pt24m4xi-libs
  2120. octez-protocol-005-PsBabyM1-libs
  2121. octez-protocol-006-PsCARTHA-libs
  2122. octez-protocol-007-PsDELPH1-libs
  2123. octez-protocol-008-PtEdo2Zk-libs
  2124. octez-protocol-009-PsFLoren-libs
  2125. octez-protocol-010-PtGRANAD-libs
  2126. octez-protocol-011-PtHangz2-libs
  2127. octez-protocol-012-Psithaca-libs
  2128. octez-protocol-013-PtJakart-libs
  2129. octez-protocol-014-PtKathma-libs
  2130. octez-protocol-015-PtLimaPt-libs
  2131. octez-protocol-016-PtMumbai-libs
  2132. octez-protocol-017-PtNairob-libs
  2133. octez-protocol-018-Proxford-libs
  2134. octez-protocol-019-PtParisB-libs
  2135. octez-protocol-020-PsParisC-libs
  2136. octez-protocol-alpha-libs
  2137. octez-protocol-compiler != "17.3"
  2138. octez-proxy-server != "17.3"
  2139. octez-rpc-process
  2140. octez-shell-libs
  2141. octez-signer != "17.3"
  2142. octez-smart-rollup-client-Proxford
  2143. octez-smart-rollup-client-PtMumbai < "17.3"
  2144. octez-smart-rollup-client-PtNairob >= "18.0"
  2145. octez-smart-rollup-node >= "18.1"
  2146. octez-smart-rollup-node-alpha
  2147. octez-smart-rollup-node-lib
  2148. octez-smart-rollup-node-Proxford
  2149. octez-smart-rollup-node-PsParisC
  2150. octez-smart-rollup-node-PtMumbai < "17.3"
  2151. octez-smart-rollup-node-PtNairob >= "18.0"
  2152. octez-smart-rollup-node-PtParisB
  2153. octez-smart-rollup-wasm-debugger != "17.3"
  2154. octez-smart-rollup-wasm-debugger-lib
  2155. octez-smart-rollup-wasm-debugger-plugin
  2156. octez-tx-rollup-client-PtLimaPt
  2157. octez-tx-rollup-node-PtLimaPt
  2158. octez-version
  2159. ocurl >= "0.7.8" & < "0.8.0" | >= "0.9.1" & < "transition"
  2160. ocveralls
  2161. odate
  2162. odbc
  2163. odds
  2164. odep
  2165. odepack >= "0.6.9"
  2166. odig >= "0.0.4"
  2167. odnnr
  2168. odoc >= "2.4.4"
  2169. odoc-depgraph
  2170. odoc-driver
  2171. odoc-md
  2172. odoc-parser >= "1.0.1"
  2173. oepub
  2174. of_json
  2175. oframl
  2176. ofx
  2177. ogen
  2178. ogg != "0.6.0" & < "0.7.0" | >= "0.7.3"
  2179. ogre >= "2.2.0"
  2180. ohex
  2181. oidc
  2182. ojo
  2183. ojs
  2184. ojs-base
  2185. ojs_base
  2186. ojs_base_ppx
  2187. ollvm
  2188. ollvm-tapir
  2189. oma
  2190. omake >= "0.10.6"
  2191. omd >= "1.3.2"
  2192. ometrics >= "0.2.0"
  2193. omg
  2194. omigrate
  2195. oml >= "0.0.7"
  2196. omlr
  2197. omod >= "0.0.4"
  2198. omtl
  2199. oneffs
  2200. oniguruma
  2201. opaca
  2202. opam-0install
  2203. opam-0install-cudf
  2204. opam-bin >= "0.9.5"
  2205. opam-build
  2206. opam-bundle
  2207. opam-check-npm-deps
  2208. opam-ci
  2209. opam-client
  2210. opam-compiler
  2211. opam-core >= "2.0.7"
  2212. opam-depext != "1.2.0"
  2213. opam-devel
  2214. opam-dune-lint
  2215. opam-ed
  2216. opam-file-format = "2.1.1" | >= "2.1.5"
  2217. opam-format
  2218. opam-graph
  2219. opam-grep >= "0.2.0"
  2220. opam-installer
  2221. opam-lib
  2222. opam-lock
  2223. opam-monorepo >= "0.3.4"
  2224. opam-package-upgrade < "0.2"
  2225. opam-publish
  2226. opam-repository
  2227. opam-solver
  2228. opam-spin
  2229. opam-state
  2230. opam-test
  2231. opam_bin_lib
  2232. opamconfig
  2233. opamfu
  2234. opasswd
  2235. opazl
  2236. open
  2237. openai
  2238. openai-gym
  2239. openbsd
  2240. opencc
  2241. opencc0
  2242. opencc1
  2243. opencc1_1
  2244. openQASM >= "0.4.0"
  2245. openstellina
  2246. opentelemetry
  2247. opentelemetry-client-cohttp-lwt
  2248. opentelemetry-client-ocurl
  2249. opentelemetry-cohttp-lwt
  2250. opentelemetry-lwt
  2251. operf-micro >= "1.1.3"
  2252. opine
  2253. opium
  2254. opium-graphql
  2255. opium-testing
  2256. opium_kernel
  2257. oplot
  2258. oplsr
  2259. opomodoro
  2260. optal
  2261. opti
  2262. optimization1d
  2263. optiml-transport
  2264. optint != "0.0.2"
  2265. opus < "0.2.0" | >= "0.2.2"
  2266. oqamldebug
  2267. oraft
  2268. orandforest
  2269. orb
  2270. order-i3-xfce
  2271. ordering
  2272. ordinal
  2273. ordinal_abbreviation
  2274. orec
  2275. orf >= "1.0.1"
  2276. orgeat
  2277. orm
  2278. orocksdb
  2279. orrandomForest
  2280. orsetto >= "1.1.3"
  2281. orsvm_e1071
  2282. ortac-core
  2283. ortac-dune
  2284. ortac-qcheck-stm
  2285. ortac-runtime
  2286. ortac-runtime-qcheck-stm
  2287. orthologic-coq
  2288. orun
  2289. orxgboost
  2290. osbx
  2291. osc
  2292. osc-lwt
  2293. osc-unix
  2294. osdp >= "1.1.1"
  2295. oseq >= "0.4.1"
  2296. osh
  2297. osnap
  2298. ostap >= "0.6"
  2299. osx-acl
  2300. osx-attr
  2301. osx-cf
  2302. osx-fsevents
  2303. osx-membership
  2304. osx-mount
  2305. osx-plutil
  2306. osx-secure-transport
  2307. osx-xattr
  2308. otf
  2309. otfm >= "0.4.0"
  2310. otoggl
  2311. otoml
  2312. otr
  2313. ott >= "0.33"
  2314. otto
  2315. ounit-lwt < "2.2.0"
  2316. ounit2 >= "2.2.6"
  2317. ounit2-lwt
  2318. owee >= "0.4"
  2319. owi
  2320. owl
  2321. owl-base < "0.4.0" | = "0.10.0" | >= "1.1"
  2322. owl-jupyter
  2323. owl-ode
  2324. owl-ode-base
  2325. owl-ode-odepack
  2326. owl-ode-sundials
  2327. owl-opt
  2328. owl-opt-lbfgs
  2329. owl-plplot
  2330. owl-top
  2331. owork
  2332. ozulip
  2333. p4pp
  2334. pa_ppx = "0.14" | >= "0.16"
  2335. pa_ppx_hashcons >= "0.11"
  2336. pa_ppx_migrate >= "0.11"
  2337. pa_ppx_migrate_ocaml_parsetree
  2338. pa_ppx_parsetree
  2339. pa_ppx_q_ast >= "0.11"
  2340. pa_ppx_quotation2extension
  2341. pa_ppx_regexp
  2342. pa_ppx_static >= "0.02"
  2343. pa_ppx_string
  2344. pa_ppx_unique >= "0.11"
  2345. pa_solution
  2346. packstream
  2347. pacomb
  2348. paf
  2349. paf-cohttp
  2350. paf-le
  2351. pam
  2352. pancake
  2353. pandoc >= "0.2.0"
  2354. pandoc-abbreviations
  2355. pandoc-replace < "0.2.1"
  2356. par_incr
  2357. parany
  2358. pardi
  2359. pari
  2360. pari-bindings
  2361. parmap >= "1.2.5"
  2362. parse-argv
  2363. parsexp >= "v0.12.0" & != "v0.14.0"
  2364. parsexp_io
  2365. parsite
  2366. parsley
  2367. partition_map
  2368. passage
  2369. passmaker
  2370. passmakercmd
  2371. patch
  2372. patdiff
  2373. path_glob
  2374. patience_diff
  2375. patricia-tree
  2376. pattern >= "0.3.0"
  2377. pb
  2378. pb-plugin
  2379. pbkdf
  2380. pbrt
  2381. pbrt_services
  2382. pbrt_yojson
  2383. pbs
  2384. pcap-format
  2385. pci-db
  2386. pcre >= "7.3.0"
  2387. pcre2
  2388. pds
  2389. pds-reachability
  2390. pecu != "0.6"
  2391. petr4
  2392. petrol
  2393. pf-qubes
  2394. pg_query
  2395. pgocaml >= "4.4.0"
  2396. pgocaml_ppx
  2397. pgx < "1.0" | >= "2.2"
  2398. pgx_async
  2399. pgx_lwt
  2400. pgx_lwt_mirage
  2401. pgx_lwt_unix
  2402. pgx_unix
  2403. pgx_value_core
  2404. pgx_value_ptime
  2405. phantom-algebra
  2406. phashtbl
  2407. phonetic
  2408. piaf >= "0.2.0"
  2409. picasso
  2410. picos < "0.5.0"
  2411. picos_aux
  2412. piece_rope
  2413. pilat
  2414. piqi
  2415. piqilib
  2416. pixel_pusher
  2417. pkcs11
  2418. pkcs11-cli >= "1.0.1"
  2419. pkcs11-driver < "1.0.0"
  2420. pkcs11-rev >= "1.0.1"
  2421. pla >= "1.2"
  2422. plateau
  2423. plato
  2424. plist-xml
  2425. plotkicadsch
  2426. plotly
  2427. plplot >= "5.12.0"
  2428. podge
  2429. polka
  2430. poll
  2431. polling_state_rpc
  2432. polly
  2433. polyglot
  2434. pomap
  2435. popper
  2436. portaudio < "0.2.2"
  2437. portaudio_c_bindings
  2438. portia
  2439. portmidi
  2440. posix-base >= "2.0.2"
  2441. posix-clock
  2442. posix-getopt < "2.0.0"
  2443. posix-mqueue
  2444. posix-semaphore
  2445. posix-socket >= "2.1.0"
  2446. posix-types
  2447. posixat < "v0.15.0" | >= "v0.17.0"
  2448. postgres_async
  2449. postgresql >= "4.1.0"
  2450. pp
  2451. pp-binary-ints
  2452. pp_loc
  2453. pplumbing
  2454. pprint
  2455. ppx-owl-opt
  2456. ppx_accessor < "v0.15.0" | >= "v0.16.1"
  2457. ppx_assert
  2458. ppx_bap >= "v0.14.0"
  2459. ppx_base
  2460. ppx_bench
  2461. ppx_bin_prot
  2462. ppx_bitstring
  2463. ppx_blob
  2464. ppx_camlrack
  2465. ppx_cold
  2466. ppx_compare
  2467. ppx_compose
  2468. ppx_const >= "2.0"
  2469. ppx_conv_func
  2470. ppx_counters
  2471. ppx_css
  2472. ppx_cstruct
  2473. ppx_cstubs = "0.5.1"
  2474. ppx_csv_conv
  2475. ppx_custom_printf
  2476. ppx_default
  2477. ppx_defer
  2478. ppx_demo
  2479. ppx_derive_at_runtime
  2480. ppx_derivers
  2481. ppx_deriving >= "6.0.3"
  2482. ppx_deriving_argparse
  2483. ppx_deriving_cad
  2484. ppx_deriving_cmdliner >= "0.5.1"
  2485. ppx_deriving_decoders
  2486. ppx_deriving_encoding
  2487. ppx_deriving_ezjsonm
  2488. ppx_deriving_hardcaml
  2489. ppx_deriving_jsonschema
  2490. ppx_deriving_jsoo
  2491. ppx_deriving_madcast
  2492. ppx_deriving_popper
  2493. ppx_deriving_protobuf >= "3.0.0"
  2494. ppx_deriving_protocol
  2495. ppx_deriving_qcheck >= "0.2.0"
  2496. ppx_deriving_rpc >= "6.1.0"
  2497. ppx_deriving_scad
  2498. ppx_deriving_variant_string
  2499. ppx_deriving_yaml
  2500. ppx_deriving_yojson = "3.5.3" | >= "3.9.1"
  2501. ppx_diff
  2502. ppx_disable_unused_warnings
  2503. ppx_distr_guards < "0.3"
  2504. ppx_dream_eml
  2505. ppx_embed_file
  2506. ppx_enumerate
  2507. ppx_expect != "v0.15.0"
  2508. ppx_expect_nobase
  2509. ppx_factory != "0.1.0"
  2510. ppx_fail
  2511. ppx_fields_conv
  2512. ppx_fixed_literal
  2513. ppx_gen_rec
  2514. ppx_getenv >= "2.0"
  2515. ppx_globalize
  2516. ppx_hardcaml
  2517. ppx_hash
  2518. ppx_here
  2519. ppx_ignore_instrumentation
  2520. ppx_import >= "1.7.1" & != "1.9.0" & != "1.10.0"
  2521. ppx_inline_alcotest
  2522. ppx_inline_test
  2523. ppx_inline_test_nobase
  2524. ppx_interact >= "0.1.1"
  2525. ppx_irmin < "2.4.0" | >= "3.0.0"
  2526. ppx_jane
  2527. ppx_js_style != "v0.14.0"
  2528. ppx_jsobject_conv >= "0.9.0"
  2529. ppx_jsonaf_conv
  2530. ppx_let
  2531. ppx_log
  2532. ppx_lun
  2533. ppx_matches
  2534. ppx_meta_conv < "4.1.0"
  2535. ppx_mica
  2536. ppx_minidebug
  2537. ppx_module_timer
  2538. ppx_monad >= "0.2.0"
  2539. ppx_monoid
  2540. ppx_mysql
  2541. ppx_mysql_identity
  2542. ppx_nanocaml
  2543. ppx_optcomp
  2544. ppx_optint
  2545. ppx_optional
  2546. ppx_parser
  2547. ppx_partial
  2548. ppx_pattern_bind
  2549. ppx_pipebang
  2550. ppx_protocol_conv
  2551. ppx_protocol_conv_json
  2552. ppx_protocol_conv_jsonm
  2553. ppx_protocol_conv_msgpack
  2554. ppx_protocol_conv_xml_light
  2555. ppx_protocol_conv_xmlm
  2556. ppx_protocol_conv_yaml
  2557. ppx_pyformat
  2558. ppx_python
  2559. ppx_quick_test
  2560. ppx_rapper
  2561. ppx_rapper_async
  2562. ppx_rapper_lwt
  2563. ppx_regexp
  2564. ppx_seq
  2565. ppx_sexp_conv
  2566. ppx_sexp_message
  2567. ppx_sexp_value
  2568. ppx_stable
  2569. ppx_stable_witness
  2570. ppx_string
  2571. ppx_string_conv
  2572. ppx_string_interpolation
  2573. ppx_system
  2574. ppx_test
  2575. ppx_there
  2576. ppx_tools_versioned
  2577. ppx_trace
  2578. ppx_traverse_builtins
  2579. ppx_ts
  2580. ppx_tydi
  2581. ppx_type_conv
  2582. ppx_type_directed_value
  2583. ppx_typed_fields
  2584. ppx_typerep_conv
  2585. ppx_tyre
  2586. ppx_units
  2587. ppx_unreachable
  2588. ppx_update
  2589. ppx_variants_conv
  2590. ppx_wideopen
  2591. ppx_xml_conv
  2592. ppx_yojson
  2593. ppx_yojson_conv
  2594. ppx_yojson_conv_lib
  2595. ppxfind
  2596. ppxlib >= "0.12.0" & < "0.14.0" | >= "0.34.0"
  2597. ppxlib-tools
  2598. ppxlib_jane >= "v0.17.1"
  2599. ppxx >= "2.5.0"
  2600. pratter >= "1.2.1"
  2601. prbnmcn-basic-structures
  2602. prbnmcn-cgrph
  2603. prbnmcn-clustering
  2604. prbnmcn-dagger >= "0.0.3"
  2605. prbnmcn-gnuplot
  2606. prbnmcn-linalg
  2607. prbnmcn-mcts
  2608. prbnmcn-proptest
  2609. prbnmcn-stats
  2610. prbnmcn-ucb1 >= "0.0.2"
  2611. preface
  2612. prelude
  2613. pretty_expressive
  2614. prettym
  2615. primes
  2616. pringo
  2617. printbox >= "0.6"
  2618. printbox-text < "0.8"
  2619. proc-smaps
  2620. process
  2621. process_limits
  2622. processor
  2623. producer
  2624. prof_spacetime
  2625. profiler-plugin
  2626. profiling
  2627. profunctor
  2628. progress
  2629. prom
  2630. prometheus
  2631. prometheus-app
  2632. promise
  2633. promise_jsoo
  2634. promise_jsoo_lwt
  2635. prooftree
  2636. protocell
  2637. protocol-9p
  2638. protocol-9p-tool
  2639. protocol-9p-unix
  2640. protocol_version_header
  2641. proverif
  2642. provider
  2643. prr
  2644. psmt2-frontend
  2645. psq
  2646. psyche
  2647. ptime >= "0.8.6"
  2648. ptmap != "2.0.4"
  2649. ptset
  2650. publish
  2651. pulseaudio < "0.1.4"
  2652. pumping
  2653. pure-splitmix
  2654. pvec
  2655. pvem
  2656. pxp
  2657. py
  2658. pyast
  2659. pyml >= "20220905"
  2660. pyml_bindgen
  2661. pythonlib != "v0.15.0" & < "v0.16.0"
  2662. qbf
  2663. qcheck >= "0.8" & != "0.19.1"
  2664. qcheck-alcotest != "0.19.1"
  2665. qcheck-core >= "0.13" & != "0.19.1"
  2666. qcheck-lin >= "0.2"
  2667. qcheck-multicoretests-util >= "0.2"
  2668. qcheck-ounit != "0.19.1"
  2669. qcheck-stm >= "0.2"
  2670. qcow
  2671. qcow-tool
  2672. qcstm
  2673. qinap
  2674. qiskit
  2675. qmp
  2676. qocamlbrowser < "0.2.12"
  2677. qrc
  2678. qrencode
  2679. qtest >= "2.9" & != "2.10.1"
  2680. queenshead
  2681. quests
  2682. quick_print
  2683. quickjs
  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 != "1.2.1"
  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. remu_ts
  2730. reparse
  2731. reparse-lwt
  2732. reparse-lwt-unix
  2733. reparse-unix
  2734. repr
  2735. res >= "5.0.0"
  2736. res_tailwindcss
  2737. rescript-syntax
  2738. reshowcase
  2739. resource-pooling >= "1.1"
  2740. resource_cache
  2741. resp
  2742. resp-client
  2743. resp-mirage
  2744. resp-server
  2745. resp-unix
  2746. resto
  2747. resto-acl
  2748. resto-cohttp
  2749. resto-cohttp-client
  2750. resto-cohttp-self-serving-client
  2751. resto-cohttp-server
  2752. resto-directory
  2753. resto-json
  2754. result
  2755. revops
  2756. rfc1951
  2757. rfc6287
  2758. rfsm
  2759. rhythm
  2760. riak
  2761. riak-pb
  2762. ringo >= "0.2" & < "0.4" | >= "1.0.0"
  2763. ringo-lwt
  2764. rio
  2765. river
  2766. rml < "1.09.05"
  2767. rock
  2768. rocq-runtime
  2769. roman
  2770. root1d >= "0.5"
  2771. rope != "0.6.2"
  2772. rosa
  2773. rosetta
  2774. routes
  2775. rpc
  2776. rpc_parallel
  2777. rpclib != "6.0.0"
  2778. rpclib-async != "6.0.0"
  2779. rpclib-html
  2780. rpclib-js
  2781. rpclib-lwt != "6.0.0"
  2782. rpmfile
  2783. rpmfile-cli
  2784. rpmfile-eio
  2785. rpmfile-unix
  2786. rresult
  2787. rss
  2788. rtop >= "3.14.0"
  2789. rtree
  2790. rungen
  2791. runtime_events_tools
  2792. rusage
  2793. rust-staticlib-virtual
  2794. Snowflake
  2795. SourceCode_ASCII
  2796. SZXX
  2797. safa
  2798. safemoney
  2799. safepass >= "3.0"
  2800. sail_manifest >= "0.18"
  2801. salsa20
  2802. salsa20-core
  2803. samplerate < "0.1.6"
  2804. sanddb
  2805. sarek
  2806. sarif
  2807. satex
  2808. satML-plugin
  2809. sattools
  2810. saturn
  2811. saturn_lockfree
  2812. satyrographos
  2813. savvy
  2814. sawja >= "1.5.12"
  2815. scad_ml
  2816. scfg
  2817. scgi
  2818. schroedinger
  2819. scipy
  2820. scrypt
  2821. scrypt-kdf
  2822. search
  2823. searchTree
  2824. secp256k1-internal >= "0.4.0"
  2825. sedlex >= "3.0"
  2826. sek
  2827. sel
  2828. semantic_version
  2829. semaphore-compat
  2830. semver >= "0.2.1"
  2831. semver2
  2832. sendmail
  2833. sendmail-lwt
  2834. sendmail-miou-unix
  2835. sendmail-mirage
  2836. sendmsg
  2837. sentry
  2838. seq
  2839. seqes
  2840. sequence < "0.2"
  2841. sequencer_table
  2842. serde
  2843. serde_debug
  2844. serde_derive
  2845. serde_json
  2846. serde_sexpr
  2847. serde_xml
  2848. serial
  2849. server-reason-react
  2850. session
  2851. session-cohttp
  2852. session-cohttp-async
  2853. session-cohttp-lwt
  2854. session-cookie
  2855. session-cookie-async
  2856. session-cookie-lwt
  2857. session-postgresql
  2858. session-postgresql-async
  2859. session-postgresql-lwt
  2860. session-redis-lwt
  2861. session-webmachine
  2862. setcore
  2863. sexp
  2864. sexp_decode
  2865. sexp_diff
  2866. sexp_diff_kernel
  2867. sexp_grammar
  2868. sexp_macro
  2869. sexp_pretty >= "v0.15.1"
  2870. sexp_select
  2871. sexp_string_quickcheck
  2872. sexplib != "v0.15.0"
  2873. sexplib0 >= "v0.15.1"
  2874. sexps-rewriter
  2875. sfml >= "0.09.2"
  2876. sgf
  2877. sha >= "1.15.2"
  2878. shades
  2879. shapefile
  2880. shared-block-ring
  2881. shared-memory-ring
  2882. shared-memory-ring-lwt
  2883. shared-secret
  2884. shell
  2885. sherlodoc
  2886. shexp
  2887. shine
  2888. shuttle
  2889. shuttle_http < "0.8.1" | >= "0.10.0"
  2890. shuttle_ssl
  2891. sid
  2892. sifun
  2893. signal
  2894. sihl
  2895. sihl-cache
  2896. sihl-contract
  2897. sihl-core
  2898. sihl-email
  2899. sihl-facade
  2900. sihl-persistence
  2901. sihl-queue
  2902. sihl-session
  2903. sihl-storage
  2904. sihl-token
  2905. sihl-type
  2906. sihl-user
  2907. sihl-web
  2908. simlog
  2909. simple-diff
  2910. simple63
  2911. simple_pam
  2912. sitemap
  2913. sklearn
  2914. slacko < "0.15.0"
  2915. slice
  2916. slipshow
  2917. slug
  2918. smart-print
  2919. smaws-clients
  2920. smaws-lib
  2921. smbc
  2922. smol
  2923. smol-helpers
  2924. smtlib-utils
  2925. smtml
  2926. smtp
  2927. snappy >= "0.1.2"
  2928. so
  2929. socketcan
  2930. sodium >= "0.6.0"
  2931. sodium-fmt
  2932. solid >= "0.4.0"
  2933. solid_server
  2934. solid_tools
  2935. solidity-alcotest
  2936. solidity-common
  2937. solidity-parser
  2938. solidity-test
  2939. solidity-typechecker
  2940. solo5-elftool
  2941. solo5-kernel-muen
  2942. solo5-kernel-ukvm
  2943. solo5-kernel-virtio
  2944. sortedseq_intersect
  2945. soundtouch
  2946. soupault
  2947. spacetime_lib
  2948. spatial-shell
  2949. spawn
  2950. spdx_licenses
  2951. spectrum
  2952. speed
  2953. speex != "0.4.0"
  2954. spelll >= "0.4"
  2955. spf
  2956. spices
  2957. spin < "0.8.0"
  2958. spirv
  2959. splay_tree
  2960. splittable_random
  2961. spoc_ppx
  2962. spoke
  2963. spotify_ml
  2964. spurs
  2965. sqids
  2966. sqlgg >= "20200521"
  2967. sqlite3 >= "4.2.0"
  2968. sqlite3_utils
  2969. squirrel
  2970. srs
  2971. srt < "0.1.1" | >= "0.3.1"
  2972. ssh-agent
  2973. ssl >= "0.5.12"
  2974. sslconf
  2975. starpath
  2976. starred_ml
  2977. starterkit
  2978. statmemprof-emacs
  2979. stb_image
  2980. stb_image_write
  2981. stb_truetype
  2982. stdint >= "0.7.1"
  2983. stdio
  2984. stdlib-random >= "1.2.0"
  2985. stdlib-shims
  2986. stdune
  2987. stitch
  2988. stk
  2989. stk_ppx
  2990. stog < "0.19.0" | >= "1.0.0"
  2991. stog-rdf
  2992. stog-writing
  2993. stone
  2994. store
  2995. stored_reversed
  2996. stramon-lib
  2997. streamable >= "v0.16.1"
  2998. streaming
  2999. string_dict
  3000. stringCodepointSplitter
  3001. stringext >= "1.5.0"
  3002. strymonas-pure
  3003. sturgeon
  3004. styled-ppx < "0.59.1"
  3005. subprocess
  3006. subscriptions-transport-ws
  3007. subtype-refinement
  3008. sugar
  3009. sun
  3010. sundialsml >= "6.1.1p1"
  3011. svmwrap >= "5.1.1"
  3012. swagger
  3013. swapfs
  3014. swhid
  3015. swhid_compute
  3016. swhid_core
  3017. swhid_types
  3018. swipl
  3019. symkat
  3020. syncweb
  3021. syndic >= "1.6.0"
  3022. synopsis
  3023. sys-socket
  3024. sys-socket-unix
  3025. syslog
  3026. syslog-message
  3027. syslog-rfc5424
  3028. systemverilog < "0.0.2"
  3029. TCSLib >= "0.5"
  3030. tablecloth-base >= "0.0.10"
  3031. tablecloth-melange
  3032. tablecloth-native != "0.0.8"
  3033. tabr
  3034. taglib = "0.3.6" | >= "0.3.8"
  3035. talaria-bibtex
  3036. tallgeese
  3037. tar >= "2.0.1"
  3038. tar-eio
  3039. tar-mirage >= "2.0.0"
  3040. tar-unix
  3041. tcalc
  3042. tcpip
  3043. tcx
  3044. tdigest
  3045. telegraml
  3046. telemetry
  3047. telltime
  3048. tensorboard
  3049. tensorflow
  3050. term-indexing
  3051. term-tools
  3052. termbox
  3053. terminal
  3054. terminal_size
  3055. terml
  3056. testo
  3057. testo-diff
  3058. testo-lwt
  3059. testo-util
  3060. testu01
  3061. text-tags >= "2.2.0"
  3062. textmate-language
  3063. textrazor
  3064. textutils
  3065. textutils_kernel
  3066. textwrap >= "0.2.1"
  3067. tezos-baking-015-PtLimaPt
  3068. tezos-baking-015-PtLimaPt-commands
  3069. tezos-baking-016-PtMumbai < "17.3"
  3070. tezos-baking-016-PtMumbai-commands < "17.3"
  3071. tezos-baking-alpha < "17.3"
  3072. tezos-baking-alpha-commands < "17.3"
  3073. tezos-base >= "16.0" & < "17.3"
  3074. tezos-base-test-helpers >= "16.0" & < "17.3"
  3075. tezos-benchmark
  3076. tezos-bls12-381-polynomial
  3077. tezos-clic >= "16.0" & < "17.3"
  3078. tezos-client-000-Ps9mPmXa < "17.3"
  3079. tezos-client-001-PtCJ7pwo < "17.3"
  3080. tezos-client-002-PsYLVpVv < "17.3"
  3081. tezos-client-003-PsddFKi3 < "17.3"
  3082. tezos-client-004-Pt24m4xi < "17.3"
  3083. tezos-client-005-PsBabyM1 < "17.3"
  3084. tezos-client-006-PsCARTHA < "17.3"
  3085. tezos-client-007-PsDELPH1 < "17.3"
  3086. tezos-client-008-PtEdo2Zk < "17.3"
  3087. tezos-client-009-PsFLoren < "17.3"
  3088. tezos-client-010-PtGRANAD < "17.3"
  3089. tezos-client-011-PtHangz2 < "17.3"
  3090. tezos-client-012-Psithaca < "17.3"
  3091. tezos-client-013-PtJakart < "17.3"
  3092. tezos-client-014-PtKathma < "17.3"
  3093. tezos-client-015-PtLimaPt < "17.3"
  3094. tezos-client-016-PtMumbai < "17.3"
  3095. tezos-client-alpha < "17.3"
  3096. tezos-client-base < "17.3"
  3097. tezos-client-base-unix < "17.3"
  3098. tezos-client-commands < "17.3"
  3099. tezos-client-demo-counter != "17.3"
  3100. tezos-client-genesis != "17.3"
  3101. tezos-context >= "16.0" & < "17.3"
  3102. tezos-context-ops < "17.3"
  3103. tezos-crypto >= "16.0" & < "17.3"
  3104. tezos-crypto-dal < "17.3"
  3105. tezos-dac-client-lib
  3106. tezos-dac-lib
  3107. tezos-dac-node-lib
  3108. tezos-dal-node-lib != "17.3"
  3109. tezos-dal-node-services != "17.3"
  3110. tezos-embedded-protocol-000-Ps9mPmXa < "17.3"
  3111. tezos-embedded-protocol-001-PtCJ7pwo < "17.3"
  3112. tezos-embedded-protocol-002-PsYLVpVv < "17.3"
  3113. tezos-embedded-protocol-003-PsddFKi3 < "17.3"
  3114. tezos-embedded-protocol-004-Pt24m4xi < "17.3"
  3115. tezos-embedded-protocol-005-PsBABY5H < "17.3"
  3116. tezos-embedded-protocol-005-PsBabyM1 < "17.3"
  3117. tezos-embedded-protocol-006-PsCARTHA < "17.3"
  3118. tezos-embedded-protocol-007-PsDELPH1 < "17.3"
  3119. tezos-embedded-protocol-008-PtEdo2Zk < "17.3"
  3120. tezos-embedded-protocol-008-PtEdoTez < "17.3"
  3121. tezos-embedded-protocol-009-PsFLoren < "17.3"
  3122. tezos-embedded-protocol-010-PtGRANAD < "17.3"
  3123. tezos-embedded-protocol-011-PtHangz2 < "17.3"
  3124. tezos-embedded-protocol-012-Psithaca < "17.3"
  3125. tezos-embedded-protocol-013-PtJakart < "17.3"
  3126. tezos-embedded-protocol-014-PtKathma < "17.3"
  3127. tezos-embedded-protocol-015-PtLimaPt < "17.3"
  3128. tezos-embedded-protocol-016-PtMumbai < "17.3"
  3129. tezos-embedded-protocol-alpha < "17.3"
  3130. tezos-embedded-protocol-demo-counter < "17.3"
  3131. tezos-embedded-protocol-demo-noops < "17.3"
  3132. tezos-embedded-protocol-genesis < "17.3"
  3133. tezos-error-monad >= "16.0" & < "17.3"
  3134. tezos-event-logging >= "16.0" & < "17.3"
  3135. tezos-event-logging-test-helpers >= "16.0" & < "17.3"
  3136. tezos-hacl < "17.3"
  3137. tezos-hacl-glue
  3138. tezos-injector-015-PtLimaPt
  3139. tezos-injector-016-PtMumbai
  3140. tezos-layer2-store < "17.3"
  3141. tezos-layer2-utils-016-PtMumbai < "17.3"
  3142. tezos-lazy-containers < "17.3"
  3143. tezos-lwt-result-stdlib >= "12.3" & < "17.3"
  3144. tezos-micheline >= "16.0" & < "17.3"
  3145. tezos-mockup < "17.3"
  3146. tezos-mockup-commands < "17.3"
  3147. tezos-mockup-proxy < "17.3"
  3148. tezos-mockup-registration < "17.3"
  3149. tezos-openapi
  3150. tezos-p2p >= "16.0" & < "17.3"
  3151. tezos-p2p-services >= "16.0" & < "17.3"
  3152. tezos-plompiler
  3153. tezos-plonk
  3154. tezos-protocol-000-Ps9mPmXa != "17.3"
  3155. tezos-protocol-001-PtCJ7pwo != "17.3"
  3156. tezos-protocol-002-PsYLVpVv != "17.3"
  3157. tezos-protocol-003-PsddFKi3 != "17.3"
  3158. tezos-protocol-004-Pt24m4xi != "17.3"
  3159. tezos-protocol-005-PsBABY5H != "17.3"
  3160. tezos-protocol-005-PsBabyM1 != "17.3"
  3161. tezos-protocol-006-PsCARTHA != "17.3"
  3162. tezos-protocol-007-PsDELPH1 != "17.3"
  3163. tezos-protocol-008-PtEdo2Zk != "17.3"
  3164. tezos-protocol-008-PtEdoTez != "17.3"
  3165. tezos-protocol-009-PsFLoren != "17.3"
  3166. tezos-protocol-010-PtGRANAD != "17.3"
  3167. tezos-protocol-011-PtHangz2 != "17.3"
  3168. tezos-protocol-012-Psithaca != "17.3"
  3169. tezos-protocol-013-PtJakart != "17.3"
  3170. tezos-protocol-014-PtKathma != "17.3"
  3171. tezos-protocol-015-PtLimaPt != "17.3"
  3172. tezos-protocol-016-PtMumbai != "17.3"
  3173. tezos-protocol-017-PtNairob >= "18.0"
  3174. tezos-protocol-018-Proxford
  3175. tezos-protocol-019-PtParisB
  3176. tezos-protocol-020-PsParisC
  3177. tezos-protocol-alpha != "17.3"
  3178. tezos-protocol-demo-counter != "17.3"
  3179. tezos-protocol-demo-noops != "17.3"
  3180. tezos-protocol-environment-packer
  3181. tezos-protocol-environment-sigs
  3182. tezos-protocol-genesis != "17.3"
  3183. tezos-protocol-plugin-007-PsDELPH1 < "17.3"
  3184. tezos-protocol-plugin-007-PsDELPH1-registerer < "17.3"
  3185. tezos-protocol-plugin-008-PtEdo2Zk < "17.3"
  3186. tezos-protocol-plugin-008-PtEdo2Zk-registerer < "17.3"
  3187. tezos-protocol-plugin-009-PsFLoren < "17.3"
  3188. tezos-protocol-plugin-009-PsFLoren-registerer < "17.3"
  3189. tezos-protocol-plugin-010-PtGRANAD < "17.3"
  3190. tezos-protocol-plugin-010-PtGRANAD-registerer < "17.3"
  3191. tezos-protocol-plugin-011-PtHangz2 < "17.3"
  3192. tezos-protocol-plugin-011-PtHangz2-registerer < "17.3"
  3193. tezos-protocol-plugin-012-Psithaca < "17.3"
  3194. tezos-protocol-plugin-012-Psithaca-registerer < "17.3"
  3195. tezos-protocol-plugin-013-PtJakart < "17.3"
  3196. tezos-protocol-plugin-013-PtJakart-registerer < "17.3"
  3197. tezos-protocol-plugin-014-PtKathma < "17.3"
  3198. tezos-protocol-plugin-014-PtKathma-registerer < "17.3"
  3199. tezos-protocol-plugin-015-PtLimaPt < "17.3"
  3200. tezos-protocol-plugin-015-PtLimaPt-registerer < "17.3"
  3201. tezos-protocol-plugin-016-PtMumbai < "17.3"
  3202. tezos-protocol-plugin-016-PtMumbai-registerer < "17.3"
  3203. tezos-protocol-plugin-alpha < "17.3"
  3204. tezos-protocol-plugin-alpha-registerer < "17.3"
  3205. tezos-protocol-updater < "17.3"
  3206. tezos-proxy < "17.3"
  3207. tezos-proxy-server-config != "17.3"
  3208. tezos-requester >= "16.0" & < "17.3"
  3209. tezos-rpc >= "16.0" & < "17.3"
  3210. tezos-rpc-http >= "16.0" & < "17.3"
  3211. tezos-rpc-http-client >= "16.0" & < "17.3"
  3212. tezos-rpc-http-client-unix >= "16.0" & < "17.3"
  3213. tezos-rpc-http-server >= "16.0" & < "17.3"
  3214. tezos-sapling < "17.3"
  3215. tezos-scoru-wasm < "17.3"
  3216. tezos-scoru-wasm-fast < "17.3"
  3217. tezos-scoru-wasm-helpers < "17.3"
  3218. tezos-shell < "17.3"
  3219. tezos-shell-context < "17.3"
  3220. tezos-shell-services >= "16.0" & < "17.3"
  3221. tezos-shell-services-test-helpers >= "16.0"
  3222. tezos-signer-backends < "17.3"
  3223. tezos-signer-services < "17.3"
  3224. tezos-smart-rollup-016-PtMumbai < "17.3"
  3225. tezos-smart-rollup-alpha < "17.3"
  3226. tezos-smart-rollup-layer2-016-PtMumbai < "17.3"
  3227. tezos-stdlib < "17.3"
  3228. tezos-stdlib-unix >= "16.0" & < "17.3"
  3229. tezos-store < "17.3"
  3230. tezos-test-helpers < "17.3"
  3231. tezos-test-helpers-extra
  3232. tezos-tree-encoding < "17.3"
  3233. tezos-tx-rollup-015-PtLimaPt
  3234. tezos-validation < "17.3"
  3235. tezos-version >= "16.0" & < "17.3"
  3236. tezos-wasmer < "17.3"
  3237. tezos-webassembly-interpreter < "17.3"
  3238. tezos-webassembly-interpreter-extra < "17.3"
  3239. tezos-workers >= "16.0" & < "17.3"
  3240. tezt
  3241. tezt-bam
  3242. tezt-performance-regression
  3243. tezt-tezos
  3244. tgls >= "0.8.6"
  3245. theora < "0.4.0"
  3246. thread-local-storage
  3247. thread-table
  3248. tidy
  3249. tidy_email
  3250. tidy_email_mailgun
  3251. tidy_email_sendgrid
  3252. tidy_email_smtp
  3253. tilde_f
  3254. time_now
  3255. timed >= "1.1"
  3256. timedesc >= "0.8.0"
  3257. timedesc-json
  3258. timedesc-sexp
  3259. timedesc-tzdb
  3260. timedesc-tzlocal
  3261. timedesc-tzlocal-js
  3262. timere >= "0.8.0"
  3263. timezone
  3264. timmy >= "1.0.4"
  3265. tiny_httpd
  3266. tiny_httpd_camlzip < "0.15"
  3267. tiny_json
  3268. tip-parser < "0.5"
  3269. tjr_simple_earley
  3270. tls >= "0.12.6"
  3271. tls-async != "0.15.4"
  3272. tls-eio
  3273. tls-lwt
  3274. tls-miou-unix
  3275. tls-mirage
  3276. tlstunnel
  3277. toc
  3278. tofn
  3279. togglelog
  3280. toml
  3281. toml-cconv
  3282. toml_cconv
  3283. tophide >= "1.1.0"
  3284. topkg >= "1.0.6"
  3285. topkg-care
  3286. topkg-jbuilder
  3287. toplevel_backend != "v0.15.0"
  3288. toplevel_expect_test >= "v0.12.2" & != "v0.15.0"
  3289. topojson
  3290. topological_sort
  3291. torch >= "0.6"
  3292. touist >= "3.5.0"
  3293. tplib
  3294. tqdm
  3295. trace
  3296. trace-fuchsia
  3297. trace-tef
  3298. tracing
  3299. tracy-client
  3300. trail
  3301. traildb
  3302. traits
  3303. trampoline
  3304. transept
  3305. traverse >= "0.3.0"
  3306. travesty < "0.6.0" | >= "0.6.2"
  3307. trax
  3308. tree_layout >= "0.2"
  3309. treeprint < "2.3.0"
  3310. trie
  3311. trs
  3312. tsdl
  3313. tsdl-image
  3314. tsdl-mixer
  3315. tsdl-ttf
  3316. tsort
  3317. ttweetnacl
  3318. tty
  3319. tuareg
  3320. tube
  3321. tuntap
  3322. twirp_cohttp_lwt_unix < "0.2"
  3323. twirp_core
  3324. twirp_ezcurl < "0.2"
  3325. twirp_tiny_httpd < "0.2"
  3326. twostep
  3327. tyabt
  3328. type_eq
  3329. type_id
  3330. typebeat
  3331. typeid
  3332. typerep >= "v0.17.1"
  3333. typerex-binutils
  3334. typeset
  3335. tyre
  3336. tyxml >= "4.4.0"
  3337. tyxml-jsx
  3338. tyxml-lwd < "0.2"
  3339. tyxml-ppx
  3340. tyxml-syntax >= "4.6.0"
  3341. u2f
  3342. ubase
  3343. ubpf
  3344. uchar
  3345. uecc >= "0.4"
  3346. uint >= "2.0.1"
  3347. ulex-camlp5
  3348. um-abt < "0.1.5"
  3349. unidecode
  3350. unionFind
  3351. unisim_archisec >= "0.0.10"
  3352. unison >= "2.53.0"
  3353. universal-portal
  3354. universo
  3355. unix-dirent
  3356. unix-errno >= "0.6.0"
  3357. unix-sys-resource
  3358. unix-sys-stat
  3359. unix-time
  3360. unix-unistd
  3361. unmagic
  3362. unstrctrd >= "0.4"
  3363. uopt
  3364. uri
  3365. uri-bench
  3366. uri-re
  3367. uring
  3368. uring-trace
  3369. uritemplate >= "0.2.0"
  3370. urn
  3371. usb
  3372. user-agent-parser
  3373. user-setup
  3374. username_kernel
  3375. uspf
  3376. uspf-lwt
  3377. uspf-mirage
  3378. uspf-unix
  3379. utop >= "2.15.0"
  3380. uucd
  3381. uucp >= "13.0.0"
  3382. uuidm >= "0.9.8"
  3383. uunf >= "2.0.1"
  3384. uuseg
  3385. uutf >= "1.0.3"
  3386. uuuu
  3387. valentine
  3388. validate
  3389. validator
  3390. variantslib >= "v0.12.0"
  3391. varint
  3392. varray
  3393. vcaml < "v0.16.0"
  3394. vcardgen < "1.2"
  3395. vchan
  3396. vchan-unix
  3397. vchan-xen
  3398. vdom
  3399. vec
  3400. vecosek
  3401. vecosek-engine
  3402. vecosek-scene
  3403. vector
  3404. vector3 >= "1.0.0"
  3405. vendredi
  3406. vercel
  3407. versioned_polling_state_rpc
  3408. vg
  3409. vhd-format < "0.12.0" | >= "0.12.2"
  3410. vhd-format-lwt < "0.12.1" | >= "0.13.0"
  3411. vhdlib
  3412. virtual_dom
  3413. virtual_dom_toplayer
  3414. visitors >= "20250212"
  3415. vlq < "0.2.1"
  3416. vlt
  3417. vmnet
  3418. voaacenc
  3419. vocal
  3420. vorbis
  3421. vpnkit
  3422. vpt
  3423. vscoq-language-server
  3424. vue-jsoo = "0.2"
  3425. vue-ppx
  3426. wall >= "0.4"
  3427. wamp
  3428. wamp-msgpck
  3429. wamp-yojson
  3430. wasm >= "2.0.1"
  3431. wasm_of_ocaml-compiler
  3432. wasmer
  3433. wasmtime
  3434. wayland
  3435. waylaunch
  3436. wcs
  3437. wcs-api
  3438. wcs-lib
  3439. wcwidth
  3440. webauthn
  3441. webbrowser
  3442. weberizer
  3443. webidl
  3444. webmachine >= "0.5.0"
  3445. websocket != "2.12"
  3446. websocket-async != "2.12"
  3447. websocket-lwt-unix
  3448. websocketaf
  3449. websocketml
  3450. webtest
  3451. webtest-js
  3452. why3 = "1.2.1" | >= "1.6.0"
  3453. why3-coq
  3454. why3-ide
  3455. why3find
  3456. wikitext
  3457. win-error >= "0.3"
  3458. win-eventlog >= "0.2"
  3459. winsvc >= "1.0.1"
  3460. ws
  3461. ws-server
  3462. wseg
  3463. wtf8
  3464. wtr
  3465. wtr-ppx
  3466. wu-manber-fuzzy-search
  3467. wxOCaml
  3468. x509
  3469. xapi-backtrace
  3470. xapi-inventory
  3471. xapi-rrd
  3472. xapi-stdext-date
  3473. xapi-stdext-encodings
  3474. xapi-stdext-pervasives
  3475. xapi-stdext-std
  3476. xapi-stdext-threads >= "4.19.0"
  3477. xapi-stdext-unix >= "4.21.0"
  3478. xapi-stdext-zerocheck != "4.20.0"
  3479. xcursor
  3480. xdg
  3481. xdg-basedir < "0.0.5"
  3482. xedbindings
  3483. xen-evtchn
  3484. xen-evtchn-unix
  3485. xen-gnt
  3486. xenstore >= "2.1.1"
  3487. xenstore_transport
  3488. xkbcommon
  3489. xlsx2csv
  3490. xmelly
  3491. xml-light >= "2.5"
  3492. xmldiff
  3493. xmlm >= "1.4.0"
  3494. xmlplaylist >= "0.1.4"
  3495. xtmpl
  3496. xxhash
  3497. yaml
  3498. yara
  3499. yices2_bindings
  3500. yocaml < "2.0.0" | >= "2.1.0"
  3501. yocaml_cmark
  3502. yocaml_cmarkit
  3503. yocaml_eio
  3504. yocaml_git
  3505. yocaml_jingoo
  3506. yocaml_markdown
  3507. yocaml_mustache
  3508. yocaml_omd
  3509. yocaml_otoml
  3510. yocaml_runtime
  3511. yocaml_syndication
  3512. yocaml_unix
  3513. yocaml_yaml >= "2.0.0"
  3514. yojson
  3515. yojson-bench
  3516. yojson-five
  3517. yosqlite
  3518. yurt
  3519. yuscii
  3520. yuujinchou
  3521. z3 >= "4.8.14"
  3522. zar
  3523. zarith >= "1.4"
  3524. zarith-freestanding
  3525. zarith-ppx
  3526. zarith-xen
  3527. zarith_stubs_js
  3528. zarr
  3529. zarr-eio
  3530. zarr-lwt
  3531. zarr-sync
  3532. zbar
  3533. zdd
  3534. zed
  3535. zeit
  3536. zelus
  3537. zelus-gtk
  3538. zenon >= "0.8.5"
  3539. zenon_modulo
  3540. zipc
  3541. zipperposition
  3542. zipperposition-tools
  3543. zlib
  3544. zlist
  3545. zmq >= "5.0.0"
  3546. zmq-async
  3547. zmq-eio
  3548. zmq-lwt
  3549. zstandard
  3550. zstd
  3551. 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