package ocaml

  1. Overview
  2. Docs

Description

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

Published: 13 May 2024

Dependencies (5)

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

Conflicts

None