package ocaml

  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

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

Conflicts

None