package ocaml

  1. Overview
  2. Docs

Description

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

Published: 22 Dec 2023

Dependencies (5)

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

Dev Dependencies

None

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

Conflicts

None