package ocaml

  1. Overview
  2. 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.06.1" & < "4.06.2~"
  2. ocaml-variants >= "4.06.1" & < "4.06.2~"
  3. ocaml-base-compiler = "4.06.1"
  4. ocaml-config

Dev Dependencies

None

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

Conflicts

None