package ocaml

  1. Overview
  2. No Docs

Description

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

Published: 14 Mar 2024

Dependencies (5)

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

Dev Dependencies

None

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

Conflicts

None

OCaml

Innovation. Community. Security.