Description

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

Published: 24 Sep 2018

Dependencies (4)

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

Dev Dependencies

    None

Used by (2514)

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

Conflicts

    None