package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (78)

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: 25 Feb 2022

Dependencies (4)

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

Conflicts

None