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: 11 Apr 2023

Dependencies (5)

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

Conflicts

None