package ocaml

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

Install

Dune Dependency

ocaml.org Edit opam file Versions (74)

Authors

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

Maintainers

  1. David Allsopp

Description

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

Published: 23 Apr 2020

Dependencies (4)

  1. ocaml-system >= "4.10.1" & < "4.10.2~"
  2. ocaml-variants >= "4.10.1" & < "4.10.2~"
  3. ocaml-base-compiler = "4.10.1"
  4. ocaml-config

Dev Dependencies

None

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

Conflicts

None