package ocaml

  1. Overview
  2. No Docs

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.07.0" & < "4.07.1~"
  2. ocaml-variants >= "4.07.0" & < "4.07.1~"
  3. ocaml-base-compiler = "4.07.0"
  4. ocaml-config

Dev Dependencies

None

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

Conflicts

None