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