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