package ocaml

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

Install

Dune Dependency

ocaml.org Edit opam file Versions (73)

Authors

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

Maintainers

  1. P
    platform@lists.ocaml.org

Description

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

Published: 04 Mar 2021

Dependencies (4)

  1. ocaml-system >= "4.10.3" & < "4.10.4~"
  2. ocaml-variants >= "4.10.3" & < "4.10.4~"
  3. ocaml-base-compiler = "4.10.3"
  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"
  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"
  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" & < "0.229.1"
  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. nocoiner
  1828. nocrypto >= "0.2.0" & != "0.5.3"
  1829. noise
  1830. non_empty_list
  1831. nonstd
  1832. nosetup
  1833. not-ocamlfind != "0.07" & < "0.09"
  1834. note
  1835. notty != "0.2.0"
  1836. notty_async < "v0.16.0"
  1837. np
  1838. nproc
  1839. npy >= "0.0.7"
  1840. nsq >= "0.1.1"
  1841. num >= "1.0"
  1842. numalib
  1843. numerix
  1844. nunchaku >= "0.6"
  1845. nuscr >= "2.0.0"
  1846. OCanren
  1847. OCanren-ppx
  1848. oasis >= "0.4.7"
  1849. oasis-mirage
  1850. oasis2debian
  1851. oasis2opam < "0.4.4" | >= "0.6.1"
  1852. obandit
  1853. obeam < "0.1.0" | >= "0.1.2"
  1854. obeanstalk
  1855. obelisk
  1856. obi
  1857. obigstore
  1858. objsize >= "0.18"
  1859. obuild >= "0.1.9"
  1860. obuilder < "0.5"
  1861. obuilder-spec < "0.6.0"
  1862. obus >= "1.1.8"
  1863. obytelib
  1864. oc45
  1865. ocal != "0.2.0"
  1866. ocaml-basics != "0.4.0"
  1867. ocaml-buddy
  1868. ocaml-canvas
  1869. ocaml-compiler-libs < "v0.17.0"
  1870. ocaml-data-notation < "0.0.10"
  1871. ocaml-embed-file < "v0.16.0"
  1872. ocaml-expat < "1.3.0"
  1873. ocaml-freestanding >= "0.5.0" & < "0.7.0"
  1874. ocaml-http >= "0.1.6"
  1875. ocaml-inifiles
  1876. ocaml-js-stdlib
  1877. ocaml-logicalform
  1878. ocaml-lsp-server < "1.5.0"
  1879. ocaml-lua >= "1.8"
  1880. ocaml-makefile < "6.39.2"
  1881. ocaml-manual = "4.10.0"
  1882. ocaml-markdown
  1883. ocaml-migrate-parsetree >= "1.5.0"
  1884. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  1885. ocaml-monadic >= "0.3.2"
  1886. ocaml-print-intf
  1887. ocaml-protoc
  1888. ocaml-protoc-plugin
  1889. ocaml-protoc-yojson
  1890. ocaml-r >= "0.1.0"
  1891. ocaml-sat-solvers
  1892. ocaml-syntax-shims
  1893. ocaml-system
  1894. ocaml-systemd
  1895. ocaml-top < "1.1.0" | >= "1.1.5"
  1896. ocaml-twt
  1897. ocaml-variants >= "4.10.3+trunk" & < "4.11.0+32bit"
  1898. ocaml-vdom < "transition"
  1899. ocaml-version
  1900. ocaml-xdg-basedir = "0.0.3"
  1901. ocaml-xml-rpc
  1902. ocaml-zmq
  1903. ocaml_db_model
  1904. ocaml_intrinsics < "v0.16.0"
  1905. ocaml_pgsql_model
  1906. ocaml_plugin < "112.35.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03"
  1907. ocamlapi
  1908. ocamlapi_async
  1909. ocamlapi_lwt_unix
  1910. ocamlapi_ppx
  1911. ocamlbrowser = "4.10.0"
  1912. ocamlbuild < "0.9.0" | >= "0.14.0"
  1913. ocamlbuild-atdgen
  1914. ocamlbuild-pkg
  1915. ocamlbuild-protoc
  1916. ocamlc-loc
  1917. ocamlclean >= "2.3"
  1918. ocamldap >= "2.3.0"
  1919. ocamldiff = "1.1"
  1920. ocamldsort
  1921. ocamlfind >= "1.8.1"
  1922. ocamlfind-lint
  1923. ocamlformat != "0.5" & != "0.9" & != "0.19.0~4.13preview"
  1924. ocamlformat-lib
  1925. ocamlformat-rpc < "removed"
  1926. ocamlformat-rpc-lib
  1927. ocamlfuse
  1928. ocamlgraph >= "1.8.8"
  1929. ocamlgraph_gtk
  1930. ocamlify
  1931. ocamline
  1932. ocamlmod >= "0.0.8"
  1933. ocamlnet >= "4.1.7"
  1934. ocamlog
  1935. ocamlpp >= "1.1"
  1936. ocamlrss
  1937. ocamlscript
  1938. ocamlsdl
  1939. ocamlsdl2
  1940. ocamlsdl2-image
  1941. ocamlsdl2-ttf
  1942. ocamltter < "2.0.1" | = "2.1.1" | >= "4.1.0"
  1943. ocamlviz
  1944. ocamlwc
  1945. ocamlyices
  1946. ocapic >= "3.5"
  1947. ocb
  1948. ocb-stubblr
  1949. ocephes
  1950. oci
  1951. oclaunch
  1952. oclock
  1953. ocluster < "0.2"
  1954. ocluster-api < "0.2"
  1955. ocolor >= "1.1"
  1956. ocp-browser
  1957. ocp-build >= "1.99.21"
  1958. ocp-indent = "1.5.2" | >= "1.6.1"
  1959. ocp-indent-nlfork >= "1.5.4"
  1960. ocp-index >= "1.2"
  1961. ocp-ocamlres != "0.3"
  1962. ocp-pack-split
  1963. ocp-pp
  1964. ocp-reloc
  1965. ocp-search
  1966. ocp_reveal
  1967. ocplib-compat
  1968. ocplib-config
  1969. ocplib-endian != "0.8"
  1970. ocplib-file
  1971. ocplib-json-typed != "0.4"
  1972. ocplib-json-typed-browser
  1973. ocplib-json-typed-bson
  1974. ocplib-resto
  1975. ocplib-simplex
  1976. ocplib_stuff
  1977. ocsfml
  1978. ocsigen-i18n >= "3.5.0"
  1979. ocsigen-start
  1980. ocsigen-toolkit
  1981. ocsigenserver >= "2.12.0"
  1982. octavius != "1.2.0"
  1983. ocurl >= "0.7.6" & < "0.8.0" | >= "0.9.1"
  1984. ocveralls
  1985. odate >= "0.6"
  1986. odbc
  1987. odds < "1.1"
  1988. odep
  1989. odepack >= "0.6.7"
  1990. odig != "0.0.2"
  1991. odisco
  1992. odnnr
  1993. odoc < "1.3.0" | >= "1.5.0"
  1994. odoc-depgraph
  1995. odoc-parser
  1996. offheap
  1997. ofx
  1998. ogen != "0.1.2"
  1999. ogg = "0.5.2" | = "0.6.1" | >= "0.7.2"
  2000. ogre < "1.4.0" | >= "2.2.0"
  2001. ohex
  2002. oidc
  2003. ojquery
  2004. ojs
  2005. ojs-base < "0.3.0" | = "0.5.0"
  2006. ojwidgets
  2007. olinq
  2008. ollvm
  2009. ollvm-tapir
  2010. olmi
  2011. omake >= "0.10.3"
  2012. omd >= "1.3.1" & < "2.0.0~alpha4"
  2013. omg
  2014. omigrate
  2015. oml < "0.0.5" | >= "0.0.7"
  2016. omlr
  2017. omod < "0.0.4"
  2018. omonad >= "0.4.0"
  2019. oneffs
  2020. oniguruma
  2021. oolc
  2022. opaca
  2023. opal
  2024. opam-0install
  2025. opam-0install-cudf
  2026. opam-bin >= "0.9.5"
  2027. opam-build
  2028. opam-build-revdeps
  2029. opam-bundle
  2030. opam-ci
  2031. opam-client
  2032. opam-compiler
  2033. opam-core = "2.0.0~beta5" | >= "2.0.0~rc2"
  2034. opam-depext
  2035. opam-devel
  2036. opam-dune-lint >= "0.2"
  2037. opam-ed
  2038. opam-file-format
  2039. opam-format
  2040. opam-graph
  2041. opam-grep >= "0.2.0"
  2042. opam-installer
  2043. opam-lib < "0.9.4" | >= "1.0.0"
  2044. opam-lock
  2045. opam-monorepo
  2046. opam-package-upgrade < "0.2"
  2047. opam-publish
  2048. opam-query
  2049. opam-repository
  2050. opam-solver
  2051. opam-spin
  2052. opam-state
  2053. opam-sync-github-prs
  2054. opam-test
  2055. opam2web
  2056. opam_bin_lib
  2057. opamconfig
  2058. opamfind
  2059. opamfu
  2060. opass < "2.15"
  2061. opasswd >= "1.3.1"
  2062. opazl
  2063. open
  2064. open_packaging
  2065. openai-gym
  2066. opencc
  2067. opencc0
  2068. opencc1
  2069. opencc1_1
  2070. openflow
  2071. openQASM >= "0.4.0"
  2072. opentelemetry
  2073. opentelemetry-client-cohttp-lwt
  2074. opentelemetry-client-ocurl
  2075. opentelemetry-cohttp-lwt
  2076. opentelemetry-lwt
  2077. operf-macro
  2078. operf-micro >= "1.1.1"
  2079. opium
  2080. opium-graphql
  2081. opium-testing
  2082. opium_kernel
  2083. oplay
  2084. oplot
  2085. oplsr
  2086. opomodoro
  2087. optal
  2088. opti
  2089. optimization1d != "0.5.1"
  2090. optiml-transport
  2091. optint
  2092. opus < "0.2.0" | >= "0.2.2"
  2093. oqamldebug
  2094. oraft < "0.3.0"
  2095. orakuda >= "1.2.0" & < "2.0.0"
  2096. orandforest
  2097. order-i3-xfce
  2098. ordering
  2099. ordma
  2100. orec
  2101. orf
  2102. orm >= "0.7.0"
  2103. orocksdb
  2104. orpie >= "1.6.1"
  2105. orrandomForest
  2106. orsetto >= "1.0.2"
  2107. orsvm_e1071
  2108. orun
  2109. orxgboost
  2110. osbx >= "1.2.4"
  2111. osc >= "0.1.4"
  2112. osc-lwt
  2113. osc-unix
  2114. osdp
  2115. oseq
  2116. osh
  2117. osm_xml
  2118. ostap
  2119. osx-acl
  2120. osx-attr
  2121. osx-cf
  2122. osx-fsevents
  2123. osx-membership
  2124. osx-mount
  2125. osx-plutil
  2126. osx-secure-transport >= "0.1.1"
  2127. osx-xattr
  2128. otetris
  2129. otf
  2130. otfm
  2131. oth
  2132. otoggl
  2133. otoml
  2134. otr >= "0.3.2"
  2135. ott >= "0.26"
  2136. otto
  2137. ounit >= "2.0.0" & < "2.2.0"
  2138. ounit-lwt < "2.2.0"
  2139. ounit2
  2140. ounit2-lwt
  2141. override >= "0.3.0"
  2142. owee >= "0.3"
  2143. owl >= "0.3.7" & != "0.6.0"
  2144. owl-base
  2145. owl-jupyter
  2146. owl-ode
  2147. owl-ode-base
  2148. owl-ode-odepack
  2149. owl-ode-sundials
  2150. owl-opt
  2151. owl-opt-lbfgs
  2152. owl-plplot
  2153. owl-symbolic
  2154. owl-top
  2155. owl-zoo
  2156. owork
  2157. ox
  2158. oxylc
  2159. ozulip
  2160. p4pp < "0.1.12"
  2161. pa_bench < "113.00.00"
  2162. pa_comprehension
  2163. pa_monad_custom
  2164. pa_ounit < "112.35.00"
  2165. pa_ppx < "0.07" | >= "0.08"
  2166. pa_ppx_ag
  2167. pa_ppx_hashcons
  2168. pa_ppx_migrate
  2169. pa_ppx_parsetree
  2170. pa_ppx_q_ast
  2171. pa_ppx_quotation2extension
  2172. pa_ppx_regexp
  2173. pa_ppx_static
  2174. pa_ppx_string
  2175. pa_ppx_unique
  2176. pa_qualified
  2177. pa_solution
  2178. pa_test < "112.24.00"
  2179. pa_where
  2180. packet
  2181. packstream
  2182. pacomb
  2183. paf
  2184. paf-cohttp
  2185. paf-le
  2186. pam < "v0.16.0"
  2187. pandoc >= "0.2.0"
  2188. pandoc-abbreviations
  2189. pandoc-replace < "0.2.1"
  2190. papi < "0.1.1"
  2191. parany < "13.0.0" | >= "14.0.0"
  2192. pardi
  2193. pareto >= "0.3"
  2194. pari
  2195. pari-bindings
  2196. parmap >= "1.0-rc11"
  2197. parse-argv
  2198. parsexp >= "v0.9.1" & < "v0.16.0"
  2199. parsexp_io >= "v0.9.1" & < "v0.16.0"
  2200. parsley
  2201. partition_map
  2202. passmaker
  2203. passmakercmd
  2204. patch
  2205. patdiff != "113.00.00" & != "113.33.03" & < "v0.16.0"
  2206. path_glob
  2207. patience_diff != "112.24.00" & != "113.33.03" & < "v0.16.0"
  2208. patoline
  2209. pattern >= "0.2.0"
  2210. pb
  2211. pb-plugin
  2212. pbkdf
  2213. pbrt
  2214. pbrt_services
  2215. pbrt_yojson
  2216. pbs
  2217. pcap-format < "0.5.0" | >= "0.5.2"
  2218. pcf-format
  2219. pci >= "1.0.1"
  2220. pci-db
  2221. pcre >= "7.1.3" & < "7.5.0"
  2222. pds
  2223. pds-reachability
  2224. pecu
  2225. perf
  2226. petr4
  2227. pf-qubes
  2228. pfff >= "0.40.4"
  2229. pg_query
  2230. pgocaml < "1.7" | >= "2.2" & != "3.2"
  2231. pgocaml_ppx
  2232. pgsolver
  2233. pgx
  2234. pgx_async
  2235. pgx_lwt
  2236. pgx_lwt_mirage
  2237. pgx_lwt_unix
  2238. pgx_unix
  2239. pgx_value_core
  2240. pgx_value_ptime
  2241. phantom-algebra
  2242. phashtbl
  2243. phonetic
  2244. piaf
  2245. picasso
  2246. pilat
  2247. pipebang < "109.09.00"
  2248. piqi < "0.7.0" | >= "0.7.6"
  2249. piqilib
  2250. pixel_pusher
  2251. pkcs11
  2252. pkcs11-cli >= "1.0.1"
  2253. pkcs11-driver
  2254. pkcs11-rev >= "1.0.1"
  2255. pla
  2256. planck >= "2.2.0"
  2257. planets >= "0.1.14"
  2258. plato
  2259. plist < "1.0.0"
  2260. plist-xml < "0.4.0"
  2261. plotkicadsch < "0.4.0" | >= "0.5.2"
  2262. plplot
  2263. podge < "0.4"
  2264. polars
  2265. polka
  2266. polly
  2267. polyglot
  2268. pomap >= "4.1.0"
  2269. popper
  2270. portaudio = "0.2.1"
  2271. portaudio_c_bindings
  2272. portia >= "1.1"
  2273. portmidi
  2274. posix-base >= "2.0.2"
  2275. posix-clock
  2276. posix-getopt < "2.0.0"
  2277. posix-math
  2278. posix-mqueue
  2279. posix-semaphore
  2280. posix-time
  2281. posix-types
  2282. posixat >= "v0.10.0" & < "v0.16.0"
  2283. postgres_async < "v0.16.0"
  2284. postgresql
  2285. pp
  2286. pp-binary-ints
  2287. pp_loc
  2288. pprint >= "20171003"
  2289. ppx-owl-opt
  2290. ppx_accessor < "v0.16.0"
  2291. ppx_assert >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2292. ppx_ast >= "v0.11.0"
  2293. ppx_bap
  2294. ppx_base < "v0.16.0"
  2295. ppx_bench = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2296. ppx_bin_prot >= "113.24.00" & != "113.33.00" & != "113.33.03" & != "v0.12.0" & < "v0.16.0"
  2297. ppx_bitstring = "1.1.0" | >= "1.3.3"
  2298. ppx_blob >= "0.2"
  2299. ppx_cold < "v0.16.0"
  2300. ppx_compare = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2301. ppx_compose
  2302. ppx_const
  2303. ppx_conv_func = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2304. ppx_core >= "v0.9.2"
  2305. ppx_counters
  2306. ppx_cstruct
  2307. ppx_cstubs >= "0.3.0"
  2308. ppx_csv_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2309. ppx_custom_printf = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & != "v0.12.0" & < "v0.16.0"
  2310. ppx_defer < "0.5.0"
  2311. ppx_derivers
  2312. ppx_deriving >= "4.4.1"
  2313. ppx_deriving_argparse
  2314. ppx_deriving_cmdliner >= "0.5.1"
  2315. ppx_deriving_crowbar
  2316. ppx_deriving_encoding
  2317. ppx_deriving_hardcaml < "v0.16.0"
  2318. ppx_deriving_jsoo
  2319. ppx_deriving_madcast
  2320. ppx_deriving_morphism != "0.4"
  2321. ppx_deriving_popper
  2322. ppx_deriving_protobuf = "2.4" | >= "2.7"
  2323. ppx_deriving_protocol
  2324. ppx_deriving_qcheck
  2325. ppx_deriving_rpc >= "6.1.0"
  2326. ppx_deriving_scad
  2327. ppx_deriving_yaml
  2328. ppx_deriving_yojson < "2.0" | >= "3.5.2"
  2329. ppx_disable_unused_warnings < "v0.16.0"
  2330. ppx_distr_guards < "0.3"
  2331. ppx_dotbracket
  2332. ppx_dream_eml
  2333. ppx_driver = "113.24.00" | >= "113.33.00+4.03" & < "113.33.03" | >= "v0.9.2"
  2334. ppx_enumerate = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2335. ppx_expect != "113.33.00" & != "113.33.01" & != "113.33.03" & < "v0.16.0"
  2336. ppx_factory != "0.1.0"
  2337. ppx_fail = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0"
  2338. ppx_fields_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2339. ppx_fixed_literal < "v0.16.0"
  2340. ppx_fun < "0.0.9"
  2341. ppx_gen_rec
  2342. ppx_getenv >= "1.2"
  2343. ppx_graphql
  2344. ppx_hardcaml
  2345. ppx_hash < "v0.16.0"
  2346. ppx_here >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2347. ppx_ignore_instrumentation < "v0.16.0"
  2348. ppx_import >= "1.7.1"
  2349. ppx_inline_alcotest
  2350. ppx_inline_test = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2351. ppx_integer
  2352. ppx_irmin < "2.4.0" | >= "3.0.0"
  2353. ppx_jane != "113.33.03" & < "v0.16.0"
  2354. ppx_js_style < "v0.16.0"
  2355. ppx_jsobject_conv >= "0.2.1" & < "0.6.0" | >= "0.9.0"
  2356. ppx_jsonaf_conv < "v0.16.0"
  2357. ppx_let != "113.33.00" & != "113.33.03" & < "v0.16.0"
  2358. ppx_log < "v0.16.0"
  2359. ppx_matches
  2360. ppx_meta_conv >= "4.0.0" & < "4.1.0"
  2361. ppx_metaquot
  2362. ppx_minidebug < "1.0.0"
  2363. ppx_module_timer < "v0.16.0"
  2364. ppx_monad >= "0.2.0"
  2365. ppx_monadic >= "1.0.4"
  2366. ppx_monoid != "0.2"
  2367. ppx_mysql
  2368. ppx_mysql_identity
  2369. ppx_nanocaml
  2370. ppx_netblob >= "1.1"
  2371. ppx_optcomp = "113.24.00" | = "113.33.01+4.03" | >= "v0.9.0" & < "v0.16.0"
  2372. ppx_optint
  2373. ppx_optional < "v0.16.0"
  2374. ppx_orakuda = "3.0.1" | = "3.1.0" | >= "3.3.0"
  2375. ppx_overload >= "1.4"
  2376. ppx_pattern_bind < "v0.16.0"
  2377. ppx_pbt
  2378. ppx_pipebang = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2379. ppx_poly_record >= "1.1.1"
  2380. ppx_protocol_conv
  2381. ppx_protocol_conv_json
  2382. ppx_protocol_conv_jsonm
  2383. ppx_protocol_conv_msgpack
  2384. ppx_protocol_conv_xml_light
  2385. ppx_protocol_conv_xmlm
  2386. ppx_protocol_conv_yaml
  2387. ppx_pyformat
  2388. ppx_python < "v0.16.0"
  2389. ppx_rapper
  2390. ppx_rapper_async
  2391. ppx_rapper_lwt
  2392. ppx_regexp >= "0.3.0"
  2393. ppx_seq
  2394. ppx_sexp_conv >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2395. ppx_sexp_message != "113.33.00" & != "113.33.03" & < "v0.16.0"
  2396. ppx_sexp_value = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2397. ppx_sqlexpr
  2398. ppx_stable < "v0.16.0"
  2399. ppx_string < "v0.16.0"
  2400. ppx_string_interpolation
  2401. ppx_system
  2402. ppx_test >= "1.4.0"
  2403. ppx_there
  2404. ppx_tools >= "6.1+4.10.0"
  2405. ppx_tools_versioned >= "5.2.2"
  2406. ppx_traverse
  2407. ppx_traverse_builtins
  2408. ppx_type_conv = "113.24.00" | >= "113.33.00+4.03" & != "113.33.03"
  2409. ppx_type_directed_value
  2410. ppx_typed_fields < "v0.16.0"
  2411. ppx_typerep_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2412. ppx_tyre
  2413. ppx_units
  2414. ppx_variants_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2415. ppx_wideopen
  2416. ppx_xml_conv >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2417. ppx_yojson
  2418. ppx_yojson_conv < "v0.16.0"
  2419. ppx_yojson_conv_lib < "v0.16.0"
  2420. ppxfind
  2421. ppxlib >= "0.12.0" & != "0.25.0~5.00preview"
  2422. ppxx >= "2.4.0"
  2423. pratter
  2424. prbnmcn-clustering < "0.0.2"
  2425. prbnmcn-gnuplot < "0.0.5"
  2426. prbnmcn-mcts
  2427. prbnmcn-ucb1 >= "0.0.2"
  2428. preface
  2429. prettiest
  2430. pretty_expressive
  2431. prettym
  2432. primes
  2433. pringo
  2434. printbox
  2435. printbox-text < "0.8"
  2436. prob-cache
  2437. proc-smaps
  2438. process
  2439. processor
  2440. producer
  2441. prof_spacetime
  2442. profiler-plugin
  2443. progress
  2444. proj4 >= "0.9.2"
  2445. prom
  2446. promela
  2447. prometheus
  2448. prometheus-app
  2449. promise
  2450. promise_jsoo
  2451. promise_jsoo_lwt
  2452. prooftree
  2453. protobuf
  2454. protocell
  2455. protocol-9p
  2456. protocol-9p-tool
  2457. protocol-9p-unix
  2458. protocol_version_header < "v0.16.0"
  2459. proverif >= "1.97pl3"
  2460. prr
  2461. psmt2-frontend
  2462. psq
  2463. psyche
  2464. ptime >= "0.8.1"
  2465. ptmap < "2.0.1" | >= "2.0.4"
  2466. ptset >= "1.0.1"
  2467. publish
  2468. pulseaudio < "0.1.4"
  2469. pumping
  2470. pure-splitmix < "0.3"
  2471. pvec
  2472. pvem
  2473. pvem_lwt_unix
  2474. pxp != "1.2.8"
  2475. py
  2476. pyast
  2477. pyml < "20171117" | >= "20200115"
  2478. pyml_bindgen
  2479. pythonlib < "v0.15.0"
  2480. qbf
  2481. qcheck >= "0.3" & < "0.5" | >= "0.5.2"
  2482. qcheck-alcotest
  2483. qcheck-core
  2484. qcheck-ounit
  2485. qcow < "0.8.1" | >= "0.10.0"
  2486. qcow-format
  2487. qcow-tool
  2488. qcstm
  2489. qfs >= "0.12"
  2490. qinap
  2491. qiskit
  2492. qmp
  2493. qocamlbrowser >= "0.2.11"
  2494. qrc
  2495. qrencode >= "0.2"
  2496. qtest >= "2.7"
  2497. quest
  2498. quests
  2499. quick_print
  2500. quickcheck != "1.0.0"
  2501. r2pipe
  2502. radamsa
  2503. radare2 >= "0.0.2"
  2504. randii
  2505. randomconv
  2506. range
  2507. ranger >= "0.1.0"
  2508. rangeSet
  2509. rashell
  2510. raw_spacetime
  2511. rawlink >= "0.6"
  2512. rawlink-lwt
  2513. raygun4ocaml
  2514. rdbg >= "1.175"
  2515. rdf >= "0.5" & < "0.7.0" | = "0.11.0"
  2516. rdr < "2.0.1"
  2517. re >= "1.3.0"
  2518. re2 < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.16.0"
  2519. re2_stable
  2520. rea
  2521. react = "1.0.0" | >= "1.2.1"
  2522. reactiveData
  2523. reactjs-jsx-ppx
  2524. reanalyze
  2525. reason >= "3.6.0"
  2526. reason-react >= "0.14.0"
  2527. reason-standard
  2528. receive-mail
  2529. received
  2530. record_builder < "v0.16.0"
  2531. records != "0.6.0"
  2532. redirect >= "0.1.1"
  2533. redis >= "0.3.6"
  2534. redis-async < "v0.16.0"
  2535. redis-lwt >= "0.3.6"
  2536. redis-sync >= "0.3.6"
  2537. reed-solomon-erasure
  2538. reedsolomon
  2539. refl
  2540. regenerate
  2541. regular >= "1.2.0" & < "1.4.0" | >= "2.2.0"
  2542. remu_ts
  2543. reparse
  2544. reparse-lwt
  2545. reparse-lwt-unix
  2546. reparse-unix
  2547. repr
  2548. res >= "4.0.7"
  2549. rescript-syntax
  2550. reshowcase
  2551. resource-pooling
  2552. resource_cache < "v0.16.0"
  2553. resp
  2554. resp-client
  2555. resp-mirage
  2556. resp-server
  2557. resp-unix
  2558. resto
  2559. resto-acl
  2560. resto-cohttp
  2561. resto-cohttp-client
  2562. resto-cohttp-self-serving-client
  2563. resto-cohttp-server
  2564. resto-directory
  2565. resto-json
  2566. result
  2567. revops
  2568. rfc1951
  2569. rfc6287 != "1.0.2"
  2570. rfc7748
  2571. rfsm < "2.0"
  2572. rhythm
  2573. riak
  2574. riak-pb
  2575. riakc
  2576. riakc_ppx != "3.1.2"
  2577. ringo
  2578. ringo-lwt
  2579. river
  2580. rlp
  2581. rml >= "1.09.00" & != "1.09.04"
  2582. rmlbuild >= "0.14.0-00"
  2583. rock
  2584. root1d != "0.3"
  2585. rope >= "0.6" & < "0.6.3"
  2586. rosetta
  2587. routes
  2588. rpc < "1.3.0" | >= "5.9.0"
  2589. rpc_parallel >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2590. rpclib != "6.0.0"
  2591. rpclib-async != "6.0.0"
  2592. rpclib-html
  2593. rpclib-js
  2594. rpclib-lwt != "6.0.0"
  2595. rresult >= "0.4.0"
  2596. rsdd
  2597. rtop >= "3.6.0"
  2598. rtree
  2599. rubytt
  2600. rungen
  2601. Snowflake < "0.02.03"
  2602. SZXX < "4.0.0"
  2603. safa
  2604. safepass >= "2.0"
  2605. sail < "0.15"
  2606. salsa20
  2607. salsa20-core
  2608. samplerate < "0.1.5"
  2609. sanddb
  2610. sanlock
  2611. sarek >= "20210823"
  2612. satex
  2613. satML-plugin
  2614. sattools
  2615. satyrographos < "0.0.2.13"
  2616. sawja != "1.5.2"
  2617. scad_ml
  2618. scgi
  2619. schroedinger
  2620. scid
  2621. scipy
  2622. scrypt
  2623. scrypt-kdf
  2624. search
  2625. searchTree
  2626. secp256k1
  2627. secp256k1-internal
  2628. sedlex >= "1.99.3" & != "3.1"
  2629. sek
  2630. sel
  2631. selective
  2632. semver
  2633. semver2
  2634. sendmail
  2635. sendmail-lwt
  2636. sendmsg
  2637. sentry
  2638. seq >= "0.2.2"
  2639. sequence < "0.3"
  2640. sequencer_table < "v0.16.0"
  2641. serial
  2642. session
  2643. session-cohttp
  2644. session-cohttp-async
  2645. session-cohttp-lwt
  2646. session-cookie
  2647. session-cookie-async
  2648. session-cookie-lwt
  2649. session-postgresql
  2650. session-postgresql-async
  2651. session-postgresql-lwt
  2652. session-redis-lwt
  2653. session-webmachine
  2654. sessions
  2655. setcore
  2656. setr
  2657. sexp < "v0.16.0"
  2658. sexp_decode
  2659. sexp_diff < "v0.16.0"
  2660. sexp_diff_kernel
  2661. sexp_grammar < "v0.16.0"
  2662. sexp_macro < "v0.16.0"
  2663. sexp_pretty < "v0.16.0"
  2664. sexp_select < "v0.16.0"
  2665. sexp_string_quickcheck < "v0.16.0"
  2666. sexplib >= "v0.9.3" & < "v0.16.0"
  2667. sexplib0 < "v0.17.0"
  2668. sfml >= "0.08.3"
  2669. sgf
  2670. sha >= "1.10"
  2671. shades
  2672. shapefile
  2673. shared-block-ring < "2.3.0" | >= "3.0.0"
  2674. shared-memory-ring < "1.2.0" | >= "3.0.0"
  2675. shared-memory-ring-lwt
  2676. shared-secret
  2677. shcaml >= "0.2.1"
  2678. shell < "v0.16.0"
  2679. sherlodoc
  2680. shexp < "v0.11.0" | >= "v0.12.0" & < "v0.16.0"
  2681. shine
  2682. sibylfs
  2683. sid
  2684. sifun
  2685. signal
  2686. sihl < "3.0.0"
  2687. sihl-cache
  2688. sihl-contract
  2689. sihl-core
  2690. sihl-email
  2691. sihl-facade
  2692. sihl-persistence
  2693. sihl-queue
  2694. sihl-session
  2695. sihl-storage
  2696. sihl-token
  2697. sihl-type
  2698. sihl-user
  2699. sihl-web
  2700. sill
  2701. simlog < "0.0.4"
  2702. simple-diff
  2703. simple63
  2704. simple_pam
  2705. sklearn
  2706. slack-backup
  2707. slacko >= "0.11.0" & < "0.15.0"
  2708. slap >= "3.0.1"
  2709. slug
  2710. smart-print
  2711. smbc
  2712. smtlib-utils
  2713. smtp
  2714. snabela
  2715. snappy < "0.1.0" | >= "0.1.2"
  2716. so
  2717. socialpeek
  2718. sociaml-facebook-api < "0.4.1"
  2719. sociaml-oauth-client
  2720. sociaml-tumblr-api
  2721. sociaml-vcard
  2722. socket-daemon
  2723. socketcan >= "0.8.12-0"
  2724. sodium != "0.2.0"
  2725. solidity-alcotest
  2726. solidity-common
  2727. solidity-parser
  2728. solidity-test
  2729. solidity-typechecker
  2730. solo5-elftool
  2731. solo5-kernel-muen
  2732. solo5-kernel-ukvm
  2733. solo5-kernel-virtio
  2734. sortedseq_intersect
  2735. sosa >= "0.2.0"
  2736. soundtouch
  2737. soupault < "4.3.1"
  2738. space-search
  2739. spacetime_lib >= "0.3.0"
  2740. spatial_index
  2741. spawn
  2742. spdiff
  2743. spdx_licenses
  2744. spectrum
  2745. speex != "0.4.0"
  2746. spelll = "0.2" | >= "0.4"
  2747. spf >= "2.0.2"
  2748. spin
  2749. spirv
  2750. splay_tree < "v0.16.0"
  2751. splittable_random < "v0.16.0"
  2752. spoc >= "20210823"
  2753. spoc_ppx
  2754. spoke
  2755. spotify-cli >= "0.3.0"
  2756. spotify-web-api < "0.2.1"
  2757. spotinstall
  2758. spotlib >= "4.0.2" & < "4.3.0"
  2759. spreadsheet
  2760. spreadsheetml
  2761. sqlexpr < "0.7.1" | >= "0.9.0"
  2762. sqlgg >= "0.4.4"
  2763. sqlite3 < "5.0.3"
  2764. sqlite3_utils
  2765. squirrel
  2766. srs >= "2.0.0"
  2767. srt < "0.1.1"
  2768. ssh-agent
  2769. ssh-agent-unix
  2770. ssl >= "0.5.4"
  2771. sslconf
  2772. starred_ml
  2773. starterkit
  2774. stationary
  2775. statmemprof-emacs
  2776. statverif >= "1.97pl1.1"
  2777. stb_image
  2778. stb_image_write
  2779. stb_truetype
  2780. stdcompat < "2" | >= "12"
  2781. stdint
  2782. stdio >= "v0.9.1" & < "v0.16.0"
  2783. stdlib-random
  2784. stdlib-shims
  2785. stdune
  2786. stemmer
  2787. stemming >= "0.2.1"
  2788. stitch
  2789. stog >= "0.15.0" & < "0.19.0"
  2790. stog-rdf
  2791. stog-writing < "0.19.0"
  2792. stone >= "0.5.1"
  2793. stramon-lib
  2794. streaming
  2795. string_dict < "v0.16.0"
  2796. stringCodepointSplitter
  2797. stringext >= "1.2.0"
  2798. sturgeon
  2799. subscriptions-transport-ws
  2800. subtype-refinement
  2801. sugar
  2802. sundialsml
  2803. swagger
  2804. swhid
  2805. swhid_compute
  2806. swhid_core
  2807. swhid_types
  2808. swipl
  2809. symkat
  2810. syndic >= "1.2"
  2811. sys-socket
  2812. sys-socket-unix
  2813. syslog >= "2.0.0"
  2814. syslog-message
  2815. syslog-rfc5424
  2816. systemverilog < "0.0.2"
  2817. TCSLib
  2818. tablecloth-base
  2819. tablecloth-native
  2820. tabr
  2821. taglib = "0.3.6" | >= "0.3.8"
  2822. taglog
  2823. talaria-bibtex
  2824. tallgeese
  2825. tar >= "0.9.0"
  2826. tar-eio
  2827. tar-mirage >= "0.9.0"
  2828. tar-unix >= "0.9.0"
  2829. tcalc
  2830. tcpip < "3.0.0" | >= "3.3.1"
  2831. tcx
  2832. tdigest
  2833. tdk >= "0.1.1"
  2834. telegraml
  2835. telltime
  2836. tensorboard
  2837. tensorflow != "0.0.10"
  2838. termbox
  2839. terminal
  2840. terminal_size
  2841. terminus
  2842. testrunner
  2843. testu01
  2844. text >= "0.8.0"
  2845. text-tags < "1.4.0" | >= "2.2.0"
  2846. textmate-language
  2847. textrazor
  2848. textutils != "112.17.00" & != "113.33.03" & < "v0.16.0"
  2849. textutils_kernel < "v0.16.0"
  2850. textwrap >= "0.2"
  2851. tezos-error-monad >= "13.0" & < "16.0"
  2852. tezos-hacl < "15.0"
  2853. tezos-hacl-glue
  2854. tezos-lwt-result-stdlib < "11.0"
  2855. tezos-protocol-compiler >= "8.0" & < "11.0"
  2856. tezos-protocol-environment-packer
  2857. tezos-protocol-environment-sigs < "8.0" | >= "9.0" & < "11.0"
  2858. tezos-shell-services < "8.0"
  2859. tezos-stdlib < "13.0"
  2860. tezos-test-helpers < "13.0"
  2861. tezos-test-helpers-extra < "16.0"
  2862. tezos-tooling < "13.0"
  2863. tezos-version < "8.0"
  2864. tezt < "2.0.0"
  2865. tezt-bam
  2866. tftp
  2867. tgls != "0.8.3"
  2868. theora < "0.4.0"
  2869. thread-local-storage
  2870. thread-table
  2871. thrift >= "0.10.0"
  2872. tidy
  2873. time_now < "v0.16.0"
  2874. timed
  2875. timedesc
  2876. timedesc-json
  2877. timedesc-sexp
  2878. timedesc-tzdb
  2879. timedesc-tzlocal
  2880. timedesc-tzlocal-js
  2881. timere
  2882. timere-parse
  2883. timezone < "v0.16.0"
  2884. timmy
  2885. tiny_httpd
  2886. tiny_httpd_camlzip < "0.15"
  2887. tiny_json >= "1.1.5"
  2888. tiny_json_conv < "1.4.0"
  2889. tip-parser < "0.5"
  2890. tjr_simple_earley
  2891. tls
  2892. tls-async
  2893. tls-lwt
  2894. tls-mirage
  2895. tlstunnel
  2896. toc
  2897. tofn
  2898. togglelog
  2899. toml >= "5.0.0"
  2900. toml-cconv
  2901. toml_cconv
  2902. tophide >= "1.0.4"
  2903. topkg
  2904. topkg-care
  2905. topkg-jbuilder
  2906. toplevel_backend < "v0.16.0"
  2907. toplevel_expect_test < "113.33.02" | >= "v0.9.2" & < "v0.12.0" | >= "v0.12.2" & < "v0.16.0"
  2908. topojson
  2909. topological_sort < "v0.16.0"
  2910. topology
  2911. torch < "v0.16.0"
  2912. touist
  2913. tplib
  2914. tptp >= "0.3.2"
  2915. tqdm
  2916. trace
  2917. trace-fuchsia
  2918. trace-tef
  2919. tracing < "v0.16.0"
  2920. tracy-client
  2921. traildb
  2922. traits
  2923. trakeva
  2924. trampoline
  2925. transept
  2926. transmission-rpc
  2927. traverse
  2928. travesty < "0.6.0" | >= "0.6.2" & < "0.7.2"
  2929. travis-opam
  2930. trax < "0.4.0"
  2931. tree_layout
  2932. treeprint >= "2.1.1" & < "2.3.0"
  2933. trie
  2934. tsdl < "0.8.1" | >= "0.9.1"
  2935. tsdl-image
  2936. tsdl-mixer
  2937. tsdl-ttf
  2938. tsort
  2939. tuareg
  2940. tube
  2941. tuntap >= "1.3.0"
  2942. twostep
  2943. type-beat
  2944. type_conv >= "113.00.02"
  2945. type_eq
  2946. type_id
  2947. typebeat
  2948. typehashlib
  2949. typerep < "112.35.00" | = "113.24.00" | >= "v0.9.0" & < "v0.16.0"
  2950. typerep_extended != "113.00.00" & != "113.33.03"
  2951. typerex-attic >= "1.0.2"
  2952. typerex-binutils
  2953. typerex-clibs
  2954. typerex-lldb >= "1.1"
  2955. typerex-system
  2956. typeset
  2957. tyre
  2958. tyxml < "3.0.0" | >= "3.3.0" & != "4.1.0"
  2959. tyxml-jsx
  2960. tyxml-lwd < "0.2"
  2961. tyxml-ppx
  2962. tyxml-syntax
  2963. u2f
  2964. ubase < "0.20"
  2965. ubpf
  2966. ucaml
  2967. uchar >= "0.0.2"
  2968. uecc >= "0.3"
  2969. uint >= "1.2.1"
  2970. ulex >= "1.2"
  2971. ulex-camlp5 < "1.3"
  2972. um-abt < "0.1.5"
  2973. unidecode
  2974. unionFind
  2975. unison >= "2.51.4"
  2976. universo
  2977. unix-dirent
  2978. unix-errno
  2979. unix-sys-resource
  2980. unix-sys-stat
  2981. unix-time
  2982. unix-type-representations
  2983. unix-unistd
  2984. unmagic
  2985. unstrctrd
  2986. uri >= "1.3.13" & < "1.9.2" | >= "1.9.5"
  2987. uri-bench
  2988. uri-re
  2989. uritemplate >= "0.2.0"
  2990. usb >= "1.3.1"
  2991. usbmux >= "1.2.0"
  2992. user-agent-parser
  2993. user-setup
  2994. username_kernel < "v0.16.0"
  2995. uspf
  2996. uspf-lwt
  2997. uspf-unix
  2998. utop >= "2.4.3" & < "2.13.0"
  2999. utp
  3000. uucd >= "4.0.0"
  3001. uucp >= "2.0.0" & < "15.1.0"
  3002. uuidm >= "0.9.6"
  3003. uunf < "1.0.0" | >= "2.0.1" & < "15.1.0"
  3004. uuseg != "1.0.0" & < "15.1.0"
  3005. uutf >= "1.0.1"
  3006. uuuu
  3007. uwt
  3008. valentine
  3009. validator
  3010. variantslib != "109.15.03" & != "113.33.03" & < "v0.16.0"
  3011. varint
  3012. varray
  3013. vcaml < "v0.16.0"
  3014. vcardgen < "1.2"
  3015. vchan
  3016. vchan-unix >= "4.0.0"
  3017. vchan-xen
  3018. vdom
  3019. vec
  3020. vecosek
  3021. vecosek-engine
  3022. vecosek-scene
  3023. vector
  3024. vector3 >= "0.2.1"
  3025. vercel
  3026. vg < "0.8.1" | >= "0.9.0" & < "0.9.5"
  3027. vhd-format != "0.8.0" & != "0.9.2"
  3028. vhd-format-lwt != "0.9.2"
  3029. vhd-tool
  3030. vhdlib
  3031. virtual_dom >= "v0.9.1" & < "v0.16.0"
  3032. visitors >= "20190711"
  3033. vlq
  3034. vmnet < "1.2.0" | >= "1.3.1"
  3035. voaacenc
  3036. vocal
  3037. volt
  3038. voqc >= "0.2.0"
  3039. vorbis < "0.6.2" | >= "0.7.1"
  3040. vpnkit != "0.1.1"
  3041. vpt < "5.0.0"
  3042. vrt
  3043. vue-jsoo = "0.2"
  3044. wall >= "0.4"
  3045. wamp
  3046. wamp-msgpck
  3047. wamp-yojson
  3048. wasm >= "1.0.1" & < "2.0.1"
  3049. wasmtime
  3050. wayland < "2.0"
  3051. wcs
  3052. wcs-api
  3053. wcs-lib
  3054. wdialog
  3055. webauthn
  3056. webbrowser
  3057. weberizer != "0.7.2" & != "0.7.7"
  3058. webidl >= "1.0"
  3059. webmachine
  3060. websocket != "2.12"
  3061. websocket-async != "2.12"
  3062. websocket-lwt < "2.12"
  3063. websocket-lwt-unix
  3064. websocketaf
  3065. websocketml
  3066. webtest
  3067. webtest-js
  3068. why >= "2.32"
  3069. why3 >= "0.85" & < "1.0.0" | >= "1.2.1"
  3070. why3-coq
  3071. why3-ide
  3072. wikitext
  3073. win-error
  3074. win-eventlog
  3075. winsvc >= "1.0.1"
  3076. wiringpi
  3077. ws
  3078. ws-server
  3079. wseg
  3080. wtf8
  3081. wu-manber-fuzzy-search
  3082. wxOCaml
  3083. wyrd >= "1.4.6"
  3084. x509
  3085. xapi-backtrace
  3086. xapi-forkexecd
  3087. xapi-idl
  3088. xapi-inventory
  3089. xapi-libs-transitional
  3090. xapi-rrd != "1.0.2" & < "1.9.1"
  3091. xapi-rrd-transport
  3092. xapi-rrdd
  3093. xapi-stdext
  3094. xapi-stdext-date < "4.20.0"
  3095. xapi-stdext-encodings < "4.22.0"
  3096. xapi-stdext-pervasives
  3097. xapi-stdext-std
  3098. xapi-stdext-threads
  3099. xapi-stdext-unix < "4.21.0"
  3100. xapi-stdext-zerocheck
  3101. xapi-tapctl
  3102. xapi-xenops
  3103. xdg
  3104. xdg-basedir
  3105. xe
  3106. xe-unikernel-upload
  3107. xen-api-client
  3108. xen-block-driver >= "0.2.5"
  3109. xen-disk
  3110. xen-evtchn >= "1.0.6"
  3111. xen-evtchn-unix
  3112. xen-gnt
  3113. xen-gnt-unix
  3114. xenctrl >= "0.9.29" & < "0.9.32"
  3115. xenstore < "1.3.0" | >= "2.0.0"
  3116. xenstore_transport < "0.9.2" | >= "0.9.6"
  3117. xentropyd
  3118. xml-light
  3119. xmldiff < "0.6.0"
  3120. xmlm >= "1.3.0"
  3121. xmlplaylist
  3122. xtmpl = "0.10" | >= "0.14.0" & < "0.18.0"
  3123. xxhash
  3124. yajl
  3125. yajl-extra < "0.7.3"
  3126. yaml < "3.1.0"
  3127. yara
  3128. yices2
  3129. yices2_bindings
  3130. yojson >= "1.4.0"
  3131. yojson-bench
  3132. yurt >= "0.3"
  3133. yuscii
  3134. yuujinchou < "2.0.0"
  3135. z3
  3136. zar < "0.9.3"
  3137. zarith >= "1.3"
  3138. zarith-freestanding
  3139. zarith-ppx
  3140. zarith-xen
  3141. zarith_stubs_js < "v0.16.0"
  3142. zbar
  3143. zed >= "1.6"
  3144. zeit
  3145. zelus
  3146. zelus-gtk
  3147. zenon >= "0.8.4"
  3148. zenon_modulo
  3149. zephyrus
  3150. zero < "109.19.00"
  3151. zipperposition
  3152. zipperposition-tools
  3153. zlib >= "0.6"
  3154. zlist < "0.4.0"
  3155. zmq < "4.0-1" | >= "4.0-8"
  3156. zmq-async
  3157. zmq-eio
  3158. zmq-lwt
  3159. zstandard < "v0.16.0"
  3160. zstd
  3161. zxcvbn

Conflicts

None