package ocaml

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

Install

Dune Dependency

ocaml.org Edit opam file Versions (73)

Authors

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

Maintainers

  1. P
    platform@lists.ocaml.org

Description

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

Published: 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

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

Conflicts

None