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

Install

ocaml.org Edit opam file

Authors

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

Maintainers

  1. P
    platform@lists.ocaml.org

Description

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

Published: 28 Mar 2018

Dependencies (4)

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

Dev Dependencies

    None

Used by (2394)

  1. 0install < "2.8" | >= "2.12.3" & < "2.17"
  2. 0install-gtk < "2.17"
  3. ANSITerminal >= "0.7"
  4. aacplus
  5. abella
  6. abt
  7. acgtk
  8. acme
  9. acpc < "2.0.0"
  10. aez
  11. afl
  12. afl-persistent
  13. ago
  14. agrid
  15. ahrocksdb
  16. aifad
  17. aio
  18. alba < "0.4.1"
  19. alcotest >= "0.5.0"
  20. alcotest-async < "1.6.0"
  21. alcotest-lwt
  22. alcotest-mirage
  23. aliases
  24. alsa >= "0.2.3"
  25. alt-ergo
  26. alt-ergo-free
  27. alt-ergo-lib
  28. alt-ergo-lib-free
  29. alt-ergo-parsers
  30. alt-ergo-parsers-free
  31. altgr-ergo
  32. amf >= "0.1.2"
  33. amqp-client >= "1.0.3" & != "1.1.1"
  34. amqp-client-async
  35. amqp-client-lwt
  36. ancient >= "0.9.1"
  37. angstrom >= "0.6.0"
  38. angstrom-async
  39. angstrom-lwt-unix >= "0.8.0"
  40. angstrom-unix
  41. annot
  42. ansi-parse
  43. ansicolor
  44. anycache
  45. anycache-async
  46. anycache-lwt
  47. ao < "0.2.2"
  48. aperf
  49. apero-core
  50. apero-net
  51. apero-time
  52. apron
  53. arakoon >= "1.8.6"
  54. archi
  55. archi-async
  56. archi-lwt
  57. archimedes >= "0.4.18"
  58. archsat < "1.1"
  59. argon2 >= "1.0.0"
  60. arp
  61. arp-mirage
  62. asak
  63. ascii85
  64. asetmap
  65. asl
  66. asn1-combinators >= "0.2.0" & < "0.2.6"
  67. assertions
  68. assimp
  69. astring >= "0.8.2"
  70. async < "109.19.00" | >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  71. async-mvar
  72. async-zmq
  73. async_core < "109.19.00"
  74. async_durable < "v0.12.0"
  75. async_extended >= "113.24.00" & != "113.33.03"
  76. async_extra < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  77. async_find != "111.28.00" & != "113.33.03" & < "v0.12.0"
  78. async_graphics < "0.7.0"
  79. async_inotify != "113.00.00" & != "113.33.03" & < "v0.12.0"
  80. async_interactive < "v0.12.0"
  81. async_js >= "v0.9.1" & < "v0.12.0"
  82. async_kernel >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  83. async_parallel >= "113.24.00" & < "113.33.03" | >= "v0.9.1"
  84. async_rpc_kernel >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  85. async_sendfile < "v0.12.0"
  86. async_shell != "109.28.03" & < "113.33.03" | >= "v0.9.1" & < "v0.12.0"
  87. async_smtp < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  88. async_ssl < "112.35.00" | = "113.24.00" | >= "113.33.06" & < "v0.12.0"
  89. async_unix < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.12.0"
  90. atd < "2.3.3"
  91. atd2cconv
  92. atdgen >= "1.9.1" & < "2.3.3"
  93. atdgen-codec-runtime < "2.3.3"
  94. atdgen-runtime < "2.3.3"
  95. atdj < "2.3.3"
  96. atds < "2.3.3"
  97. atomic < "base"
  98. augeas
  99. awa-lwt < "0.0.2"
  100. awa-mirage < "0.0.2"
  101. aws
  102. aws-async
  103. aws-autoscaling
  104. aws-cloudformation
  105. aws-cloudtrail
  106. aws-cloudwatch
  107. aws-ec2
  108. aws-elasticache
  109. aws-elasticloadbalancing
  110. aws-lwt
  111. aws-rds
  112. aws-route53
  113. aws-s3 < "4.6.0"
  114. aws-s3-async < "4.6.0"
  115. aws-s3-lwt
  116. aws-sdb
  117. aws-sqs
  118. aws-ssm
  119. aws-sts
  120. azblob
  121. azblob-async
  122. BetterErrors
  123. b0 < "0.0.2"
  124. balancer
  125. bamboo
  126. bap = "0.9.5" | >= "1.2.0" & < "1.4.0" | >= "1.6.0" & < "2.1.0"
  127. bap-abi < "1.4.0" | >= "1.6.0" & < "2.1.0"
  128. bap-api < "1.4.0" | >= "1.6.0" & < "2.1.0"
  129. bap-arm < "1.4.0" | >= "1.6.0" & < "2.1.0"
  130. bap-beagle < "1.4.0" | >= "1.6.0" & < "2.1.0"
  131. bap-bil >= "1.6.0" & < "2.1.0"
  132. bap-build < "2.1.0"
  133. bap-bundle < "2.1.0"
  134. bap-byteweight < "1.4.0" | >= "1.6.0" & < "2.1.0"
  135. bap-byteweight-frontend < "1.4.0" | >= "1.6.0" & < "2.1.0"
  136. bap-c < "1.4.0" | >= "1.6.0" & < "2.1.0"
  137. bap-cache < "1.4.0" | >= "1.6.0" & < "2.1.0"
  138. bap-callsites < "1.4.0" | >= "1.6.0" & < "2.1.0"
  139. bap-constant-tracker >= "1.6.0" & < "2.1.0"
  140. bap-core-theory < "2.1.0"
  141. bap-cxxfilt < "1.4.0" | >= "1.6.0" & < "2.1.0"
  142. bap-dead-code-elimination < "1.4.0"
  143. bap-demangle < "1.4.0" | >= "1.6.0" & < "2.1.0"
  144. bap-disassemble < "2.1.0"
  145. bap-dump-symbols < "1.4.0" | >= "1.6.0" & < "2.1.0"
  146. bap-dwarf < "1.4.0" | >= "1.6.0" & < "2.1.0"
  147. bap-elementary < "2.1.0"
  148. bap-elf != "1.5.0" & < "2.1.0"
  149. bap-emacs-dot
  150. bap-emacs-goodies
  151. bap-emacs-mode
  152. bap-frames != "2.1.1"
  153. bap-frontc < "1.4.0" | >= "1.6.0" & < "2.1.0"
  154. bap-frontend < "1.4.0" | >= "1.6.0" & < "2.1.0"
  155. bap-fsi-benchmark < "1.4.0" | = "1.6.0"
  156. bap-future < "1.4.0" | >= "1.6.0" & < "2.1.0"
  157. bap-ida < "1.4.0" | >= "1.6.0" & < "2.1.0"
  158. bap-ida-plugin < "1.4.0" | >= "1.6.0" & < "2.1.0"
  159. bap-ida-python < "1.4.0" | >= "1.6.0" & < "2.1.0"
  160. bap-knowledge < "2.1.0"
  161. bap-llvm < "1.4.0" | >= "1.6.0" & < "2.1.0"
  162. bap-main < "2.1.0"
  163. bap-mc < "1.4.0" | >= "1.6.0" & < "2.1.0"
  164. bap-microx < "1.4.0" | >= "1.6.0" & < "2.1.0"
  165. bap-mips >= "1.6.0" & < "2.1.0"
  166. bap-objdump < "1.4.0" | >= "1.6.0" & < "2.1.0"
  167. bap-optimization >= "1.6.0" & < "2.1.0"
  168. bap-phoenix < "1.4.0" | >= "1.6.0" & < "2.1.0"
  169. bap-piqi < "1.4.0" | >= "1.6.0" & < "2.1.0"
  170. bap-plugins < "2.1.0"
  171. bap-powerpc >= "1.6.0" & < "2.1.0"
  172. bap-primus < "1.4.0" | >= "1.6.0" & < "2.1.0"
  173. bap-primus-dictionary >= "1.6.0" & < "2.1.0"
  174. bap-primus-lisp < "1.4.0" | >= "1.6.0" & < "2.1.0"
  175. bap-primus-powerpc < "2.1.0"
  176. bap-primus-region >= "1.6.0" & < "2.1.0"
  177. bap-primus-support < "1.4.0" | >= "1.6.0" & < "2.1.0"
  178. bap-primus-test >= "1.6.0" & < "2.1.0"
  179. bap-primus-x86 < "1.4.0" | >= "1.6.0" & < "2.1.0"
  180. bap-print < "1.4.0" | >= "1.6.0" & < "2.1.0"
  181. bap-raw < "2.1.0"
  182. bap-recipe < "2.1.0"
  183. bap-recipe-command < "2.1.0"
  184. bap-relocatable < "1.4.0" | >= "1.6.0" & < "2.1.0"
  185. bap-report >= "1.6.0" & < "2.1.0"
  186. bap-run < "1.4.0" | >= "1.6.0" & < "2.1.0"
  187. bap-saluki
  188. bap-server
  189. bap-signatures < "2.4.0"
  190. bap-ssa < "1.4.0" | >= "1.6.0" & < "2.1.0"
  191. bap-std < "1.4.0" | >= "1.6.0" & < "2.1.0"
  192. bap-strings < "1.4.0" | >= "1.6.0" & < "2.1.0"
  193. bap-symbol-reader < "1.4.0" | >= "1.6.0" & < "2.1.0"
  194. bap-taint < "1.4.0" | >= "1.6.0" & < "2.1.0"
  195. bap-taint-propagator < "1.4.0" | >= "1.6.0" & < "2.1.0"
  196. bap-term-mapper < "1.4.0" | >= "1.6.0" & < "2.1.0"
  197. bap-trace < "1.4.0" | >= "1.6.0" & < "2.1.0"
  198. bap-traces < "1.4.0" | >= "1.6.0" & < "2.1.0"
  199. bap-trivial-condition-form >= "1.6.0" & < "2.1.0"
  200. bap-veri != "0.2.2" & < "0.2.5"
  201. bap-warn-unused < "1.4.0" | >= "1.6.0" & < "2.1.0"
  202. bap-x86 < "1.4.0" | >= "1.6.0" & < "2.1.0"
  203. bare >= "1.6.0" & < "2.1.0"
  204. base >= "v0.9.4" & < "v0.14.0"
  205. base-bytes >= "base"
  206. base-implicits
  207. base-metaocaml-ocamlfind
  208. base-native-int63
  209. base32
  210. base58
  211. base64 >= "1.1.0" & != "2.3.0"
  212. base_quickcheck < "v0.15.0"
  213. bastet < "2.0.0"
  214. bastet_async
  215. bastet_lwt
  216. batch_jaro_winkler
  217. batsat < "0.7"
  218. batsh
  219. batteries = "2.5.0" | >= "2.8.0"
  220. bau >= "0.0.4"
  221. bdd
  222. bddapron >= "2.3.2"
  223. bddrand
  224. bear
  225. beluga >= "0.8.1" & < "1.0"
  226. bench
  227. benchmark >= "1.4"
  228. benchpress
  229. benchpress-server
  230. bencode != "0.2"
  231. bes
  232. bheap
  233. bibtex2html >= "1.99"
  234. bigarray-compat
  235. bignum < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  236. bigstring
  237. bigstring-unix
  238. bigstringaf < "0.9.0"
  239. bimage < "0.2.1"
  240. bimage-gtk < "0.2.1"
  241. bimage-sdl < "0.2.1"
  242. bimage-unix < "0.2.1"
  243. bimap
  244. bin_prot < "109.15.00" | >= "v0.9.2" & < "v0.14.1"
  245. binaryen_dsl
  246. binbin
  247. bindlib < "6.0.0"
  248. biniou >= "1.1.0"
  249. binsec < "0.4.0"
  250. biocaml != "0.5.0" & != "0.8.0"
  251. bip32
  252. bisect >= "1.3.1"
  253. bisect-summary
  254. bisect_ppx >= "1.3.1"
  255. bisect_ppx-ocamlbuild
  256. bistro < "0.5.0"
  257. bitcoin < "3.0"
  258. bitcoinml
  259. bitmasks >= "1.1.0"
  260. bitstring >= "3.0.0"
  261. bitv >= "1.3"
  262. bitvec < "2.1.0"
  263. bitvec-binprot < "2.1.0"
  264. bitvec-order < "2.1.0"
  265. bitvec-sexp < "2.1.0"
  266. bjack < "0.1.6"
  267. blahcaml
  268. blake2 >= "0.2"
  269. bloomf
  270. bn128
  271. bogue < "20210514"
  272. bogue-tutorials
  273. bolt = "1.3"
  274. bookaml
  275. bos < "0.2.1"
  276. bpf
  277. bracetax
  278. broken
  279. brotli
  280. brozip
  281. bsdowl
  282. bson2
  283. bst
  284. bt
  285. buffer-pool
  286. build_path_prefix_map
  287. bulletml
  288. bun
  289. bwrap
  290. bytearray
  291. bytepdf
  292. c3
  293. cairo2 >= "0.5"
  294. cairo2-gtk
  295. cairo2-pango
  296. calculon < "0.7"
  297. calculon-web
  298. calendar != "2.03.1"
  299. calendars
  300. callipyge
  301. camelsnakekebab
  302. caml-mode
  303. caml2html >= "1.4.4"
  304. camlbz2
  305. camldm
  306. camlgpc
  307. camlhighlight
  308. camlidl
  309. camlimages >= "4.2.5" & < "5.0.2"
  310. camllib >= "1.3.2"
  311. camlmix
  312. camlon >= "2.0.0" & < "3.0.0"
  313. camlp-streams >= "5.0.1"
  314. camlp4 = "4.02.0-1modular-implicits" | >= "4.06+1" & < "4.07+1"
  315. camlp5 >= "7.05" & != "7.09" & < "8.00.05"
  316. camlpdf >= "2.2.1" & < "2.5"
  317. camlprime
  318. camltc >= "0.9.6"
  319. camlzip >= "1.06" & < "1.11"
  320. camomile >= "0.8.6" & < "2.0.0"
  321. capnp
  322. capnp-rpc < "1.2"
  323. capnp-rpc-lwt < "1.2"
  324. capnp-rpc-mirage < "0.9.0"
  325. capnp-rpc-net < "0.9.0"
  326. capnp-rpc-unix != "0.3" & < "0.9.0"
  327. captureio
  328. caqti
  329. caqti-async
  330. caqti-driver-mariadb
  331. caqti-driver-postgresql
  332. caqti-driver-sqlite3 != "1.7.0"
  333. caqti-dynload
  334. caqti-lwt
  335. caqti-type-calendar
  336. cbor >= "0.2" & < "0.5"
  337. cconv >= "0.2"
  338. cconv-ppx
  339. ccss >= "1.6"
  340. cdrom
  341. certify >= "0.2" & < "0.3.3"
  342. cfg >= "2.1.0" & < "2.3.0"
  343. cfgen
  344. cfstream >= "1.3.0"
  345. cgi >= "0.9"
  346. cgroups
  347. chacha
  348. chalk
  349. channel
  350. charInfo_width
  351. charrua < "1.4.0"
  352. charrua-client < "1.4.0"
  353. charrua-client-lwt
  354. charrua-client-mirage
  355. charrua-core
  356. charrua-server < "1.4.0"
  357. charrua-unix < "0.5" | >= "0.10" & < "1.4.0"
  358. chase
  359. checkseum < "0.1.1"
  360. choice
  361. cinaps >= "v0.9.1" & < "v0.12.0" | >= "v0.15.0"
  362. clangml != "3.8.0" & != "3.9.1.2" & < "4.3.0"
  363. clangml-transforms >= "0.24" & < "0.26"
  364. clarity
  365. cloudi >= "1.7.3"
  366. cmark
  367. cmarker
  368. cmdliner = "0.9.4" | >= "1.0.0" & < "1.1.0"
  369. cmdtui
  370. cmdtui-lambda-term
  371. cmitomli
  372. coccinelle != "1.0.0-rc23"
  373. coclobas
  374. codept >= "0.10.1"
  375. cohttp != "0.99.0" & < "3.0.0"
  376. cohttp-async < "3.0.0"
  377. cohttp-lwt < "3.0.0"
  378. cohttp-lwt-jsoo < "3.0.0"
  379. cohttp-lwt-unix < "3.0.0"
  380. cohttp-mirage < "3.0.0"
  381. cohttp-top < "3.0.0"
  382. coin
  383. colombe != "0.2.0"
  384. color
  385. color-brewery
  386. combinat < "3.0"
  387. combine < "0.42"
  388. command_rpc < "v0.12.0"
  389. commonjs_of_ocaml
  390. comparelib < "113.00.00"
  391. conduit != "3.0.0" & < "6.1.0"
  392. conduit-async != "3.0.0" & < "6.1.0"
  393. conduit-lwt != "3.0.0" & < "6.1.0"
  394. conduit-lwt-unix < "2.1.0"
  395. conduit-mirage < "2.1.0"
  396. conex
  397. conex-nocrypto
  398. conf-bap-llvm < "1.7"
  399. conf-binutils < "0.3"
  400. conf-ida
  401. conf-libev
  402. conf-radare2
  403. config-file
  404. configuration
  405. configurator
  406. conjury < "2.1"
  407. containers >= "0.12"
  408. containers-data
  409. containers-thread
  410. cookie-js
  411. coq >= "8.7.0" & < "8.16.0"
  412. coq-serapi < "8.10.0+0.7.0"
  413. coq-shell
  414. coqide != "8.7.0" & < "8.10.0"
  415. cordova
  416. cordova-plugin-activity-indicator
  417. cordova-plugin-background-mode
  418. cordova-plugin-barcode-scanner
  419. cordova-plugin-battery-status
  420. cordova-plugin-camera
  421. cordova-plugin-clipboard
  422. cordova-plugin-datepicker
  423. cordova-plugin-device
  424. cordova-plugin-device-motion
  425. cordova-plugin-device-orientation
  426. cordova-plugin-dialogs
  427. cordova-plugin-email-composer
  428. cordova-plugin-fcm
  429. cordova-plugin-file
  430. cordova-plugin-file-opener
  431. cordova-plugin-file-transfer
  432. cordova-plugin-geolocation
  433. cordova-plugin-globalization
  434. cordova-plugin-image-picker
  435. cordova-plugin-inappbrowser
  436. cordova-plugin-insomnia
  437. cordova-plugin-keyboard
  438. cordova-plugin-loading-spinner
  439. cordova-plugin-local-notifications
  440. cordova-plugin-media
  441. cordova-plugin-media-capture
  442. cordova-plugin-network-information
  443. cordova-plugin-progress
  444. cordova-plugin-push-notifications
  445. cordova-plugin-qrscanner
  446. cordova-plugin-screen-orientation
  447. cordova-plugin-sim-card
  448. cordova-plugin-sms
  449. cordova-plugin-social-sharing
  450. cordova-plugin-statusbar
  451. cordova-plugin-toast
  452. cordova-plugin-touch-id
  453. cordova-plugin-vibration
  454. cordova-plugin-videoplayer
  455. core >= "113.24.00" & != "113.33.00" & != "113.33.02" & < "113.33.03" | >= "v0.9.2" & < "v0.12.0"
  456. core-lwt != "0.2.0"
  457. core_bench != "112.35.00" & != "113.33.00" & != "113.33.03" & < "v0.12.0"
  458. core_extended >= "108.00.02" & < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.12.0"
  459. core_kernel = "113.24.00" | >= "113.33.01+4.03" & < "113.33.03" | >= "v0.9.1" & < "v0.12.0"
  460. core_profiler >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  461. corecount
  462. cow >= "2.0.1"
  463. cowabloga
  464. cpdf < "2.1.1" | = "2.3"
  465. cpm
  466. cppo >= "1.4.1"
  467. cppo_ocamlbuild
  468. cpu
  469. cpuid
  470. craml
  471. crc >= "1.0.0"
  472. crdt-ml
  473. crlibm
  474. crontab
  475. crowbar < "0.2"
  476. crunch >= "1.4.0" & < "3.3.0"
  477. cry >= "0.6.0"
  478. crypt >= "1.2"
  479. cryptodbm >= "0.84.2"
  480. cryptohash
  481. cryptokit >= "1.11" & < "1.17"
  482. cryptoverif
  483. csexp
  484. cstruct >= "1.6.0" & < "1.8.0" | >= "2.4.1" & < "6.1.0"
  485. cstruct-async < "6.1.0"
  486. cstruct-lwt < "6.1.0"
  487. cstruct-sexp < "6.1.0"
  488. cstruct-unix
  489. csv >= "1.4"
  490. csv-lwt
  491. csvfields >= "v0.9.1" & < "v0.12.0"
  492. csvtool
  493. ctypes >= "0.8.0"
  494. ctypes-build
  495. cubicle = "1.1.2"
  496. cudf < "0.10"
  497. cuid
  498. curly
  499. curses
  500. curve-sampling
  501. custom_printf >= "111.21.00" & < "113.00.00"
  502. cviode
  503. cwe_checker
  504. DrawGrammar >= "0.2.1"
  505. d3
  506. daft < "0.0.4"
  507. datakit < "0.10.0" | >= "0.11.0"
  508. datakit-bridge-github
  509. datakit-bridge-local-git
  510. datakit-ci
  511. datakit-client
  512. datakit-client-9p
  513. datakit-client-git
  514. datakit-github
  515. datakit-server
  516. datakit-server-9p
  517. datalog < "0.5" | >= "0.6"
  518. dbm
  519. debian-formats
  520. decimal < "0.1.1"
  521. decoders
  522. decoders-bencode
  523. decoders-cbor
  524. decoders-ezjsonm
  525. decoders-ezxmlm
  526. decoders-jsonm
  527. decoders-msgpck
  528. decoders-sexplib
  529. decoders-yojson
  530. decompress >= "0.3" & < "0.9.1"
  531. dedukti < "2.7"
  532. delimcc >= "2017.03.02" & < "2020.10.08"
  533. delimited_parsing < "v0.12.0"
  534. depext
  535. depgraph
  536. depyt < "0.3.0"
  537. deriving >= "0.7.1"
  538. deriving-yojson < "0.4"
  539. devkit >= "0.5"
  540. diet
  541. digestif < "1.1.2"
  542. disml
  543. dispatch
  544. dispatch-js
  545. distributed
  546. distributed-lwt
  547. distributed-uwt
  548. distwit
  549. diy
  550. dlist >= "0.0.3"
  551. dlm
  552. dns != "1.0.0" & < "4.0.0"
  553. dns-async
  554. dns-forward
  555. dns-forward-lwt-unix
  556. dns-lwt
  557. dns-lwt-unix
  558. dnscurve
  559. dnssd
  560. doc-ock >= "1.2.0"
  561. doc-ock-html
  562. doc-ock-xml
  563. docker-api
  564. dockerfile < "1.3.0" | >= "1.7.2" & < "8.1.0"
  565. dockerfile-cmd < "8.1.0"
  566. dockerfile-opam < "8.1.0"
  567. docout
  568. dog
  569. dokeysto
  570. dokeysto_camltc
  571. dokeysto_lz4
  572. dolmen < "0.5"
  573. dolmen_bin
  574. dolmen_loop
  575. dolmen_lsp
  576. dolmen_model
  577. dolmen_type
  578. dolog >= "1.1"
  579. domain-name
  580. dose
  581. dose3
  582. dose3-extra
  583. dot-merlin-reader < "4.2"
  584. dotenv
  585. down < "0.1.0"
  586. dropbox < "0.2"
  587. dryunit >= "0.4.0"
  588. dsfo
  589. dssi < "0.1.3"
  590. dtoa
  591. dtools
  592. duff < "0.5"
  593. dum != "1.0.2"
  594. dune
  595. dune-build-info < "2.0.0"
  596. dune-configurator >= "2.7.0"
  597. dune-deps
  598. dune-private-libs < "2.1.1"
  599. dune-release < "1.6.1"
  600. dune_watch
  601. duppy >= "0.7.0" & < "0.9.0"
  602. duration
  603. dynload-sys
  604. dyntype >= "0.8.3"
  605. earley >= "1.0.1" & < "3.0.0"
  606. earley-ocaml >= "1.0.2"
  607. earlybird < "1.0.0"
  608. easy-format < "1.3.3"
  609. easy_logging < "0.8.1"
  610. easy_logging_yojson < "0.8.1"
  611. easy_xlsx
  612. ecaml < "v0.12.0"
  613. edn = "0.1.6-1-gff9db95"
  614. efl >= "1.12.0"
  615. ego
  616. eigen
  617. elasticsearch-cli
  618. electrod < "0.8.0"
  619. electrumAnalyzer
  620. elf2json
  621. elina
  622. eliom < "6.8.0"
  623. elpi < "1.15.0"
  624. elpi-option-legacy-parser
  625. email_message < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.12.0"
  626. emile
  627. emoji
  628. encore < "0.6"
  629. enumerate < "111.08.00"
  630. enumerators
  631. epictetus
  632. eqaf < "0.8"
  633. erm_xmpp
  634. errpy
  635. erssical < "1.1.0"
  636. esgg
  637. ethernet < "2.2.1"
  638. exenum >= "0.7"
  639. exit
  640. exn-source
  641. expect >= "0.0.6"
  642. expect_test_helpers < "v0.12.0"
  643. expect_test_helpers_kernel < "v0.12.0"
  644. extlib = "1.7.0" | >= "1.7.2"
  645. extlib-compat >= "1.7.2"
  646. extprot >= "1.1.2" & < "1.3.0" | >= "1.6.0"
  647. extunix >= "0.1.5"
  648. ez_cmdliner < "0.2.0"
  649. ez_config < "0.2.0"
  650. ez_file < "0.2.0"
  651. ez_hash >= "0.5.3"
  652. ezcurl
  653. ezcurl-lwt
  654. ezdl
  655. ezgzip
  656. ezirmin
  657. ezjs_ace
  658. ezjs_blockies
  659. ezjs_cleave
  660. ezjs_crypto
  661. ezjs_cytoscape
  662. ezjs_d3pie
  663. ezjs_extension
  664. ezjs_fetch < "0.3"
  665. ezjs_idb
  666. ezjs_jquery
  667. ezjs_min < "0.3.0"
  668. ezjs_odometer
  669. ezjs_push
  670. ezjs_qrcode
  671. ezjs_recaptcha
  672. ezjs_timeline
  673. ezjsonm >= "0.5.0" & < "1.3.0"
  674. ezjsonm-lwt >= "1.0.0"
  675. ezsqlite
  676. ezxenstore >= "0.4.1"
  677. ezxmlm >= "1.0.2"
  678. FrontC >= "3.4.1" & < "4.0.0"
  679. faad < "0.5.0"
  680. facebook-sdk
  681. facile
  682. faillib
  683. faraday
  684. faraday-async < "0.7.2"
  685. faraday-lwt
  686. faraday-lwt-unix
  687. farfadet
  688. farmhash
  689. fasmifra
  690. fat-filesystem != "0.12.0" & != "0.12.2"
  691. fd-send-recv >= "1.0.5" & < "2.0.2"
  692. fdkaac < "0.3.2"
  693. feat
  694. feat-core
  695. feat-num
  696. feather < "0.2.0"
  697. febusy
  698. ffmpeg < "1.0.0~beta1"
  699. fftw3 >= "0.8"
  700. fiat-p256 < "0.2.1"
  701. fieldslib < "109.19.00" | = "113.24.00" | >= "v0.9.0" & < "v0.15.0"
  702. fileutils >= "0.5.3"
  703. findlib_top
  704. fix
  705. fkie-cad-cwe-checker < "0.2"
  706. flac != "0.1.2"
  707. flex-array
  708. flock
  709. flow >= "0.3"
  710. flow_parser >= "0.46.0" & < "0.159.0"
  711. flowtype >= "0.62.0"
  712. fluent-logger < "1.1.0"
  713. fm-simplex-plugin
  714. fmt >= "0.8.0" & < "0.8.10"
  715. format
  716. fpath
  717. frama-c >= "11.0" & < "22.0"
  718. frama-c-e-acsl
  719. frama-c-metacsl < "0.2"
  720. freetds
  721. freetennis
  722. frei0r < "0.1.2"
  723. frenetic < "5.0.5"
  724. fstar >= "0.9.5.0"
  725. fstreams
  726. fswatch
  727. fswatch_async
  728. fswatch_lwt
  729. functoria >= "1.1.0" & < "3.1.2"
  730. functoria-runtime < "3.1.2"
  731. functory >= "0.6"
  732. funfields
  733. future
  734. General >= "0.4.0"
  735. gadelac
  736. gamepad
  737. gammu >= "0.9.3"
  738. gapi-ocaml >= "0.3.5"
  739. gavl
  740. gbddml
  741. gd
  742. gdal < "0.3.0" | >= "0.9.0"
  743. gdbprofiler >= "0.2"
  744. gedcom
  745. gemini
  746. gen = "0.2.2" | >= "0.5"
  747. gen-bs < "0.1.0"
  748. gen_js_api = "1.0.5"
  749. gen_server
  750. genet < "0.6"
  751. genlet
  752. genprint
  753. genspio
  754. genspir
  755. geoip >= "0.0.3"
  756. get_line < "5.0.0"
  757. getopt < "20230213"
  758. getopts
  759. gettext >= "0.3.8"
  760. gettext-camomile
  761. gettext-stub
  762. gg >= "0.9.2" & < "1.0.0"
  763. git < "1.4.3" | >= "1.8.0" & < "2.1.3"
  764. git-http < "2.1.3"
  765. git-mirage < "2.1.3"
  766. git-unix < "2.1.3"
  767. github < "1.0.0" | >= "3.0.0" & < "4.4.0"
  768. github-hooks
  769. github-hooks-unix
  770. github-jsoo < "4.4.0"
  771. github-unix >= "3.1.0" & < "4.4.0"
  772. gitlab_pipeline_notifier
  773. gles3
  774. glfw-ocaml
  775. glical >= "0.0.3"
  776. glicko2
  777. glMLite = "0.03.52"
  778. glpk != "0.1.7"
  779. gluten < "0.4.0"
  780. gluten-async < "0.4.0"
  781. gluten-lwt < "0.4.0"
  782. gluten-lwt-unix < "0.4.0"
  783. gluten-mirage < "0.4.0"
  784. gmap
  785. gmp
  786. gmp-freestanding
  787. gmp-xen
  788. gnuplot
  789. gobba < "0.4.2"
  790. gobject-introspection
  791. goblint < "1.1.1"
  792. goblint-cil
  793. google-drive-ocamlfuse >= "0.6.22"
  794. gperftools >= "0.3"
  795. gpr < "1.5.0"
  796. gpx
  797. gr < "0.0.2"
  798. graphics < "3.07" | = "4.06.1"
  799. graphicspdf
  800. graphlib < "1.4.0" | >= "1.6.0" & < "2.1.0"
  801. graphql < "0.14.0"
  802. graphql-async < "0.14.0"
  803. graphql-cohttp < "0.14.0"
  804. graphql-lwt < "0.14.0"
  805. graphql_parser < "0.14.0"
  806. graphql_ppx >= "0.7.1"
  807. grenier != "0.5" & < "0.12"
  808. grib
  809. gsasl
  810. gsl < "1.24.2"
  811. gstreamer
  812. gxl-light
  813. h2 < "0.10.0"
  814. h2-async < "0.10.0"
  815. h2-lwt < "0.10.0"
  816. h2-lwt-unix < "0.10.0"
  817. h2-mirage < "0.10.0"
  818. hack_parallel
  819. hacl-star < "0.4.0"
  820. hacl-star-raw < "0.4.0"
  821. hacl_x25519
  822. hamt
  823. hardcaml < "v0.12.0"
  824. hardcaml-affirm
  825. hardcaml-bloop
  826. hardcaml-examples != "0.2"
  827. hardcaml-framework
  828. hardcaml-llvmsim
  829. hardcaml-reedsolomon
  830. hardcaml-vpi
  831. hardcaml-yosys
  832. hashcons
  833. hashids
  834. hashset
  835. haxe
  836. hc
  837. hdf5 >= "0.1.4"
  838. hdfs
  839. headache >= "1.06"
  840. heptagon < "1.01.00" | >= "1.03.03"
  841. herdtools7 < "7.56.3"
  842. hevea >= "2.25" & < "2.35"
  843. hex >= "1.2.0" & < "1.5.0"
  844. hidapi
  845. higher
  846. higlo != "0.3" & < "0.8"
  847. hiredis
  848. hiredis-value
  849. hkdf < "1.0.4"
  850. hlarp
  851. hll
  852. hmap >= "0.8.1"
  853. horned_worm != "0.3.1"
  854. hpack < "0.10.0"
  855. hts_shrink
  856. http2https
  857. http_router
  858. httpaf
  859. httpaf-async
  860. httpaf-lwt-unix
  861. humane-re != "0.0.3"
  862. hvsock >= "0.6"
  863. hweak
  864. hxd < "0.3.2"
  865. hydro
  866. hyper < "1.0.0~alpha2"
  867. ISO3166
  868. ISO8601
  869. i2c
  870. i3ipc >= "0.1.2"
  871. ibx < "0.8.1"
  872. icalendar < "0.1.5"
  873. idd
  874. idds
  875. igvxml
  876. imagelib >= "20171028" & < "20200929"
  877. imagemagick
  878. imap
  879. imaplet-lwt < "0.1.15"
  880. incr_dom < "v0.12.0"
  881. incr_dom_widgets < "v0.12.0"
  882. incr_map < "v0.12.0"
  883. incr_select < "v0.12.0"
  884. incremental >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  885. incremental_kernel != "113.33.03"
  886. index < "1.3.0"
  887. index-bench
  888. inferno < "20211222"
  889. influxdb
  890. influxdb-async
  891. influxdb-lwt
  892. inotify >= "2.1"
  893. inquire < "0.2.0"
  894. inspect
  895. integers
  896. integration1d >= "0.5"
  897. interface-prime
  898. interface-prime-lwt
  899. interval < "1.6"
  900. interval_base < "1.6"
  901. interval_crlibm < "1.6"
  902. interval_intel < "1.6"
  903. inuit
  904. io
  905. io-page >= "2.0.1" & < "3.0.0"
  906. io-page-unix >= "2.0.0"
  907. io-page-xen >= "2.0.0"
  908. iocaml >= "0.4.6"
  909. iocaml-kernel >= "0.4.6"
  910. iocamljs-kernel < "0.4.3" | >= "0.4.6"
  911. ipaddr >= "2.7.2" & < "5.3.1"
  912. ipaddr-cstruct < "5.3.1"
  913. ipaddr-sexp < "5.3.1"
  914. ipv6-multicast
  915. ipv6-multicast-lwt
  916. irc-client >= "0.4.0"
  917. irc-client-lwt
  918. irc-client-lwt-ssl
  919. irc-client-tls
  920. irc-client-unix
  921. iri < "0.5.0"
  922. irmin < "0.9.0" | >= "0.9.5" & != "0.9.10" & < "1.0.0" | >= "1.3.2" & < "2.2.0"
  923. irmin-chunk
  924. irmin-cli
  925. irmin-containers
  926. irmin-fs
  927. irmin-git >= "1.1.0"
  928. irmin-graphql
  929. irmin-http >= "1.3.1"
  930. irmin-indexeddb
  931. irmin-layers
  932. irmin-mem
  933. irmin-mirage < "2.0.0"
  934. irmin-pack < "2.3.0"
  935. irmin-test
  936. irmin-tezos >= "3.2.1" & < "3.4.0"
  937. irmin-tezos-utils
  938. irmin-unix != "1.3.0"
  939. irmin-watcher
  940. irrlicht >= "0.0.5"
  941. iso-filesystem
  942. iso639
  943. iter
  944. itv-tree >= "2.1"
  945. ivy
  946. JsOfOCairo >= "1.0.1"
  947. jane-street-headers
  948. jane-street-tests
  949. javalib != "2.3.3" & < "3.2.2"
  950. javascriptcore
  951. jbuilder
  952. jekyll-format
  953. jemalloc
  954. jenga < "109.19.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03"
  955. jerboa
  956. jhupllib < "0.2.2"
  957. jingoo >= "1.2.16"
  958. jitsu
  959. jitsu-libvirt
  960. jitsu-libxl
  961. jitsu-xapi
  962. joolog
  963. js-build-tools >= "113.33.04"
  964. js-lz4
  965. js_of_ocaml >= "3.0" & < "5.1.0"
  966. js_of_ocaml-camlp4
  967. js_of_ocaml-compiler >= "3.0.1" & < "5.1.0"
  968. js_of_ocaml-lwt < "5.1.0"
  969. js_of_ocaml-ocamlbuild != "3.5.2"
  970. js_of_ocaml-ppx < "5.1.0"
  971. js_of_ocaml-ppx_deriving_json < "5.1.0"
  972. js_of_ocaml-toplevel < "5.1.0"
  973. js_of_ocaml-tyxml < "5.1.0"
  974. json-data-encoding < "0.9"
  975. json-data-encoding-browser < "0.9"
  976. json-data-encoding-bson < "0.9"
  977. json-derivers
  978. json-predicate
  979. json-rpc
  980. json-static
  981. json-wheel >= "1.0.6+safe-string"
  982. json-wheel_jane_street_overlay
  983. json_decoder
  984. json_of_jsonm
  985. jsondiff
  986. jsonm != "1.0.0"
  987. jsonrpc < "1.6.0"
  988. jsonxt
  989. jsoo_broadcastchannel >= "2.0.0"
  990. jsoo_router
  991. jsoo_storage >= "1.0.1"
  992. jst-config < "v0.15.0"
  993. junit < "2.0.1"
  994. junit_alcotest < "2.0.1"
  995. junit_ounit < "2.0.1"
  996. jupyter < "2.7.8"
  997. jupyter-archimedes
  998. jupyter-kernel < "0.8"
  999. jwt
  1000. jwto < "0.4.0"
  1001. KaSim >= "4.0.0"
  1002. kafka >= "0.3"
  1003. kafka_async
  1004. kafka_lwt
  1005. kappa-agents
  1006. kappa-binaries
  1007. kappa-library
  1008. kappa-server
  1009. kaputt >= "1.2"
  1010. ke < "0.6"
  1011. ketrew >= "1.1.1" & != "3.0.0"
  1012. key-parsers < "1.2.1"
  1013. kicadsch < "0.5.1"
  1014. kinetic-client
  1015. krb5
  1016. kremlin < "1.0.0"
  1017. kubecaml
  1018. kyotocabinet
  1019. lablgl < "1.07"
  1020. lablgtk >= "2.18.6"
  1021. lablgtk-extras >= "1.6"
  1022. lablgtk3 < "3.1.2"
  1023. lablgtk3-gtkspell3 < "3.1.2"
  1024. lablgtk3-sourceview3 < "3.1.2"
  1025. lablgtkosx
  1026. lablqml >= "0.5.2" & < "0.7"
  1027. labltk < "8.06.5"
  1028. labrys
  1029. lacaml < "11.0.6"
  1030. ladspa < "0.2.0"
  1031. lambda
  1032. lambda-term < "1.6" | >= "1.12.0" & < "3.2.0"
  1033. lambda_streams
  1034. lambda_streams_lwt
  1035. lambdapi < "2.0.0"
  1036. lambdasoup
  1037. lambdoc
  1038. lame < "0.3.4"
  1039. landmarks < "1.4"
  1040. lascar < "0.6.0"
  1041. lastfm = "0.3.2"
  1042. launchd
  1043. lazy-trie >= "1.1.0"
  1044. lbfgs >= "0.9"
  1045. lbvs_consent < "2.0.0"
  1046. ldap
  1047. learn-ocaml < "0.12"
  1048. ledit >= "2.04"
  1049. lem < "2022-12-10"
  1050. lemonade
  1051. lemonade-sqlite
  1052. lens < "1.2.4"
  1053. let-if
  1054. letsencrypt < "0.1.1"
  1055. letters < "0.1.1"
  1056. leveldb < "1.0.3" | >= "1.2.0"
  1057. levenshtein
  1058. libdash < "0.3"
  1059. libevent
  1060. libres3
  1061. libssh
  1062. libsvm != "0.9.3"
  1063. libudev >= "0.2.1"
  1064. libzipperposition < "2.0"
  1065. lilis
  1066. line-up-words < "v0.12.0"
  1067. line_oriented
  1068. linenoise
  1069. linkage
  1070. links >= "0.7.3" & < "0.9.2"
  1071. links-postgresql >= "0.7.3" & < "0.9.2"
  1072. links-sqlite3 < "0.9.2"
  1073. linksem < "0.8"
  1074. lipsum
  1075. liquidsoap >= "1.3.4" & < "1.4.0"
  1076. liquidsoap-daemon
  1077. litiom
  1078. llopt
  1079. llvm
  1080. llvmgraph
  1081. lmdb >= "1.0"
  1082. lo < "0.2.0"
  1083. loga
  1084. logical
  1085. logs >= "0.6.2"
  1086. logs-syslog
  1087. logtk >= "1.5.1" & < "2.0"
  1088. lpd >= "1.2.2"
  1089. lpi
  1090. lru != "0.3.0-1"
  1091. lru-cache
  1092. lsp < "1.6.0"
  1093. lua_pattern
  1094. lustre-v6
  1095. lutils >= "1.44"
  1096. lutin
  1097. luv
  1098. luv_unix
  1099. lwd
  1100. lwt >= "3.0.0" & < "5.6.0"
  1101. lwt-binio
  1102. lwt-canceler
  1103. lwt-dllist
  1104. lwt-parallel < "1.0.0"
  1105. lwt-pipe
  1106. lwt-pipeline
  1107. lwt-watcher
  1108. lwt-zmq
  1109. lwt_camlp4
  1110. lwt_domain < "0.2.0"
  1111. lwt_eio < "0.2"
  1112. lwt_glib
  1113. lwt_log
  1114. lwt_named_threads
  1115. lwt_ppx < "2.1.0"
  1116. lwt_react < "1.2.0"
  1117. lwt_ssl >= "1.1.1"
  1118. lymp
  1119. lz4
  1120. lz4_chans >= "3.0.0"
  1121. lzo >= "0.0.2"
  1122. macaddr < "5.3.1"
  1123. macaddr-cstruct < "5.3.1"
  1124. macaddr-sexp < "5.3.1"
  1125. macaque != "0.7.1"
  1126. macaroons < "0.1.1"
  1127. mad < "0.5.0"
  1128. magic
  1129. magic-mime
  1130. maildir
  1131. maki
  1132. malfunction
  1133. mariadb >= "0.9.0" & < "1.1.4"
  1134. markdown
  1135. markup
  1136. mastodon-archive-viewer < "0.4.0"
  1137. matplotlib
  1138. maxminddb
  1139. mbr-format < "1.0.0"
  1140. mc2
  1141. mccs
  1142. md2mld < "0.6"
  1143. mdx < "2.0.0"
  1144. mecab
  1145. mechaml
  1146. mel
  1147. meldep
  1148. melt
  1149. memcad < "1.1.0"
  1150. memcpy
  1151. memgraph_kitty
  1152. memo
  1153. menhir >= "20130911" & != "20211125"
  1154. menhirLib
  1155. menhirSdk
  1156. merge-fmt
  1157. merge-queues
  1158. merge-ropes
  1159. mergeable-vector
  1160. merlin >= "3.0.4" & != "3.3.4~4.10preview1" & != "3.3.7~4.11preview1" & < "4.1-411"
  1161. merlin-acme
  1162. merlin-extend
  1163. merlin-of-pds
  1164. mesh >= "0.8.7"
  1165. mesh-display
  1166. mesh-easymesh
  1167. mesh-graphics
  1168. mesh-triangle
  1169. message-switch
  1170. metapp < "0.3.0"
  1171. metaquot < "0.3.0"
  1172. metrics
  1173. metrics-influx
  1174. metrics-lwt >= "0.3.0"
  1175. metrics-mirage >= "0.3.0"
  1176. metrics-unix >= "0.3.0"
  1177. mew
  1178. mew_vi
  1179. milter >= "1.0.2"
  1180. mindstorm >= "0.6"
  1181. mindstorm-lwt
  1182. minicaml
  1183. minicli
  1184. minilight
  1185. minima-theme
  1186. minimal
  1187. minisat != "0.3"
  1188. minivpt
  1189. mirage >= "2.0.0" & < "3.9.0"
  1190. mirage-block < "3.0.0"
  1191. mirage-block-ccm < "1.1.0"
  1192. mirage-block-combinators
  1193. mirage-block-lwt
  1194. mirage-block-ramdisk
  1195. mirage-block-solo5 < "0.6.2"
  1196. mirage-block-unix >= "2.0.0" & != "2.7.0"
  1197. mirage-block-xen < "2.0.0"
  1198. mirage-bootvar-solo5
  1199. mirage-bootvar-unix
  1200. mirage-bootvar-xen < "0.8.0"
  1201. mirage-btrees
  1202. mirage-channel < "4.1.0"
  1203. mirage-channel-lwt
  1204. mirage-clock < "4.0.0"
  1205. mirage-clock-freestanding < "4.0.0"
  1206. mirage-clock-lwt
  1207. mirage-clock-unix < "4.0.0"
  1208. mirage-clock-xen
  1209. mirage-conduit
  1210. mirage-console != "2.1.0" & < "4.0.0"
  1211. mirage-console-lwt
  1212. mirage-console-solo5 < "0.7.0"
  1213. mirage-console-unix < "4.0.0"
  1214. mirage-console-xen < "4.0.0"
  1215. mirage-console-xen-backend < "4.0.0"
  1216. mirage-console-xen-cli
  1217. mirage-console-xen-proto < "4.0.0"
  1218. mirage-device
  1219. mirage-dns
  1220. mirage-entropy < "0.5.1"
  1221. mirage-entropy-unix
  1222. mirage-flow < "1.0.3" | >= "1.2.0" & < "3.0.0"
  1223. mirage-flow-combinators < "3.0.0"
  1224. mirage-flow-lwt
  1225. mirage-flow-rawlink
  1226. mirage-flow-unix != "1.4.0" & < "3.0.0"
  1227. mirage-fs < "4.0.0"
  1228. mirage-fs-lwt
  1229. mirage-fs-mem
  1230. mirage-fs-unix >= "1.4.1"
  1231. mirage-git
  1232. mirage-http
  1233. mirage-http-unix
  1234. mirage-http-xen
  1235. mirage-irmin
  1236. mirage-kv < "4.0.0"
  1237. mirage-kv-lwt
  1238. mirage-kv-mem < "3.1.0"
  1239. mirage-kv-unix
  1240. mirage-logs
  1241. mirage-nat < "1.1.0" | >= "2.0.0" & < "2.2.4"
  1242. mirage-net < "4.0.0"
  1243. mirage-net-direct
  1244. mirage-net-fd
  1245. mirage-net-flow
  1246. mirage-net-lwt
  1247. mirage-net-macosx
  1248. mirage-net-socket
  1249. mirage-net-solo5 < "0.4.3" | >= "0.6.1" & < "0.7.0"
  1250. mirage-net-unix >= "2.2.1"
  1251. mirage-net-xen >= "1.4.2" & < "1.6.0" | >= "1.7.0" & < "2.0.0"
  1252. mirage-no-solo5
  1253. mirage-no-xen
  1254. mirage-os-shim >= "3.0.1"
  1255. mirage-profile
  1256. mirage-profile-unix
  1257. mirage-profile-xen
  1258. mirage-protocols < "7.0.0"
  1259. mirage-protocols-lwt
  1260. mirage-qubes < "0.9.0"
  1261. mirage-qubes-ipv4
  1262. mirage-random < "3.0.0"
  1263. mirage-random-stdlib
  1264. mirage-random-test
  1265. mirage-runtime < "3.9.0"
  1266. mirage-seal
  1267. mirage-solo5 < "0.6.5"
  1268. mirage-stack < "3.0.0"
  1269. mirage-stack-lwt
  1270. mirage-tc
  1271. mirage-tcpip-unix
  1272. mirage-tcpip-xen
  1273. mirage-time < "3.0.0"
  1274. mirage-time-lwt
  1275. mirage-time-unix < "3.0.0"
  1276. mirage-types < "3.9.0"
  1277. mirage-types-lwt < "3.9.0"
  1278. mirage-unix
  1279. mirage-vnetif
  1280. mirage-vnetif-stack
  1281. mirage-www
  1282. mirage-xen >= "2.6.0" & < "6.0.0"
  1283. mirage-xen-minios
  1284. mirage-xen-ocaml >= "3.2.0"
  1285. mirage-xen-posix
  1286. mirror
  1287. misuja
  1288. mixture
  1289. mkaudio
  1290. mkocaml >= "1.2"
  1291. ml2mxml
  1292. mlbdd
  1293. mlcuddidl >= "3.0.2"
  1294. mld
  1295. mldonkey >= "3.1.7-2"
  1296. mlgmpidl >= "1.2.6"
  1297. mlmpfr
  1298. mlpost = "0.8.2"
  1299. mlt_parser < "v0.12.0"
  1300. mm >= "0.3.1" & < "0.5.0" | >= "0.7.0" & < "0.7.4"
  1301. mmap
  1302. mmdb
  1303. mmseg
  1304. mock < "1.0.0"
  1305. mock-ounit < "1.0.0"
  1306. modelica_ml >= "0.2.0"
  1307. modular-arithmetic
  1308. molenc < "15.4.0"
  1309. monadlib
  1310. monads < "1.4.0" | >= "1.6.0" & < "2.1.0"
  1311. mongo
  1312. monolith
  1313. monomorphic >= "1.2" & < "2.0"
  1314. morbig
  1315. more-ocaml
  1316. morsmall
  1317. mosquitto
  1318. moss
  1319. mparser >= "1.2"
  1320. mparser-pcre
  1321. mparser-re
  1322. mpg123
  1323. mpi
  1324. mpp >= "0.3.2"
  1325. mpris >= "0.1.1"
  1326. mpris-clients
  1327. mqtt < "0.0.2"
  1328. mrt-format
  1329. msat
  1330. msat-bin
  1331. msgpack >= "1.3.0"
  1332. msgpck < "1.5"
  1333. mssql
  1334. mstruct >= "1.4.0"
  1335. mtime >= "0.8.4" & < "1.4.0"
  1336. mtl
  1337. multicodec
  1338. multipart-form-data < "0.3.0"
  1339. murmur3
  1340. mustache != "2.0.0"
  1341. mvar
  1342. mwt
  1343. mybuild
  1344. mysql >= "1.2.1"
  1345. mysql_protocol < "3.0.1"
  1346. naboris < "0.1.1"
  1347. named-pipe
  1348. namespaces
  1349. nanomsg
  1350. nbd < "6.0.0"
  1351. nebula
  1352. netamqp
  1353. netchannel < "2.0.0"
  1354. netlink
  1355. netml
  1356. nice_parser
  1357. nit
  1358. nlopt-ocaml >= "0.5.1"
  1359. nlp
  1360. nmea
  1361. nocoiner
  1362. nocrypto >= "0.2.0" & != "0.5.3"
  1363. noise
  1364. nonstd
  1365. nosetup
  1366. not-ocamlfind != "0.07" & < "0.09"
  1367. notty != "0.2.0" & < "0.2.3"
  1368. notty_async < "v0.12.0"
  1369. nproc
  1370. npy >= "0.0.7"
  1371. nsq >= "0.1.1"
  1372. num >= "1.0"
  1373. numalib
  1374. numerix
  1375. nunchaku >= "0.5.1"
  1376. OCanren < "0.2.0"
  1377. OCanren-ppx < "0.3.0~alpha1"
  1378. oasis >= "0.4.7"
  1379. oasis-mirage
  1380. oasis2debian
  1381. oasis2opam < "0.4.4" | >= "0.6.1"
  1382. obandit
  1383. obeam < "0.1.0" | = "0.1.2"
  1384. obeanstalk
  1385. obelisk < "0.5.0"
  1386. obi
  1387. obigstore
  1388. objsize >= "0.18"
  1389. obuild >= "0.1.9"
  1390. obus >= "1.1.8"
  1391. obytelib != "1.5"
  1392. oc45
  1393. ocal != "0.2.0"
  1394. ocaml-base-compiler = "4.06.1"
  1395. ocaml-basics != "0.4.0"
  1396. ocaml-buddy
  1397. ocaml-canvas
  1398. ocaml-compiler-libs
  1399. ocaml-data-notation < "0.0.10"
  1400. ocaml-expat < "1.3.0"
  1401. ocaml-freestanding >= "0.2.3" & < "0.6.0"
  1402. ocaml-http >= "0.1.6"
  1403. ocaml-inifiles
  1404. ocaml-js-stdlib
  1405. ocaml-logicalform
  1406. ocaml-lsp-server < "1.5.0"
  1407. ocaml-lua = "1.7"
  1408. ocaml-makefile < "6.39.2"
  1409. ocaml-manual = "4.06.0"
  1410. ocaml-markdown
  1411. ocaml-migrate-parsetree >= "1.0.7" & != "1.3.0~4.08.0+beta2"
  1412. ocaml-migrate-parsetree-ocamlbuild
  1413. ocaml-monadic >= "0.3.2"
  1414. ocaml-print-intf
  1415. ocaml-protoc
  1416. ocaml-protoc-plugin >= "1.0.0" & < "4.3.1"
  1417. ocaml-protoc-yojson
  1418. ocaml-r >= "0.1.0" & < "0.4.0"
  1419. ocaml-sat-solvers < "0.7"
  1420. ocaml-src = "4.06.1"
  1421. ocaml-syntax-shims
  1422. ocaml-system
  1423. ocaml-systemd
  1424. ocaml-top < "1.1.0" | = "1.1.5"
  1425. ocaml-twt
  1426. ocaml-variants >= "4.06.1+32bit" & < "4.06.2+trunk"
  1427. ocaml-version < "3.0.0"
  1428. ocaml-xdg-basedir = "0.0.3"
  1429. ocaml-xml-rpc
  1430. ocaml-zmq
  1431. ocaml_plugin < "112.35.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03" & < "v0.12.0"
  1432. ocamlapi
  1433. ocamlapi_async
  1434. ocamlapi_lwt_unix
  1435. ocamlapi_ppx
  1436. ocamlbuild != "0.9.0"
  1437. ocamlbuild-atdgen
  1438. ocamlbuild-pkg
  1439. ocamlbuild-protoc
  1440. ocamlclean = "2.1" | >= "2.3"
  1441. ocamlcodoc < "1.0.1"
  1442. ocamldap >= "2.3.0"
  1443. ocamldiff >= "1.1"
  1444. ocamldsort
  1445. ocamlfind >= "1.5.1"
  1446. ocamlfind-lint
  1447. ocamlformat != "0.13.0" & < "0.17.0"
  1448. ocamlformat_support
  1449. ocamlfuse
  1450. ocamlgraph >= "1.8.8"
  1451. ocamlgraph_gtk
  1452. ocamlify
  1453. ocamline
  1454. ocamlmod >= "0.0.8"
  1455. ocamlnet >= "4.1.4"
  1456. ocamlog
  1457. ocamlpp >= "1.1"
  1458. ocamlrss
  1459. ocamlscript < "3.0.0"
  1460. ocamlsdl
  1461. ocamlsdl2
  1462. ocamlsdl2-image
  1463. ocamlsdl2-ttf
  1464. ocamlspot = "4.06.0.2.3.2"
  1465. ocamltter < "2.0.1" | = "2.1.1" | >= "4.1.0"
  1466. ocamlviz
  1467. ocamlwc
  1468. ocamlyices
  1469. ocb
  1470. ocb-stubblr
  1471. ocephes
  1472. ocf = "0.5.0"
  1473. oci
  1474. oclaunch
  1475. oclock
  1476. ocolor
  1477. ocp-browser != "1.2.1" & < "1.3.4"
  1478. ocp-build >= "1.99.18-beta"
  1479. ocp-indent = "1.5.2" | >= "1.6.1"
  1480. ocp-indent-nlfork >= "1.5.4"
  1481. ocp-index >= "1.1.5" & < "1.3.4"
  1482. ocp-index-top
  1483. ocp-ocamlres != "0.3"
  1484. ocp-pack-split
  1485. ocp-pp
  1486. ocp-reloc
  1487. ocp_reveal
  1488. ocplib-compat
  1489. ocplib-config
  1490. ocplib-endian != "0.8"
  1491. ocplib-file
  1492. ocplib-json-typed != "0.4"
  1493. ocplib-json-typed-browser
  1494. ocplib-json-typed-bson
  1495. ocplib-resto
  1496. ocplib-simplex
  1497. ocplib_stuff < "0.3.0"
  1498. ocsfml
  1499. ocsigen-i18n < "3.6.0"
  1500. ocsigen-start
  1501. ocsigen-toolkit < "2.2.1"
  1502. ocsigenserver < "2.18.0"
  1503. octavius
  1504. ocurl >= "0.7.6"
  1505. ocveralls
  1506. odash
  1507. odbc
  1508. odds < "1.1"
  1509. odepack >= "0.6.7"
  1510. odig != "0.0.2" & < "0.0.6"
  1511. odisco
  1512. odnnr
  1513. odoc
  1514. odoc-depgraph
  1515. odoc-parser
  1516. ofx
  1517. ogen != "0.1.2"
  1518. ogg = "0.5.2" | = "0.6.1"
  1519. ogre < "1.4.0" | >= "1.6.0" & < "2.1.0"
  1520. ojquery
  1521. ojs-base < "0.3.0" | = "0.5.0"
  1522. ojwidgets
  1523. olinq
  1524. ollvm
  1525. ollvm-tapir
  1526. olmi
  1527. omake = "0.9.8.7" | >= "0.10.3"
  1528. omd >= "1.3.1" & < "2.0.0~alpha3"
  1529. omg
  1530. oml
  1531. omlr
  1532. omod < "0.0.3"
  1533. omonad >= "0.3.2" & < "0.4.0"
  1534. oolc
  1535. opaca
  1536. opal
  1537. opam-bin = "0.9.5"
  1538. opam-build
  1539. opam-build-revdeps
  1540. opam-bundle
  1541. opam-ci
  1542. opam-client
  1543. opam-core != "2.0.0~rc"
  1544. opam-depext
  1545. opam-devel
  1546. opam-ed
  1547. opam-file-format
  1548. opam-format
  1549. opam-installer
  1550. opam-lib < "0.9.4" | >= "1.0.0"
  1551. opam-lock
  1552. opam-package-upgrade < "0.2"
  1553. opam-publish
  1554. opam-query
  1555. opam-repository
  1556. opam-solver
  1557. opam-state
  1558. opam-sync-github-prs
  1559. opam-test
  1560. opam2web
  1561. opam_bin_lib < "1.0.0"
  1562. opamconfig
  1563. opamfind
  1564. opamfu
  1565. opass < "2.15"
  1566. opasswd >= "1.3.1"
  1567. opazl
  1568. open
  1569. open_packaging
  1570. openai-gym
  1571. opencc
  1572. opencc0
  1573. opencc1
  1574. opencc1_1
  1575. openflow
  1576. operf-macro
  1577. operf-micro >= "1.1.1"
  1578. opium < "0.19.0"
  1579. opium_kernel
  1580. oplay
  1581. oplot
  1582. oplsr
  1583. opti
  1584. optimization1d != "0.5.1"
  1585. optint < "0.0.3"
  1586. opus < "0.2.0"
  1587. oqamldebug
  1588. oraft
  1589. orakuda >= "1.2.0" & < "2.0.0"
  1590. orandforest
  1591. ordma
  1592. orec
  1593. orf
  1594. orm >= "0.7.0"
  1595. orocksdb
  1596. orpie
  1597. orrandomForest
  1598. orsetto < "1.1"
  1599. orsvm_e1071
  1600. orxgboost
  1601. osbx >= "1.2.4"
  1602. osc = "0.1.4"
  1603. osdp
  1604. oseq
  1605. osm_xml
  1606. ostap
  1607. osx-acl
  1608. osx-attr
  1609. osx-cf
  1610. osx-fsevents
  1611. osx-membership
  1612. osx-mount
  1613. osx-plutil
  1614. osx-secure-transport >= "0.1.1"
  1615. osx-xattr
  1616. otetris
  1617. otf
  1618. otfm
  1619. oth
  1620. otr >= "0.3.2" & < "0.3.7"
  1621. ott >= "0.26" & < "0.33"
  1622. otto
  1623. ounit >= "2.0.0" & < "2.2.0"
  1624. ounit-lwt < "2.2.0"
  1625. ounit2
  1626. ounit2-lwt
  1627. override < "0.4.0"
  1628. owee
  1629. owl >= "0.3.0" & < "0.9.0"
  1630. owl-base < "0.9.0"
  1631. owl-jupyter
  1632. owl-ode < "0.4.0"
  1633. owl-ode-base < "0.4.0"
  1634. owl-ode-odepack < "0.4.0"
  1635. owl-ode-sundials < "0.4.0"
  1636. owl-opt
  1637. owl-opt-lbfgs
  1638. owl-plplot < "0.9.0"
  1639. owl-symbolic
  1640. owl-top < "0.9.0"
  1641. owl-zoo < "0.9.0"
  1642. owork
  1643. ox
  1644. oxylc
  1645. pa_bench < "113.00.00"
  1646. pa_comprehension
  1647. pa_monad_custom
  1648. pa_ounit < "112.35.00"
  1649. pa_qualified
  1650. pa_solution
  1651. pa_test < "112.24.00"
  1652. pa_where
  1653. packet
  1654. pacomb
  1655. pandoc-abbreviations
  1656. papi < "0.1.1"
  1657. parany < "13.0.0"
  1658. pardi
  1659. pareto >= "0.3"
  1660. parmap >= "1.0-rc9"
  1661. parse-argv
  1662. parsexp >= "v0.9.1" & < "v0.15.0"
  1663. parsexp_io >= "v0.9.1" & < "v0.15.0"
  1664. partition_map
  1665. passmaker
  1666. passmakercmd
  1667. patch
  1668. patdiff != "113.00.00" & != "113.33.03" & < "v0.12.0"
  1669. path_glob
  1670. patience_diff != "112.24.00" & != "113.33.03" & < "v0.12.0"
  1671. patoline
  1672. pattern != "0.1.1" & < "0.3.0"
  1673. pbkdf < "1.1.0"
  1674. pbrt
  1675. pbs
  1676. pcap-format < "0.6.0"
  1677. pcf-format
  1678. pci >= "1.0.1"
  1679. pci-db
  1680. pcre >= "7.1.3" & < "7.4.2"
  1681. pds
  1682. pds-reachability
  1683. pecu
  1684. perf
  1685. petr4
  1686. pfff >= "0.37.1"
  1687. pgocaml < "1.7" | >= "2.2" & < "4.0"
  1688. pgsolver
  1689. pgx < "1.0"
  1690. pgx_async < "1.0"
  1691. pgx_lwt < "1.0"
  1692. pgx_unix < "1.0"
  1693. phantom-algebra
  1694. phashtbl
  1695. phonetic
  1696. pilat < "1.6"
  1697. pipebang < "109.09.00"
  1698. piqi < "0.7.0" | >= "0.7.6"
  1699. piqilib
  1700. pixel_pusher
  1701. pkcs11 < "1.0.1"
  1702. pkcs11-driver < "1.0.1"
  1703. pla < "2.0"
  1704. planck >= "2.2.0"
  1705. planets >= "0.1.14"
  1706. plato
  1707. plist < "1.0.0"
  1708. plotkicadsch < "0.4.0"
  1709. plplot
  1710. podge < "0.4"
  1711. polka
  1712. polly
  1713. polyglot
  1714. pomap >= "3.0.7"
  1715. portaudio = "0.2.1"
  1716. portia >= "1.1"
  1717. posix-clock
  1718. posix-getopt < "2.0.0"
  1719. posix-math
  1720. posix-mqueue
  1721. posix-semaphore
  1722. posix-time
  1723. posix-types
  1724. posixat >= "v0.10.0" & < "v0.12.0"
  1725. postgresql < "4.5.1"
  1726. pp < "1.1.2"
  1727. pprint >= "20171003"
  1728. ppx-owl-opt
  1729. ppx_assert >= "113.24.00" & != "113.33.03" & < "v0.15.0"
  1730. ppx_ast >= "v0.9.2"
  1731. ppx_base < "v0.15.0"
  1732. ppx_bench = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1733. ppx_bigarray >= "2.0.0"
  1734. ppx_bin_prot >= "113.24.00" & != "113.33.00" & != "113.33.03" & < "v0.15.0"
  1735. ppx_bitstring = "1.1.0" | >= "1.3.3" & < "4.0.0"
  1736. ppx_blob >= "0.2"
  1737. ppx_bsx
  1738. ppx_cold < "v0.15.0"
  1739. ppx_compare = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1740. ppx_compose
  1741. ppx_const
  1742. ppx_conv_func = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  1743. ppx_core >= "v0.9.2"
  1744. ppx_cstruct < "6.0.0"
  1745. ppx_cstubs
  1746. ppx_csv_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  1747. ppx_custom_printf = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1748. ppx_defer < "0.5.0"
  1749. ppx_derivers
  1750. ppx_deriving = "4.1.5" | >= "4.2.1"
  1751. ppx_deriving_argparse
  1752. ppx_deriving_cmdliner
  1753. ppx_deriving_crowbar
  1754. ppx_deriving_hardcaml < "v0.12.0"
  1755. ppx_deriving_madcast
  1756. ppx_deriving_morphism != "0.4"
  1757. ppx_deriving_protobuf = "2.4" | >= "2.6"
  1758. ppx_deriving_protocol
  1759. ppx_deriving_rpc < "8.0.0"
  1760. ppx_deriving_yojson < "2.0" | >= "3.1"
  1761. ppx_distr_guards < "0.3"
  1762. ppx_dotbracket
  1763. ppx_driver = "113.24.00" | >= "113.33.00+4.03" & < "113.33.03" | >= "v0.9.2"
  1764. ppx_enumerate = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1765. ppx_expect != "113.33.00" & != "113.33.01" & != "113.33.03" & < "v0.15.0"
  1766. ppx_fail = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0"
  1767. ppx_fast_pipe
  1768. ppx_fields_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1769. ppx_fixed_literal < "v0.15.0"
  1770. ppx_fun
  1771. ppx_gen_rec
  1772. ppx_getenv >= "1.2"
  1773. ppx_graphql
  1774. ppx_hardcaml
  1775. ppx_hash < "v0.15.0"
  1776. ppx_here >= "113.24.00" & != "113.33.03" & < "v0.15.0"
  1777. ppx_import >= "1.4"
  1778. ppx_include >= "1.1"
  1779. ppx_inline_alcotest
  1780. ppx_inline_test = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1781. ppx_integer
  1782. ppx_irmin < "2.3.0"
  1783. ppx_jane != "113.33.03" & < "v0.15.0"
  1784. ppx_js_style < "v0.15.0"
  1785. ppx_jsobject_conv >= "0.2.1" & < "0.6.0"
  1786. ppx_let != "113.33.00" & != "113.33.03" & < "v0.15.0"
  1787. ppx_log < "v0.15.0"
  1788. ppx_matches
  1789. ppx_meta_conv = "4.0.0"
  1790. ppx_metaquot
  1791. ppx_module_timer < "v0.15.0"
  1792. ppx_monadic >= "1.0.4"
  1793. ppx_monoid
  1794. ppx_mysql
  1795. ppx_mysql_identity
  1796. ppx_nanocaml
  1797. ppx_netblob >= "1.1"
  1798. ppx_optcomp = "113.24.00" | = "113.33.01+4.03" | >= "v0.9.0" & < "v0.14.3"
  1799. ppx_optint
  1800. ppx_optional < "v0.15.0"
  1801. ppx_orakuda = "3.0.1" | = "3.1.0" | >= "3.3.0"
  1802. ppx_overload >= "1.4"
  1803. ppx_pipebang = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1804. ppx_poly_record >= "1.1.1"
  1805. ppx_protocol_conv < "5.2.0"
  1806. ppx_protocol_conv_json < "5.2.1"
  1807. ppx_protocol_conv_jsonm < "5.2.1"
  1808. ppx_protocol_conv_msgpack < "5.2.1"
  1809. ppx_protocol_conv_xml_light < "5.2.1"
  1810. ppx_protocol_conv_xmlm < "5.2.1"
  1811. ppx_protocol_conv_yaml < "5.2.1"
  1812. ppx_python < "v0.15.0"
  1813. ppx_regexp >= "0.3.0"
  1814. ppx_relit < "0.2.0"
  1815. ppx_seq >= "0.2.0"
  1816. ppx_sexp_conv >= "113.24.00" & != "113.33.03" & < "v0.15.0"
  1817. ppx_sexp_message != "113.33.00" & != "113.33.03" & < "v0.15.0"
  1818. ppx_sexp_value = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1819. ppx_sqlexpr
  1820. ppx_stable < "v0.15.0"
  1821. ppx_string < "v0.15.0"
  1822. ppx_string_interpolation
  1823. ppx_system
  1824. ppx_test >= "1.4.0" & < "1.7.0"
  1825. ppx_there
  1826. ppx_tools = "5.1+4.06.0"
  1827. ppx_tools_versioned
  1828. ppx_traverse
  1829. ppx_traverse_builtins
  1830. ppx_type_conv = "113.24.00" | >= "113.33.00+4.03" & != "113.33.03"
  1831. ppx_typerep_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1832. ppx_tyre
  1833. ppx_variants_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1834. ppx_view
  1835. ppx_wideopen
  1836. ppx_xml_conv >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  1837. ppx_yojson < "1.2.0"
  1838. ppx_yojson_conv < "v0.15.0"
  1839. ppx_yojson_conv_lib
  1840. ppxfind
  1841. ppxlib < "0.14.0" | >= "0.16.0" & < "0.19.0" | >= "0.21.0" & != "0.25.0~5.00preview"
  1842. ppxx >= "2.1.0" & < "2.3.2"
  1843. pratter != "1.0" & < "2.0.0"
  1844. prettiest
  1845. primes
  1846. pringo
  1847. printbox
  1848. printbox-text
  1849. prob-cache
  1850. process
  1851. prof_spacetime
  1852. profiler-plugin
  1853. profound
  1854. proj4 >= "0.9.2"
  1855. promela
  1856. prometheus
  1857. prometheus-app < "1.2"
  1858. promise
  1859. protobuf
  1860. protocell
  1861. protocol-9p
  1862. protocol-9p-tool
  1863. protocol-9p-unix
  1864. protocol_version_header < "v0.12.0"
  1865. proverif >= "1.97pl3"
  1866. psmt2-frontend
  1867. psq
  1868. psyche
  1869. ptime >= "0.8.1" & < "1.0.0"
  1870. ptmap < "2.0.1" | = "2.0.3" | >= "2.0.5"
  1871. ptset >= "1.0.1"
  1872. publish
  1873. pulseaudio < "0.1.4"
  1874. pumping
  1875. pure-splitmix < "0.3"
  1876. pvem
  1877. pvem_lwt_unix
  1878. pxp
  1879. py
  1880. pyast
  1881. pyml
  1882. qbf < "0.3"
  1883. qcheck >= "0.3" & < "0.5" | >= "0.5.2" & < "0.18"
  1884. qcheck-alcotest < "0.18"
  1885. qcheck-core < "0.18"
  1886. qcheck-ounit < "0.18"
  1887. qcow < "0.8.1" | >= "0.10.0"
  1888. qcow-format
  1889. qcow-tool
  1890. qcstm
  1891. qfs
  1892. qiskit
  1893. qmp
  1894. qocamlbrowser = "0.2.10"
  1895. qrencode >= "0.2"
  1896. qtest >= "2.7"
  1897. quest
  1898. quests
  1899. quickcheck != "1.0.0"
  1900. r2pipe
  1901. radamsa
  1902. radare2 >= "0.0.2"
  1903. radis
  1904. randomconv
  1905. range
  1906. ranger >= "0.1.0"
  1907. rashell
  1908. raw_spacetime
  1909. rawlink >= "0.6" & < "2.1"
  1910. raygun4ocaml
  1911. rdbg >= "1.175"
  1912. rdf >= "0.5" & < "0.7.0" | = "0.11.0"
  1913. rdr < "2.0.1"
  1914. re >= "1.3.0"
  1915. re2 < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.12.0"
  1916. react = "1.0.0" | = "1.2.1"
  1917. reactiveData < "0.3.0"
  1918. reanalyze < "2.23.0"
  1919. reason >= "3.0.3"
  1920. receive-mail
  1921. received < "0.5.2"
  1922. record_builder < "v0.12.0"
  1923. records
  1924. redirect >= "0.1.1"
  1925. redis >= "0.3.6"
  1926. redis-lwt >= "0.3.6"
  1927. redis-sync >= "0.3.6"
  1928. reed-solomon-erasure
  1929. reedsolomon
  1930. refl < "0.4.0"
  1931. regenerate
  1932. regular >= "1.2.0" & < "1.4.0" | >= "1.6.0" & < "2.1.0"
  1933. relit-reason < "0.0.2"
  1934. relit_helper < "0.2.0"
  1935. remu_ts
  1936. res >= "4.0.7"
  1937. resource-pooling
  1938. resource_cache < "v0.12.0"
  1939. resp < "0.10.0"
  1940. resp-client < "0.10.0"
  1941. resp-mirage < "0.10.0"
  1942. resp-server < "0.10.0"
  1943. resp-unix < "0.10.0"
  1944. result
  1945. revops
  1946. rfc1951 < "0.9.1"
  1947. rfc6287 != "1.0.2" & < "1.0.4"
  1948. rfc7748
  1949. rfsm < "1.6.0"
  1950. rhythm
  1951. riak
  1952. riak-pb
  1953. riakc
  1954. riakc_ppx != "3.1.2"
  1955. ringo < "1.0.0"
  1956. ringo-lwt
  1957. river < "0.2"
  1958. rlp
  1959. rml >= "1.09.00" & != "1.09.04" & < "1.09.06"
  1960. rmlbuild
  1961. root1d != "0.3"
  1962. rope >= "0.6"
  1963. rosetta
  1964. rotor
  1965. routes < "2.0.0"
  1966. rpc < "1.3.0" | >= "5.9.0" & != "8.0.0"
  1967. rpc_parallel >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  1968. rpclib != "8.0.0" & < "9.0.0"
  1969. rpclib-async
  1970. rpclib-html
  1971. rpclib-js
  1972. rpclib-lwt
  1973. rresult >= "0.4.0" & < "0.7.0"
  1974. rtop
  1975. rubytt
  1976. rungen
  1977. safa
  1978. safepass >= "2.0"
  1979. sail < "0.15"
  1980. salsa20 < "1.1.0"
  1981. salsa20-core
  1982. samplerate < "0.1.5"
  1983. sanddb
  1984. sanlock
  1985. satML-plugin
  1986. sattools
  1987. satyrographos < "0.0.2.7"
  1988. sawja != "1.5.2" & < "1.5.8"
  1989. scgi
  1990. schroedinger
  1991. scid
  1992. scrypt
  1993. scrypt-kdf < "1.1.0"
  1994. secp256k1
  1995. secp256k1-internal < "0.2.0"
  1996. sedlex >= "1.99.3" & < "2.6"
  1997. sek
  1998. selective
  1999. semver
  2000. semver2
  2001. sendmail >= "0.2.0"
  2002. sendmail-lwt >= "0.2.0"
  2003. sendmsg
  2004. seq != "0.3" & < "base"
  2005. sequence < "0.4" | >= "0.5.4"
  2006. sequencer_table < "v0.12.0"
  2007. sequoia
  2008. session < "0.5.0"
  2009. session-cohttp < "0.5.0"
  2010. session-cohttp-async < "0.5.0"
  2011. session-cohttp-lwt < "0.5.0"
  2012. session-postgresql < "0.5.0"
  2013. session-postgresql-async < "0.5.0"
  2014. session-postgresql-lwt < "0.5.0"
  2015. session-redis-lwt < "0.5.0"
  2016. session-webmachine < "0.5.0"
  2017. sessions
  2018. setcore
  2019. setr
  2020. sexp_pretty < "v0.12.0"
  2021. sexplib >= "v0.9.3" & < "v0.15.0"
  2022. sexplib0 < "v0.15.1"
  2023. sfml < "0.08.2" | >= "0.09"
  2024. sgf
  2025. sha >= "1.10"
  2026. shapefile
  2027. shared-block-ring < "2.3.0" | >= "3.0.0"
  2028. shared-memory-ring < "1.2.0" | >= "3.0.0" & < "3.1.1"
  2029. shared-memory-ring-lwt < "3.1.1"
  2030. shared-secret
  2031. shcaml >= "0.2.1"
  2032. shexp < "v0.12.0"
  2033. shine
  2034. sibylfs
  2035. sid
  2036. sifun
  2037. sill
  2038. simlog
  2039. simple-diff
  2040. simple_pam
  2041. slack-backup
  2042. slacko >= "0.11.0" & < "0.15.0"
  2043. slap >= "3.0.1"
  2044. slug
  2045. smart-print
  2046. smbc
  2047. smtlib-utils < "0.4"
  2048. smtp
  2049. snabela
  2050. snappy != "0.1.0"
  2051. so
  2052. socialpeek
  2053. sociaml-facebook-api < "0.4.1"
  2054. sociaml-oauth-client
  2055. sociaml-tumblr-api
  2056. sociaml-vcard
  2057. socket-daemon
  2058. socketcan >= "0.8.12-0"
  2059. sodium != "0.2.0"
  2060. solo5-kernel-muen
  2061. solo5-kernel-ukvm
  2062. solo5-kernel-virtio
  2063. sosa >= "0.2.0"
  2064. soundtouch
  2065. space-search
  2066. spacetime_lib
  2067. spatial_index
  2068. spawn
  2069. spdiff
  2070. spdx_licenses < "1.1.0"
  2071. speex < "0.4.0"
  2072. spelll = "0.2" | >= "0.4"
  2073. spf >= "2.0.2"
  2074. spin < "0.6.0"
  2075. spirv
  2076. splay_tree < "v0.12.0"
  2077. splittable_random < "v0.15.0"
  2078. spoc = "20170724"
  2079. spotify-cli >= "0.3.0"
  2080. spotify-web-api < "0.2.1"
  2081. spotinstall
  2082. spotlib >= "4.0.2" & < "4.1.0"
  2083. spreadsheet
  2084. spreadsheetml
  2085. sqlexpr < "0.7.1" | >= "0.9.0"
  2086. sqlgg
  2087. sqlite3 < "5.0.3"
  2088. sqlite3_utils < "0.4"
  2089. srs >= "2.0.0"
  2090. srt < "0.1.1"
  2091. ssh-agent < "0.4.0"
  2092. ssh-agent-unix
  2093. ssl >= "0.5.4"
  2094. sslconf
  2095. starterkit
  2096. stationary
  2097. statmemprof-emacs
  2098. statverif >= "1.97pl1.1"
  2099. stb_image
  2100. stb_image_write
  2101. stb_truetype
  2102. stdcompat
  2103. stdint != "0.6.0"
  2104. stdio >= "v0.9.1" & < "v0.15.0"
  2105. stdlib-shims
  2106. stemmer
  2107. stemming >= "0.2.1"
  2108. stitch
  2109. stog >= "0.15.0" & < "0.19.0"
  2110. stog-rdf
  2111. stog-writing < "0.19.0"
  2112. stone >= "0.5.1"
  2113. string_dict < "v0.15.0"
  2114. stringext >= "1.2.0"
  2115. sturgeon
  2116. subscriptions-transport-ws
  2117. subtype-refinement
  2118. sugar
  2119. sundialsml
  2120. swagger
  2121. swhid_core
  2122. symkat
  2123. syndic >= "1.2"
  2124. sys-socket
  2125. sys-socket-unix
  2126. syslog >= "2.0.0"
  2127. syslog-message
  2128. systemverilog < "0.0.2"
  2129. TCSLib
  2130. tablecloth-native < "0.0.8"
  2131. taglib < "0.3.7"
  2132. taglog
  2133. tallgeese
  2134. tar >= "0.9.0" & < "2.0.0"
  2135. tar-mirage >= "0.9.0" & < "2.0.0"
  2136. tar-unix >= "0.9.0"
  2137. tcpip < "3.0.0" | >= "3.3.1" & < "6.3.0"
  2138. tcx
  2139. tdk >= "0.1.1"
  2140. teash
  2141. telegraml
  2142. tensorboard
  2143. tensorflow != "0.0.10"
  2144. termbox
  2145. terminal
  2146. terminal_size < "0.2.0"
  2147. testrunner
  2148. testu01
  2149. text >= "0.8.0"
  2150. text-tags < "1.4.0" | >= "1.6.0" & < "2.1.0"
  2151. textrazor
  2152. textutils != "112.17.00" & != "113.33.03" & < "v0.12.0"
  2153. textutils_kernel < "v0.12.0"
  2154. textwrap >= "0.2"
  2155. tezos-lwt-result-stdlib < "9.0"
  2156. tezos-protocol-environment-packer
  2157. tezos-shell-services < "8.0"
  2158. tezos-version < "8.0"
  2159. tftp
  2160. tgls != "0.8.3" & < "0.8.6"
  2161. theora < "0.4.0"
  2162. thrift >= "0.10.0"
  2163. tidy
  2164. time_now < "v0.15.0"
  2165. timed < "1.1"
  2166. timedesc < "0.8.0"
  2167. timere
  2168. timere-parse
  2169. tiny_httpd
  2170. tiny_httpd_camlzip
  2171. tiny_json >= "1.1.5"
  2172. tiny_json_conv < "1.4.0"
  2173. tip-parser < "0.5"
  2174. tjr_simple_earley
  2175. tls < "0.11.0"
  2176. tlstunnel
  2177. toc
  2178. tofn
  2179. toml >= "5.0.0" & < "7.0.0"
  2180. toml-cconv
  2181. toml_cconv < "7.0.0"
  2182. tophide >= "1.0.4"
  2183. topkg
  2184. topkg-care
  2185. topkg-jbuilder
  2186. toplevel_expect_test < "113.33.02" | >= "v0.9.2" & < "v0.12.0"
  2187. topological_sort < "v0.12.0"
  2188. topology
  2189. torch < "0.6"
  2190. touist
  2191. tplib
  2192. tptp >= "0.3.2"
  2193. traildb
  2194. trakeva
  2195. transmission-rpc
  2196. traverse
  2197. travesty < "0.3.0"
  2198. travis-opam
  2199. trax < "0.4.0"
  2200. tree_layout
  2201. treeprint >= "2.1.1" & < "2.3.0"
  2202. trie
  2203. tsdl < "0.8.1" | >= "0.9.1" & < "0.9.9"
  2204. tsdl-image
  2205. tsdl-mixer
  2206. tsdl-ttf
  2207. tsort
  2208. tuareg
  2209. tube
  2210. tuntap >= "1.3.0"
  2211. type-beat
  2212. type_conv >= "113.00.02"
  2213. typebeat
  2214. typehashlib
  2215. typerep < "112.35.00" | = "113.24.00" | >= "v0.9.0" & < "v0.15.0"
  2216. typerep_extended != "113.00.00" & != "113.33.03"
  2217. typerex-attic >= "1.0.2"
  2218. typerex-binutils
  2219. typerex-clibs
  2220. typerex-lldb >= "1.1"
  2221. typerex-system
  2222. typpx >= "1.4.2"
  2223. tyre
  2224. tyxml < "3.0.0" | >= "3.3.0" & != "4.1.0"
  2225. tyxml-jsx
  2226. tyxml-ppx
  2227. tyxml-syntax
  2228. ubase < "0.20"
  2229. ubpf
  2230. ucaml
  2231. uchar >= "0.0.2"
  2232. uecc >= "0.3"
  2233. uint = "1.2.1"
  2234. ulex >= "1.2"
  2235. ulex-camlp5 < "1.3"
  2236. unidecode
  2237. unionFind
  2238. unison >= "2.48.15v4" & < "2.52.0"
  2239. unix-dirent
  2240. unix-errno
  2241. unix-sys-resource
  2242. unix-sys-stat
  2243. unix-time
  2244. unix-type-representations
  2245. unix-unistd
  2246. unmagic
  2247. uri >= "1.3.13" & < "1.9.2" | >= "1.9.5"
  2248. uri-re
  2249. uritemplate >= "0.2.0"
  2250. usb >= "1.3.1"
  2251. usbmux >= "1.2.0"
  2252. user-agent-parser
  2253. user-setup
  2254. utop >= "2.0.2" & < "2.11.0"
  2255. utp
  2256. uucd >= "4.0.0"
  2257. uucp >= "2.0.0"
  2258. uuidm >= "0.9.6" & < "0.9.8"
  2259. uunf < "1.0.0" | >= "2.0.1"
  2260. uuseg != "1.0.0"
  2261. uutf >= "1.0.1"
  2262. uuuu
  2263. uwt
  2264. valentine
  2265. variantslib != "109.15.03" & != "113.33.03" & < "v0.15.0"
  2266. varint
  2267. vcardgen < "1.2"
  2268. vchan < "6.0.0"
  2269. vchan-unix >= "4.0.0" & < "6.0.0"
  2270. vchan-xen < "6.0.0"
  2271. vecosek
  2272. vecosek-engine
  2273. vecosek-scene
  2274. vector
  2275. vector3 >= "0.2.1"
  2276. vg < "0.8.1" | >= "0.9.0"
  2277. vhd-format != "0.8.0" & != "0.9.2"
  2278. vhd-format-lwt != "0.9.2"
  2279. vhd-tool
  2280. vhdlib
  2281. virtual_dom >= "v0.9.1" & < "v0.12.0"
  2282. visitors >= "20171124" & != "20210127"
  2283. vlq
  2284. vmnet < "1.2.0" | >= "1.3.1"
  2285. voaacenc
  2286. volt
  2287. vorbis < "0.6.2" | >= "0.7.1"
  2288. vpnkit != "0.1.1"
  2289. vpt < "5.0.0"
  2290. vrt
  2291. vue-jsoo = "0.2"
  2292. wall
  2293. wamp
  2294. wamp-msgpck
  2295. wamp-yojson
  2296. wasm >= "1.0" & < "1.1"
  2297. wcs
  2298. wcs-api
  2299. wcs-lib
  2300. wdialog
  2301. webbrowser
  2302. webdav >= "1.1.5"
  2303. weberizer != "0.7.2" & != "0.7.7"
  2304. webidl >= "1.0"
  2305. webmachine
  2306. websocket != "2.12"
  2307. websocket-async != "2.12"
  2308. websocket-lwt < "2.12"
  2309. websocket-lwt-unix
  2310. websocketaf
  2311. webtest
  2312. webtest-js
  2313. why >= "2.32"
  2314. why3 >= "0.85" & < "1.6.0"
  2315. why3-base >= "0.88.1"
  2316. why3-coq < "1.6.0"
  2317. why3-ide < "1.6.0"
  2318. wikitext
  2319. win-error
  2320. win-eventlog < "0.4"
  2321. winsvc >= "1.0.1"
  2322. wiringpi
  2323. ws
  2324. ws-server
  2325. wseg
  2326. wtf8
  2327. wxOCaml
  2328. wyrd >= "1.4.6"
  2329. x509 < "0.10.0"
  2330. xapi-backtrace
  2331. xapi-forkexecd
  2332. xapi-idl
  2333. xapi-inventory != "1.2.1"
  2334. xapi-libs-transitional
  2335. xapi-rrd < "1.0.2" | = "1.9.0"
  2336. xapi-rrd-transport
  2337. xapi-rrdd
  2338. xapi-stdext
  2339. xapi-stdext-encodings
  2340. xapi-stdext-pervasives < "4.16.0"
  2341. xapi-stdext-threads
  2342. xapi-stdext-unix = "4.20.0"
  2343. xapi-stdext-zerocheck
  2344. xapi-tapctl
  2345. xapi-xenops
  2346. xdg-basedir
  2347. xe
  2348. xe-unikernel-upload
  2349. xen-api-client
  2350. xen-block-driver >= "0.2.5"
  2351. xen-disk
  2352. xen-evtchn >= "1.0.6"
  2353. xen-evtchn-unix
  2354. xen-gnt < "4.0.1"
  2355. xen-gnt-unix < "4.0.1"
  2356. xenctrl >= "0.9.29" & < "0.9.32"
  2357. xenstore < "1.3.0" | >= "2.0.0"
  2358. xenstore_transport < "0.9.2" | >= "0.9.6"
  2359. xentropyd
  2360. xml-light
  2361. xmldiff < "0.6.0"
  2362. xmlm >= "1.3.0"
  2363. xmlplaylist
  2364. xtmpl = "0.10" | >= "0.14.0" & < "0.18.0"
  2365. xxhash
  2366. yajl
  2367. yajl-extra < "0.7.3"
  2368. yaml < "3.0.1"
  2369. yara
  2370. yices2
  2371. yojson >= "1.4.0"
  2372. yurt >= "0.3"
  2373. yuscii
  2374. z3 < "4.8.14"
  2375. zarith >= "1.3"
  2376. zarith-freestanding
  2377. zarith-ppx
  2378. zarith-xen
  2379. zarith_stubs_js
  2380. zbar
  2381. zed >= "1.6"
  2382. zeit
  2383. zenon = "0.8.4"
  2384. zephyrus
  2385. zero < "109.19.00"
  2386. zipperposition < "2.0"
  2387. zipperposition-tools < "2.0"
  2388. zlib
  2389. zlist < "0.4.0"
  2390. zmq < "4.0-1" | >= "4.0-8"
  2391. zmq-async
  2392. zmq-lwt
  2393. zstd
  2394. zxcvbn

Conflicts

    None