package ocaml

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

Install

ocaml.org Edit opam file

Authors

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

Maintainers

  1. P
    platform@lists.ocaml.org

Description

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

Published: 28 Mar 2018

Dependencies (4)

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

Conflicts

None