package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (78)

Authors

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

Maintainers

  1. David Allsopp

Description

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

Published: 22 Dec 2023

Dependencies (5)

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

Dev Dependencies

None

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