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

Conflicts

None