package ocaml

  1. Overview
  2. No Docs

Description

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

Published: 26 Aug 2024

Dependencies (5)

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

Conflicts

None