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

Install

ocaml.org Edit opam file

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. P
    platform@lists.ocaml.org

Description

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

Published: 11 Apr 2023

Dependencies (5)

  1. dkml-base-compiler >= "5.2.0~" & < "5.2.1~"
  2. ocaml-system >= "5.2.0~" & < "5.2.1~"
  3. ocaml-variants >= "5.2.0~" & < "5.2.1~"
  4. ocaml-base-compiler = "5.2.0"
  5. ocaml-config >= "3"

Dev Dependencies

None

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

Conflicts

None