package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (79)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp

Description

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

Published: 14 Sep 2023

Dependencies (5)

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

Conflicts

None