package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (79)

Authors

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

Conflicts

None