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

Install

ocaml.org Edit opam file

Authors

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

Maintainers

  1. P
    platform@lists.ocaml.org

Description

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

Published: 28 Mar 2018

Dependencies (4)

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

Dev Dependencies

    None

Used by (2380)

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

Conflicts

    None