package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (79)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. 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: 14 Sep 2023

Dependencies (5)

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

Conflicts

None