package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.9.6.tar.gz
md5=96c6ee50a32cca9ca277321262dbec57
sha512=cfaf1872d6ccda548f07d32cc6b90c3aafe136d2aa6539e03143702171ee0199add55269bba894c77115535dc46a5835901a5d7c75768999e72db503bfd83027

Description

Findlib is a library manager for OCaml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.

Published: 08 Mar 2023

Dependencies (1)

  1. ocaml >= "3.08.0"

Dev Dependencies

None

  1. ANSITerminal < "0.8"
  2. aacplus
  3. abella < "2.0.8"
  4. abt
  5. acme
  6. aez
  7. afl-persistent != "1.1" & < "1.3"
  8. agrep
  9. aifad < "2.1.0"
  10. aio
  11. alba < "0.4.1"
  12. alberto
  13. alcotest < "0.8.0"
  14. aliases
  15. alphaCaml
  16. alsa < "0.3.0"
  17. amqp-client < "1.1.0"
  18. ancient
  19. angstrom < "0.6.0"
  20. annexlib
  21. ansi-parse < "0.4.0"
  22. ansicolor
  23. anycache < "0.7.4"
  24. ao < "0.2.2"
  25. aperf
  26. apron
  27. arakoon
  28. archimedes
  29. archsat
  30. argon2 < "1.0.0"
  31. argot
  32. arp < "1.0.0"
  33. ascii85 < "0.4"
  34. asetmap
  35. asl
  36. asli < "0.2.0"
  37. asn1-combinators < "0.2.2"
  38. assertions
  39. assimp
  40. astring
  41. async < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  42. async-mvar
  43. async-zmq
  44. async_core < "108.00.02" | >= "109.19.00"
  45. async_extended < "v0.9.0"
  46. async_extra < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  47. async_find >= "113.24.00" & < "v0.9.0"
  48. async_graphics < "0.7.0"
  49. async_inotify >= "113.24.00" & < "v0.9.0"
  50. async_kernel < "v0.9.0"
  51. async_parallel < "v0.9.0"
  52. async_rpc_kernel < "v0.9.0"
  53. async_shell >= "113.24.00" & < "v0.9.0"
  54. async_smtp >= "113.24.00" & < "v0.9.0"
  55. async_ssl >= "113.24.00" & < "v0.9.0"
  56. async_unix < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  57. atd < "1.2.1"
  58. atd2cconv
  59. atdgen < "1.10.2"
  60. augeas
  61. avroc
  62. aws < "1.2"
  63. aws-autoscaling < "1.2"
  64. aws-cloudformation < "1.2"
  65. aws-cloudtrail < "1.2"
  66. aws-ec2 < "1.2"
  67. aws-elasticloadbalancing < "1.2"
  68. aws-sdb < "1.2"
  69. aws-ssm < "1.2"
  70. aws-sts < "1.2"
  71. BetterErrors
  72. b0
  73. baardskeerder
  74. baby
  75. bamboo
  76. bap-build >= "2.2.0"
  77. bap-byteweight-frontend >= "2.2.0"
  78. bap-frontend >= "2.2.0"
  79. bap-plugins >= "2.2.0"
  80. bap-std
  81. bap-toplevel
  82. base-bytes
  83. base58
  84. base64 < "2.2.0"
  85. batsh < "0.0.5"
  86. batteries
  87. bau
  88. bdd
  89. bddapron
  90. bear
  91. beluga < "1.0"
  92. bench
  93. benchmark < "1.5"
  94. bencode < "2.0"
  95. bes
  96. bheap < "2.0.0"
  97. bigarray-overlap
  98. bigbro
  99. bignum < "v0.9.0"
  100. bigstring < "0.2"
  101. bin_prot < "v0.9.0"
  102. bindlib < "6.0.0"
  103. biniou < "1.1.0"
  104. binsec < "0.4.0"
  105. biocaml < "0.9.0"
  106. bisect
  107. bisect-summary
  108. bisect_ppx < "1.3.0" | >= "1.3.3" & < "2.6.0"
  109. bistro < "0.3.0"
  110. bitmasks < "1.1.0"
  111. bitstring < "3.0.0"
  112. bitv >= "1.1" & < "1.4"
  113. bjack < "0.1.6"
  114. blahcaml
  115. bn128
  116. bolt
  117. bookaml
  118. boomerang
  119. bos
  120. bpf
  121. bracetax
  122. broken
  123. brotli < "2.0.3"
  124. brozip
  125. brr
  126. bsdowl
  127. bson
  128. bt
  129. bulletml
  130. Camldiets
  131. CamlGI
  132. cache
  133. cairo
  134. cairo2 < "0.6"
  135. calculon < "0.2"
  136. calendar < "3.0.0"
  137. caml2html
  138. camlbz2 < "transition"
  139. camldm
  140. camlgpc
  141. camlhighlight
  142. camlimages
  143. camllib
  144. camlon < "2.0.1"
  145. camlp4 >= "4.02+1" & < "4.02+6" | = "4.02.0-1modular-implicits" | >= "5.0"
  146. camlp5 >= "8.00.03"
  147. camlpdf
  148. camlprime
  149. camltc < "0.9.8"
  150. camltemplate
  151. camlzip
  152. camomile < "0.8.6"
  153. caper
  154. capnp < "3.0.0"
  155. captureio
  156. caqti < "1.0.0"
  157. caqti-dynload
  158. caradoc
  159. caravan
  160. carton < "0.7.2"
  161. catala >= "0.8.0"
  162. cbor < "0.3"
  163. cconv < "0.5"
  164. cconv-ppx
  165. ccss
  166. cdrom < "0.9.3"
  167. cduce
  168. certify < "0.3.0"
  169. cfg < "2.1.0"
  170. cfstream < "1.2.3"
  171. cgi
  172. cgroups
  173. chalk
  174. chamo < "4.0"
  175. channel
  176. charrua-client < "0.9"
  177. charrua-core < "0.8"
  178. charrua-unix < "0.9"
  179. checkseum >= "0.2.0"
  180. choice < "0.4"
  181. cil
  182. clangml != "4.0.0beta1"
  183. clarity < "0.4.0"
  184. cloudi < "1.7.4"
  185. cmark
  186. cmarkit
  187. cmdliner < "0.9.7" | >= "1.0.0" & < "1.0.3"
  188. cmdtui
  189. coccinelle
  190. coclobas
  191. cohttp < "0.99.0"
  192. coin >= "0.1.2"
  193. combine < "0.42"
  194. commonjs_of_ocaml
  195. comparelib
  196. conduit < "1.0.0"
  197. conex < "0.10.0"
  198. config-file < "1.2.1"
  199. configuration
  200. conjury
  201. containers < "2.0"
  202. cookie-js
  203. coq >= "8.6" & < "8.17.0"
  204. coq-core
  205. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20"
  206. coq-of-ocaml
  207. coq-serapi
  208. coqide >= "8.11.2"
  209. cordova
  210. cordova-plugin-activity-indicator
  211. cordova-plugin-background-mode
  212. cordova-plugin-barcode-scanner
  213. cordova-plugin-battery-status
  214. cordova-plugin-camera
  215. cordova-plugin-clipboard
  216. cordova-plugin-datepicker
  217. cordova-plugin-device
  218. cordova-plugin-device-motion
  219. cordova-plugin-device-orientation
  220. cordova-plugin-dialogs
  221. cordova-plugin-email-composer
  222. cordova-plugin-fcm
  223. cordova-plugin-file
  224. cordova-plugin-file-opener
  225. cordova-plugin-file-transfer
  226. cordova-plugin-geolocation
  227. cordova-plugin-globalization
  228. cordova-plugin-image-picker
  229. cordova-plugin-inappbrowser
  230. cordova-plugin-insomnia
  231. cordova-plugin-keyboard
  232. cordova-plugin-loading-spinner
  233. cordova-plugin-local-notifications
  234. cordova-plugin-media
  235. cordova-plugin-media-capture
  236. cordova-plugin-network-information
  237. cordova-plugin-progress
  238. cordova-plugin-push-notifications
  239. cordova-plugin-qrscanner
  240. cordova-plugin-screen-orientation
  241. cordova-plugin-sim-card
  242. cordova-plugin-sms
  243. cordova-plugin-social-sharing
  244. cordova-plugin-statusbar
  245. cordova-plugin-toast
  246. cordova-plugin-touch-id
  247. cordova-plugin-vibration
  248. cordova-plugin-videoplayer
  249. core < "v0.9.0"
  250. core_bench >= "113.24.00" & < "v0.9.0"
  251. core_extended < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  252. core_kernel < "v0.9.0"
  253. core_profiler >= "113.24.00" & < "v0.9.0"
  254. corecount
  255. cow < "2.3.0"
  256. cowabloga < "0.4.0"
  257. cpdf
  258. cpm < "4.0.0"
  259. cppo >= "0.9.4" & < "1.6.0"
  260. cppo_ocamlbuild
  261. cpuid < "0.1.2"
  262. crc = "1.0.0"
  263. crdt-ml
  264. crunch < "2.1.0"
  265. cry < "0.6.5"
  266. crypt
  267. cryptgps
  268. cryptodbm < "0.84.2"
  269. cryptohash
  270. cryptokit < "1.16.1"
  271. cryptoverif
  272. cstruct < "3.0.0"
  273. csv < "2.0"
  274. csvprovider
  275. ctypes < "0.21.1"
  276. ctypes-build
  277. cubicle
  278. cudf >= "0.7" & < "0.10"
  279. curses < "1.0.9"
  280. custom_printf
  281. DAGaml
  282. DrawGrammar < "0.2.1"
  283. d3
  284. datakit < "0.10.0"
  285. datakit-bridge-github < "0.10.0"
  286. datakit-bridge-local-git < "0.10.0"
  287. datakit-ci < "0.10.0"
  288. datakit-client < "0.10.0"
  289. datakit-github < "0.10.0"
  290. datakit-server < "0.10.0"
  291. datalog < "0.6"
  292. dbforge
  293. dbm
  294. debian-formats < "0.1.2"
  295. decompress < "0.8"
  296. dedukti < "2.7"
  297. delimcc
  298. depext < "0.3"
  299. depgraph
  300. depyt < "0.2.0"
  301. deriving
  302. deriving-ocsigen
  303. deriving-yojson
  304. devkit < "1.0"
  305. dht
  306. digestif < "0.6.1" | >= "0.8.1"
  307. dispatch < "0.4.0"
  308. distributed < "0.5.0"
  309. distwit
  310. dlist < "0.0.3"
  311. dns < "1.0.0"
  312. dns-forward < "0.9.0"
  313. dnscurve
  314. doc-ock
  315. doc-ock-html
  316. doc-ock-xml
  317. docker-api < "0.2"
  318. dockerfile < "3.0.0"
  319. docout
  320. dog >= "0.2.0"
  321. dolmen < "0.4"
  322. dolog < "4.0.0"
  323. domain-name < "0.1.2"
  324. dose3 < "6.1"
  325. dot-merlin-reader
  326. down
  327. dropbox < "0.2"
  328. dsfo
  329. dssi < "0.1.3"
  330. dtoa < "0.3.0"
  331. dtools < "0.4.2"
  332. dum < "1.0.2"
  333. dumpast
  334. duppy < "0.9.0"
  335. duration < "0.1.2"
  336. dyntype
  337. dypgen
  338. earley < "2.0.0"
  339. earley-ocaml
  340. easy-format < "1.3.0"
  341. edn < "0.1.6-1-gff9db95"
  342. efl
  343. eigen < "0.1.0"
  344. elasticsearch-cli < "0.5"
  345. electrod < "0.1.6"
  346. electrumAnalyzer
  347. elf2json
  348. elina
  349. eliom
  350. elpi >= "1.2.0" & < "1.4.0"
  351. email_message >= "113.24.00" & < "v0.9.0"
  352. emoji
  353. enumerate
  354. enumerators
  355. erm_xml
  356. erm_xmpp
  357. erssical < "1.1.0"
  358. estring
  359. exenum < "0.86"
  360. exn-source
  361. expect
  362. extlib < "1.7.9"
  363. extlib-compat
  364. extprot
  365. extunix < "0.3.1"
  366. ezirmin
  367. ezjsonm < "1.0.0"
  368. ezjsonm-lwt < "1.0.0"
  369. ezsqlite < "0.4"
  370. ezxmlm < "1.0.2"
  371. FrontC < "3.4.2"
  372. faad < "0.5.0"
  373. fadbadml < "0.1.2"
  374. faillib
  375. faraday < "0.3.0"
  376. farfadet
  377. farmhash < "0.4"
  378. fat-filesystem < "0.12.1"
  379. fd-send-recv < "1.0.5"
  380. fdkaac < "0.3.2"
  381. ffmpeg < "1.0.0~beta1"
  382. fftw3 < "0.8"
  383. fieldslib < "v0.9.0"
  384. fileutils < "0.6.1"
  385. fix < "20181206"
  386. flac < "0.3.0"
  387. flock
  388. flow
  389. flow_parser < "0.229.1"
  390. flowtype >= "0.72.0"
  391. fluent-logger < "1.1.0"
  392. fmt
  393. forkwork
  394. format
  395. fpath
  396. frag
  397. frama-c >= "16.0" & < "28.0~beta"
  398. frama-c-base
  399. freetds < "0.5.2"
  400. freetennis
  401. frei0r < "0.1.2"
  402. frenetic < "5.0.0"
  403. fstar
  404. fstreams
  405. ftp
  406. functoria < "2.1.0"
  407. functoria-runtime < "2.1.0" | = "4.3.5"
  408. functory
  409. funfields
  410. fury-puyo
  411. future
  412. General < "0.4.0"
  413. GT
  414. GuaCaml
  415. gamepad
  416. gammu < "0.9.4"
  417. gapi-ocaml < "0.3.6"
  418. gasoline
  419. gavl
  420. gd < "1.1"
  421. gdal < "0.10.0"
  422. gdb
  423. gdbprofiler < "0.2"
  424. gedcom
  425. gen < "0.5.1"
  426. gen-bs
  427. gen_js_api < "1.0.6"
  428. gen_server
  429. genet
  430. genlet
  431. genspio < "0.0.1"
  432. genspir < "1.0.0"
  433. gensqlite
  434. geoip
  435. getopt < "20230213"
  436. getopts
  437. gettext < "0.4.1"
  438. gg
  439. git-unix >= "3.0.0" & < "3.16.0"
  440. github < "3.0.0"
  441. github-hooks < "0.2.0"
  442. gles3
  443. glical >= "0.0.4"
  444. glicko2
  445. glMLite
  446. glpk
  447. glsurf
  448. gmap < "0.2.1"
  449. gnuplot < "0.5.3"
  450. goblint < "1.1.1"
  451. goblint-cil
  452. google-drive-ocamlfuse < "0.6.23"
  453. gospel >= "0.2.0"
  454. gperftools < "0.4"
  455. gpr < "1.3.0"
  456. gpx
  457. grain_dypgen
  458. grain_wasm_spec
  459. graphicspdf
  460. graphql_ppx < "0.7.1"
  461. grenier < "0.7"
  462. grib
  463. gsl < "1.20.0"
  464. gstreamer < "0.3.1"
  465. gtk-light
  466. gtktop
  467. gufo
  468. gxl-light
  469. h2-lwt-unix < "0.4.0"
  470. hachis
  471. hacl-star-raw
  472. hamt
  473. hardcaml < "v0.12.0"
  474. hardcaml-affirm
  475. hardcaml-bloop
  476. hardcaml-llvmsim >= "0.3.0"
  477. hardcaml-reedsolomon
  478. hardcaml-vpi >= "0.3.0"
  479. hardcaml-waveterm >= "0.2.0"
  480. hardcaml-yosys
  481. hashcons < "1.4.0"
  482. hashset
  483. haxe
  484. hdf
  485. hdf5 < "0.1.5"
  486. hdfs
  487. hector
  488. heptagon
  489. herdtools7 >= "7.55" & < "7.56.1"
  490. herelib
  491. hevea < "2.25"
  492. hex < "1.1.0"
  493. higher != "0.3.0"
  494. higlo < "0.8"
  495. hiredis < "0.8"
  496. hkdf < "1.0.3"
  497. hlarp
  498. hll
  499. hmap
  500. htmlit
  501. http2https
  502. http_router
  503. humane-re
  504. hvsock < "1.0.0"
  505. hydro
  506. ISO8601 < "0.2.6"
  507. i2c
  508. i3ipc < "0.1.4"
  509. ibx
  510. igvxml
  511. imagelib < "20200929"
  512. imagemagick
  513. imaplet-lwt
  514. incremental < "v0.9.0"
  515. incremental_kernel < "v0.9.0"
  516. indexmap
  517. inferno < "20190924"
  518. inotify < "2.4"
  519. inspect
  520. integers < "0.3.0"
  521. integration1d < "0.5"
  522. interval < "1.4"
  523. inuit < "0.4.1"
  524. io
  525. io-page < "2.0.0"
  526. io-page-unix < "2.0.0"
  527. io-page-xen < "2.0.0"
  528. iocaml
  529. iocaml-kernel
  530. iocamljs-kernel
  531. ipaddr < "2.8.0"
  532. ipv6-multicast < "0.9"
  533. irc-client >= "0.3.0" & < "0.6.0"
  534. iri < "0.6.0"
  535. irmin >= "0.9.6" & < "1.2.0"
  536. irmin-chunk < "1.3.0"
  537. irmin-git < "1.2.0"
  538. irmin-http < "1.2.0"
  539. irmin-mirage < "1.2.0"
  540. irmin-unix >= "1.0.0" & < "1.2.0"
  541. irmin-watcher < "0.3.0"
  542. irrlicht
  543. iso-filesystem
  544. itv-tree < "2.2"
  545. ivy
  546. JsOfOCairo < "1.0.1"
  547. jasmin
  548. javalib
  549. javascriptcore
  550. jbuilder >= "1.0+beta5" & < "1.0+beta19"
  551. jekyll-format < "0.2.0"
  552. jemalloc < "0.2"
  553. jenga >= "109.19.00" & < "v0.9.0"
  554. jhupllib < "0.2.2"
  555. jingoo < "1.3.0"
  556. jitsu
  557. joolog
  558. js-build-tools
  559. js_of_ocaml < "3.0"
  560. js_of_ocaml-compiler < "3.5.0"
  561. js_of_ocaml-ocamlbuild < "3.5.0"
  562. js_of_ocaml-toplevel
  563. json-pointer
  564. json-predicate
  565. json-rpc
  566. json-static
  567. json-wheel
  568. jsondiff
  569. jsonm
  570. jsoo_broadcastchannel < "2.0.0"
  571. jsoo_router
  572. jsoo_storage < "1.0.1"
  573. junit < "2.0"
  574. jupyter < "2.2.1"
  575. KaSim >= "4.0.0"
  576. kafka < "0.3"
  577. kaputt
  578. karamel
  579. ketrew
  580. key-parsers < "0.10.0"
  581. kinetic-client < "0.0.11"
  582. kremlin < "transition"
  583. lablgl >= "1.07"
  584. lablgtk
  585. lablgtk-extras
  586. lablgtk3 < "3.0.beta4" | >= "3.1.3"
  587. lablgtk3-extras < "3.0.1"
  588. lablqml
  589. labltk
  590. lacaml < "10.0.1"
  591. lacc
  592. ladspa < "0.2.0"
  593. lambda-term < "1.11"
  594. lambdapi < "2.0.0"
  595. lambdasoup < "0.6.2"
  596. lambdoc
  597. lame < "0.3.4"
  598. landmarks < "1.3"
  599. lascar < "0.6-alpha"
  600. lastfm < "0.3.3"
  601. launchd < "1.3"
  602. lazy-trie < "1.2.0"
  603. lbfgs < "0.9"
  604. learn-ocaml
  605. learn-ocaml-client
  606. ledit >= "2.06"
  607. lem
  608. lemonade
  609. lemonade-sqlite
  610. lens < "1.2.1"
  611. leveldb < "1.3.0"
  612. levenshtein < "1.1.3"
  613. libdash
  614. libevent
  615. libra-tk
  616. libres3
  617. libssh
  618. libsvm < "0.9.4"
  619. libudev
  620. libvhd
  621. libvirt
  622. lilis
  623. linenoise < "1.1.0"
  624. linkage
  625. links != "0.7.2"
  626. linksem
  627. lipsum
  628. liquidsoap < "2.2.0"
  629. litiom
  630. llvm >= "3.9" & < "15.0.7+nnp-2"
  631. llvmgraph
  632. lmdb < "1.0"
  633. lo < "0.2.0"
  634. loga < "0.0.5"
  635. logger-p5
  636. logs
  637. logs-syslog < "0.2.0"
  638. logtk < "1.5.1"
  639. lpd < "1.2.2"
  640. lpi
  641. lru < "0.3.0"
  642. lru-cache
  643. lua-ml >= "0.9.1" & < "0.9.3"
  644. lua_pattern
  645. lustre-v6
  646. lutils
  647. lutin
  648. lwt
  649. lwt-parallel < "1.0.0"
  650. lwt-zmq
  651. lwt_glib < "1.1.0"
  652. lwt_named_threads
  653. lymp
  654. lz4 < "1.2.0"
  655. lzo < "0.0.3"
  656. m17n
  657. macaque
  658. macaque_lwt
  659. macaroons
  660. mad < "0.5.0"
  661. magic
  662. magic-mime < "1.1.0"
  663. maildir
  664. maki
  665. malfunction
  666. mariadb
  667. markup < "0.7.6"
  668. mascot
  669. maxminddb
  670. mbr-format < "1.0.0"
  671. mdx >= "1.2.0"
  672. mecab
  673. mechaml < "1.1.0"
  674. memcpy
  675. menhir < "20200123"
  676. mergeable-vector
  677. merlin < "3.4.0"
  678. merlin-extend < "0.4"
  679. merlin-of-pds
  680. mesh < "0.9.3"
  681. mesh-display
  682. mesh-easymesh < "0.9.3"
  683. mesh-graphics < "0.9.3"
  684. mesh-triangle < "0.9.3"
  685. message-switch
  686. meta_conv
  687. metapp
  688. metaquot
  689. mezzo
  690. mikmatch
  691. milter < "1.0.4"
  692. mindstorm < "0.8"
  693. minicli < "5.0.0"
  694. minima-theme
  695. minisat < "0.2"
  696. minivpt
  697. mirage < "0.9.1" | >= "3.0.0" & < "3.1.0"
  698. mirage-block < "1.2.0"
  699. mirage-block-ccm < "1.1.0"
  700. mirage-block-lwt < "1.2.0"
  701. mirage-block-ramdisk < "0.4"
  702. mirage-block-solo5 < "0.6.0"
  703. mirage-block-unix < "2.8.3"
  704. mirage-block-xen < "1.6.0"
  705. mirage-bootvar-solo5 >= "0.2.0" & < "0.6.0"
  706. mirage-bootvar-xen = "0.4.0"
  707. mirage-btrees
  708. mirage-channel < "3.1.0"
  709. mirage-channel-lwt < "3.1.0"
  710. mirage-clock < "1.3.0"
  711. mirage-clock-freestanding < "1.3.0"
  712. mirage-clock-lwt < "1.3.0"
  713. mirage-clock-unix < "1.3.0"
  714. mirage-clock-xen
  715. mirage-console < "2.3.2"
  716. mirage-console-lwt < "2.3.2"
  717. mirage-console-solo5 < "0.6.0"
  718. mirage-console-unix < "2.3.2"
  719. mirage-console-xen != "2.3.2" & < "2.3.4"
  720. mirage-console-xen-backend != "2.3.2" & < "2.3.4"
  721. mirage-console-xen-cli
  722. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
  723. mirage-device < "1.1.0"
  724. mirage-dns < "3.0.0"
  725. mirage-entropy < "0.5.1"
  726. mirage-entropy-unix
  727. mirage-entropy-xen
  728. mirage-flow < "1.3.0"
  729. mirage-flow-lwt < "1.3.0"
  730. mirage-flow-unix < "1.3.0"
  731. mirage-fs < "0.4.0" | = "1.0.0"
  732. mirage-fs-lwt < "1.1.1"
  733. mirage-fs-unix < "1.4.0"
  734. mirage-http < "3.2.0"
  735. mirage-http-unix
  736. mirage-http-xen
  737. mirage-kv < "1.1.1"
  738. mirage-kv-lwt < "1.1.0"
  739. mirage-logs < "1.0.0"
  740. mirage-net < "0.9.1" | = "1.0.0"
  741. mirage-net-direct
  742. mirage-net-fd < "0.2.1"
  743. mirage-net-lwt < "1.1.0"
  744. mirage-net-macosx < "1.5.0"
  745. mirage-net-socket
  746. mirage-net-solo5 < "0.4.3"
  747. mirage-net-unix < "2.4.1"
  748. mirage-net-xen < "1.7.1"
  749. mirage-os-shim
  750. mirage-profile < "0.8.1"
  751. mirage-profile-unix < "0.8.1"
  752. mirage-profile-xen < "0.8.1"
  753. mirage-protocols < "1.2.0"
  754. mirage-protocols-lwt < "1.2.0"
  755. mirage-qubes != "0.5" & < "0.7.0"
  756. mirage-qubes-ipv4 = "0.6"
  757. mirage-random < "1.1.0"
  758. mirage-runtime < "3.0.5"
  759. mirage-solo5 < "0.6.2"
  760. mirage-stack < "1.1.0"
  761. mirage-stack-lwt < "1.1.0"
  762. mirage-tcpip-unix
  763. mirage-tcpip-xen
  764. mirage-time < "1.1.0"
  765. mirage-time-lwt < "1.1.0"
  766. mirage-types < "3.0.5"
  767. mirage-types-lwt < "3.0.5"
  768. mirage-unix < "3.2.0"
  769. mirage-vnetif = "0.3.1"
  770. mirage-www < "1.0.0"
  771. mirage-xen < "3.2.0"
  772. mirage-xen-ocaml >= "2.3.1"
  773. mirari
  774. mirror
  775. missinglib
  776. misuja
  777. mixture
  778. mkaudio < "1.1.0"
  779. ml2mxml
  780. mlbdd < "0.7.2"
  781. mlcuddidl
  782. mld
  783. mlgmp
  784. mlgmpidl
  785. mlmpfr < "4.0.2+dune"
  786. mlpost
  787. mm < "0.7.0"
  788. mmseg < "transition"
  789. modelica_ml
  790. monadlib
  791. mongo
  792. monomorphic < "1.3"
  793. mopsa
  794. more-ocaml
  795. mosquitto
  796. mparser < "1.3"
  797. mpi
  798. mpp < "0.3.4"
  799. mpris = "0.1.1"
  800. mqtt < "0.2.2"
  801. mqtt_client
  802. mrt-format
  803. msat < "0.8"
  804. msgpack
  805. msgpck < "1.3"
  806. mstruct < "1.3.3"
  807. mtime
  808. mtl
  809. multipart-form-data < "0.2.0"
  810. murmur3 < "0.3"
  811. mustache < "3.0.2"
  812. mvar
  813. mybuild < "7"
  814. mysql
  815. mysql_protocol < "3.0.1"
  816. named-pipe
  817. namespaces
  818. nanomsg
  819. nbd != "2.2.0" & < "4.0.3"
  820. nebula
  821. netamqp
  822. netlink < "0.3.4"
  823. netml
  824. nlopt-ocaml < "transition"
  825. nlp
  826. noCanren < "0.3.0~alpha1"
  827. nocrypto
  828. nonstd
  829. nosetup
  830. not-ocamlfind
  831. note
  832. notty < "0.2.3"
  833. nproc
  834. npy < "0.0.8"
  835. num >= "1.0" & < "1.5"
  836. nunchaku < "0.5.1"
  837. OCanren
  838. oasis
  839. oasis-mirage
  840. oasis2debian
  841. oasis2opam
  842. obandit
  843. obeanstalk
  844. obelisk < "0.5.0"
  845. obigstore
  846. objsize
  847. obrowser
  848. obuild >= "0.1.11"
  849. obus < "1.2.0"
  850. ocal < "0.2.2"
  851. ocaml-arg
  852. ocaml-basics < "0.5.0"
  853. ocaml-buddy
  854. ocaml-data-notation
  855. ocaml-expat
  856. ocaml-freestanding
  857. ocaml-freestanding-cross-aarch64
  858. ocaml-gist
  859. ocaml-http
  860. ocaml-indent
  861. ocaml-inifiles
  862. ocaml-js-stdlib
  863. ocaml-lsp-server < "1.6.0"
  864. ocaml-lua < "1.8"
  865. ocaml-markdown < "transition"
  866. ocaml-migrate-parsetree < "1.1.0"
  867. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  868. ocaml-monadic < "0.4.0"
  869. ocaml-protoc < "2.0.1"
  870. ocaml-protoc-yojson
  871. ocaml-r < "0.1.0"
  872. ocaml-sat-solvers
  873. ocaml-solo5
  874. ocaml-solo5-cross-aarch64
  875. ocaml-systemd < "1.3"
  876. ocaml-topexpect
  877. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
  878. ocaml-webworker
  879. ocaml-xdg-basedir < "transition"
  880. ocaml-xml-rpc
  881. ocaml-zmq
  882. ocaml9p
  883. ocaml_at_p
  884. ocaml_plugin >= "109.32.00" & < "v0.9.0"
  885. ocamlbrowser
  886. ocamlbuild >= "0.15.0"
  887. ocamlbuild-atdgen
  888. ocamlbuild-pkg
  889. ocamlbuild-protoc
  890. ocamlclean < "2.1"
  891. ocamldap < "transition"
  892. ocamldbi
  893. ocamldiff < "1.2"
  894. ocamldot
  895. ocamleditor
  896. ocamlfind-lint
  897. ocamlfind-secondary >= "1.9.6"
  898. ocamlfuse < "2.7.1-cvs6"
  899. ocamlgraph < "2.0.0"
  900. ocamlify
  901. ocamllint
  902. ocamlmod
  903. ocamlnet
  904. ocamlpp < "1.1"
  905. ocamlrss
  906. ocamlscript
  907. ocamlsdl
  908. ocamlsdl2
  909. ocamlsdl2-image
  910. ocamlsdl2-ttf
  911. ocamltter
  912. ocamlyices
  913. ocb-stubblr
  914. ocephes
  915. ocf < "0.8.0"
  916. oci
  917. oclaunch
  918. oclock
  919. ocp-build != "1.99.17-beta"
  920. ocp-indent >= "1.7.0"
  921. ocp-index-top
  922. ocp-ocamlres
  923. ocp-reloc
  924. ocplib-concur
  925. ocplib-endian < "1.1"
  926. ocplib-json-typed < "0.7"
  927. ocplib-resto
  928. ocplib-simplex != "0.5"
  929. ocs
  930. ocsfml
  931. ocsigen-i18n < "4.0.0"
  932. ocsigenserver
  933. octavius < "1.2.1"
  934. ocurl
  935. ocveralls
  936. odate < "0.6"
  937. odbc
  938. odds < "1.1"
  939. odep
  940. odepack < "0.6.9"
  941. odiff-gtk
  942. odig
  943. odisco
  944. odoc != "1.3.0"
  945. ofx
  946. ogen
  947. ogg != "0.6.0" & < "0.7.0"
  948. ojquery
  949. ojs-base
  950. ojwidgets
  951. olinq < "0.3"
  952. ollvm
  953. ollvm-tapir
  954. olmi
  955. oloop
  956. omake
  957. omd < "1.3.2"
  958. oml
  959. omod
  960. omonad
  961. oni
  962. oolc
  963. opa-base
  964. opal
  965. opam-build-revdeps
  966. opam-bundle
  967. opam-core < "2.0.0~beta5"
  968. opam-depext >= "1.2.1"
  969. opam-doc
  970. opam-dune-lint < "0.2"
  971. opam-ed < "0.4"
  972. opam-lib
  973. opam-publish != "0.3.0+transition" & < "2.0.0~beta"
  974. opam-query
  975. opam-sync-github-prs
  976. opam2web >= "1.3.0" & < "2.0"
  977. opamfind
  978. opamfu
  979. opass
  980. opasswd < "1.3.1"
  981. opencc < "transition"
  982. openflow
  983. operf-macro
  984. opium < "0.16.0"
  985. oplay
  986. optcomp
  987. optimization1d < "0.6"
  988. opus < "0.2.0"
  989. orakuda
  990. ordma < "0.0.5"
  991. orm
  992. orocksdb
  993. osbx < "1.2.1"
  994. osc = "0.1.4"
  995. osdp
  996. oseq < "0.2"
  997. ospec
  998. ostap
  999. osx-acl
  1000. osx-attr
  1001. osx-cf
  1002. osx-fsevents
  1003. osx-membership
  1004. osx-mount
  1005. osx-plutil
  1006. osx-secure-transport < "0.1.1"
  1007. osx-xattr
  1008. otfm
  1009. oth
  1010. otr < "0.3.6"
  1011. ott >= "0.32"
  1012. otto
  1013. ounit != "2.1.2"
  1014. ounit-lwt >= "2.2.0"
  1015. owebl
  1016. owee < "0.3"
  1017. owl < "0.3.0"
  1018. ox
  1019. oxylc
  1020. pa_bench
  1021. pa_bin_prot
  1022. pa_comprehension
  1023. pa_do
  1024. pa_fields_conv
  1025. pa_monad_custom
  1026. pa_ounit
  1027. pa_ovisitor
  1028. pa_qualified
  1029. pa_sexp_conv
  1030. pa_solution
  1031. pa_structural_sexp
  1032. pa_test
  1033. pa_typerep_conv
  1034. pa_variants_conv
  1035. pa_where
  1036. packet
  1037. papi < "0.1.1"
  1038. parany < "5.0.0"
  1039. pareto
  1040. parmap < "1.1.1"
  1041. parse-argv < "0.1.0"
  1042. patdiff >= "113.24.00" & < "v0.9.0"
  1043. patience_diff < "v0.9.0"
  1044. patoline
  1045. pbkdf < "0.3.0"
  1046. pbs
  1047. pcap-format < "0.5.1"
  1048. pcf-format
  1049. pci
  1050. pci-db
  1051. pcre < "7.3.0"
  1052. pds
  1053. pds-reachability < "0.2.3"
  1054. perf
  1055. pfff < "0.37.1" | >= "0.37.6"
  1056. pgocaml < "4.0"
  1057. pgsolver
  1058. phox
  1059. pilat
  1060. pipebang
  1061. piqi < "0.7.8"
  1062. piqilib < "0.6.16"
  1063. pkcs11 < "0.18.0"
  1064. pla < "1.2"
  1065. planck
  1066. plasma
  1067. plist
  1068. plotkicadsch < "0.2.0"
  1069. plplot < "5.11.0-1"
  1070. podge
  1071. polka
  1072. polyglot
  1073. pomap < "4.0.0"
  1074. portaudio < "0.2.2"
  1075. portia
  1076. posix-clock
  1077. posix-getopt < "2.0.0"
  1078. posix-math
  1079. posix-mqueue
  1080. posix-semaphore
  1081. posix-time
  1082. posix-types < "2.0.0"
  1083. postgresql < "4.1.0"
  1084. pprint < "20200226"
  1085. ppx_assert < "v0.9.0"
  1086. ppx_bench < "v0.9.0"
  1087. ppx_bigarray < "3.0.0"
  1088. ppx_bin_prot < "v0.9.0"
  1089. ppx_bitstring < "2.0.0"
  1090. ppx_blob < "0.3.0"
  1091. ppx_compare < "v0.9.0"
  1092. ppx_const < "2.0"
  1093. ppx_conv_func < "v0.9.0"
  1094. ppx_core < "v0.9.0"
  1095. ppx_cstubs
  1096. ppx_csv_conv < "v0.9.0"
  1097. ppx_curried_constr
  1098. ppx_custom_printf < "v0.9.0"
  1099. ppx_debugger
  1100. ppx_defer < "0.3.0"
  1101. ppx_deriving < "4.3" | >= "5.0"
  1102. ppx_deriving_argparse
  1103. ppx_deriving_cmdliner < "0.6.0"
  1104. ppx_deriving_crowbar
  1105. ppx_deriving_encoding >= "0.2.3" & < "0.4.0"
  1106. ppx_deriving_hardcaml < "v0.12.0"
  1107. ppx_deriving_madcast < "0.2"
  1108. ppx_deriving_morphism
  1109. ppx_deriving_protobuf < "2.7"
  1110. ppx_deriving_yojson >= "2.0" & < "3.3"
  1111. ppx_distr_guards < "0.2"
  1112. ppx_dotbracket
  1113. ppx_driver < "v0.9.0"
  1114. ppx_enumerate < "v0.9.0"
  1115. ppx_expect < "v0.9.0"
  1116. ppx_fail < "v0.9.0"
  1117. ppx_fields_conv < "v0.9.0"
  1118. ppx_fun < "0.0.9"
  1119. ppx_hardcaml < "1.3.0"
  1120. ppx_here < "v0.9.0"
  1121. ppx_implicits
  1122. ppx_import < "1.5-3-gbd627d5"
  1123. ppx_include
  1124. ppx_inline_test < "v0.9.0"
  1125. ppx_jane < "v0.9.0"
  1126. ppx_jsobject_conv < "0.5.1"
  1127. ppx_json_types
  1128. ppx_let < "v0.9.0"
  1129. ppx_measure
  1130. ppx_meta_conv < "4.0.0"
  1131. ppx_monadic < "2.3.0"
  1132. ppx_monoid < "0.3.2"
  1133. ppx_netblob
  1134. ppx_optcomp < "v0.9.0"
  1135. ppx_orakuda < "3.3.0"
  1136. ppx_overload = "1.0.1"
  1137. ppx_pattern_guard
  1138. ppx_pipebang < "v0.9.0"
  1139. ppx_poly_record < "1.3.0"
  1140. ppx_relit
  1141. ppx_sexp
  1142. ppx_sexp_conv < "v0.9.0"
  1143. ppx_sexp_message < "v0.9.0"
  1144. ppx_sexp_value < "v0.9.0"
  1145. ppx_test < "1.7.0"
  1146. ppx_tools < "6.0+4.08.0"
  1147. ppx_tools_versioned < "5.2"
  1148. ppx_type_conv < "v0.9.0"
  1149. ppx_typerep_conv < "v0.9.0"
  1150. ppx_variants_conv < "v0.9.0"
  1151. ppx_where
  1152. ppx_xml_conv < "v0.9.0"
  1153. ppxfind
  1154. ppxlib >= "0.4.0"
  1155. ppxx < "2.4.0"
  1156. primes
  1157. pringo
  1158. printbox < "0.2"
  1159. prob-cache
  1160. process
  1161. procord
  1162. prof_spacetime < "0.2.0"
  1163. profound
  1164. proj4
  1165. promela
  1166. prometheus < "0.3"
  1167. prometheus-app < "0.3"
  1168. protobuf
  1169. protocol-9p < "0.11.1"
  1170. protocol-9p-tool < "0.11.2"
  1171. protocol-9p-unix < "0.11.2"
  1172. proverif
  1173. psmt2-frontend < "0.3.0"
  1174. psq < "0.1.1"
  1175. psyche
  1176. ptime
  1177. ptmap < "2.0.5"
  1178. ptset < "1.0.1"
  1179. publish < "0.3.4+transition"
  1180. pulseaudio < "0.1.4"
  1181. pumping
  1182. pvem
  1183. pvem_lwt_unix
  1184. pxp
  1185. py < "1.1"
  1186. pyml
  1187. qbf < "0.3"
  1188. qcheck < "0.8"
  1189. qcow < "0.10.2"
  1190. qcow-format
  1191. qcow-tool < "0.11.0"
  1192. qcstm
  1193. qfs
  1194. qmp < "0.19.0"
  1195. qocamlbrowser >= "0.2.9"
  1196. qrc
  1197. qrencode < "0.2"
  1198. qtest < "2.9"
  1199. quickcheck
  1200. r2pipe
  1201. radare2 < "0.0.3"
  1202. randomconv < "0.1.1"
  1203. ranger
  1204. rashell
  1205. raw_spacetime
  1206. rawlink < "1.0"
  1207. raygun4ocaml
  1208. rdbg
  1209. rdf < "0.13.0"
  1210. rdr
  1211. re < "1.7.2"
  1212. re2 >= "113.24.00" & < "v0.9.0"
  1213. react
  1214. reactiveData < "0.3.0"
  1215. reason != "3.5.0"
  1216. reason-parser
  1217. records < "1.0.0"
  1218. redis < "0.3.4"
  1219. reedsolomon < "0.3"
  1220. regstab
  1221. reins
  1222. release
  1223. relit-reason < "0.0.2"
  1224. res < "5.0.0"
  1225. resource-pooling < "1.1"
  1226. revops
  1227. rfc6287 < "1.0.4"
  1228. rfsm < "1.6-alpha-3"
  1229. riak
  1230. riak-pb
  1231. riakc
  1232. riakc_ppx
  1233. river < "0.2"
  1234. rlp
  1235. rml >= "1.09.00" & < "1.09.03"
  1236. root1d < "0.5.1"
  1237. rope < "0.6"
  1238. rotor
  1239. rpc < "5.9.0"
  1240. rpc_parallel < "v0.9.0"
  1241. rresult
  1242. rtime
  1243. rubytt
  1244. runtime_events_tools < "0.5.1"
  1245. Snowflake
  1246. safa
  1247. safepass < "3.0"
  1248. sail < "0.15"
  1249. salsa20 < "1.0.0"
  1250. salsa20-core < "1.0.0"
  1251. samplerate < "0.1.5"
  1252. sanlock
  1253. sattools
  1254. sawja
  1255. schoca
  1256. schroedinger
  1257. scid
  1258. scrypt
  1259. scrypt-kdf < "1.0.0"
  1260. secp256k1 < "0.2.5"
  1261. sedlex < "2.0"
  1262. semver < "0.2.1"
  1263. sendmsg
  1264. seq < "0.2"
  1265. sequence < "1.0"
  1266. sequoia
  1267. session < "0.4.0"
  1268. sessions
  1269. setr
  1270. sexplib < "v0.9.0"
  1271. sfml
  1272. sgf < "1.0.1"
  1273. sha < "1.12"
  1274. shared-block-ring < "3.0.0"
  1275. shared-memory-ring < "3.0.1"
  1276. shared-memory-ring-lwt < "3.1.0"
  1277. shared-secret < "0.4"
  1278. shcaml
  1279. shine < "0.2.2"
  1280. should
  1281. sibylfs
  1282. sibylfs-lem
  1283. sid
  1284. sill
  1285. simple-bmc
  1286. simple-diff
  1287. simple_pam
  1288. skkserv-lite
  1289. slack-backup
  1290. slacko < "0.14.1"
  1291. slap
  1292. smart-print < "0.3.0"
  1293. smbc < "0.4.2"
  1294. smtp
  1295. snabela
  1296. snappy < "0.1.2"
  1297. socketcan
  1298. sodium
  1299. solvuu-build
  1300. solvuu_build
  1301. sonet
  1302. sosa
  1303. soundtouch < "0.1.9"
  1304. spacetime_lib < "0.3.0"
  1305. sparrow
  1306. spatial_index
  1307. speex < "0.4.0"
  1308. spelll < "0.3"
  1309. spf < "2.0.2"
  1310. sphinxcontrib-ocaml < "0.3.0"
  1311. spirv
  1312. spotinstall
  1313. spotlib < "4.1.0"
  1314. spotlib_js
  1315. spreadsheet
  1316. sqlexpr < "0.9.0"
  1317. sqlgg < "20200521"
  1318. sqlite3 < "4.2.0"
  1319. sqlite3EZ
  1320. srs < "2.0.0"
  1321. srt >= "0.2.0"
  1322. ssl < "0.5.6"
  1323. starterkit
  1324. stationary
  1325. statmemprof-emacs
  1326. statsd-client
  1327. statverif
  1328. stb_image
  1329. stb_image_write
  1330. stb_truetype
  1331. stdcompat < "5"
  1332. stdint < "0.5.1"
  1333. stemmer
  1334. stemming
  1335. stog < "0.20.0"
  1336. stone
  1337. stringCodepointSplitter
  1338. stringext < "1.5.0"
  1339. sturgeon < "0.4.2"
  1340. subtype-refinement < "0.2"
  1341. sundialsml
  1342. swdogen
  1343. symkat
  1344. syndic < "1.6.0"
  1345. syslog < "2.0.0"
  1346. syslog-message < "1.0.0"
  1347. systemverilog < "0.0.2"
  1348. TCSLib
  1349. taglib < "0.3.7"
  1350. taglog
  1351. tallgeese
  1352. tar < "0.9.0"
  1353. tar-format
  1354. tar-mirage < "0.9.0"
  1355. tar-unix < "0.9.0"
  1356. tcpip < "3.2.0"
  1357. tcx
  1358. tdk
  1359. telegraml < "2.2.0"
  1360. tensorflow
  1361. termbox
  1362. terminal_size < "0.1.4"
  1363. testrunner
  1364. testsimple
  1365. text
  1366. textutils >= "113.24.00" & < "v0.9.0"
  1367. textwrap < "0.2.1"
  1368. tftp
  1369. tgls
  1370. themoviedb
  1371. theora < "0.4.0"
  1372. thrift < "0.10.0"
  1373. tidy < "5-0.2"
  1374. timed < "1.1"
  1375. tiny_json < "1.1.6"
  1376. tiny_json_conv
  1377. tip-parser < "0.4"
  1378. tjr_simple_earley
  1379. tls < "0.11.0"
  1380. tlstunnel
  1381. toml < "5.0.0"
  1382. tophide
  1383. topkg
  1384. topkg-care
  1385. toplevel_backend
  1386. toplevel_expect_test
  1387. topology
  1388. touist < "3.5.0"
  1389. tplib
  1390. tptp
  1391. trakeva
  1392. transmission-rpc
  1393. travis-senv
  1394. tree_layout < "0.2"
  1395. treeprint < "2.2.0"
  1396. trie < "1.0.0"
  1397. tryocaml
  1398. tsdl
  1399. ttweetnacl
  1400. tuntap < "1.5.0"
  1401. type-beat
  1402. type_conv
  1403. typehashlib
  1404. typerep < "v0.9.0"
  1405. typerep_extended < "v0.9.0"
  1406. typerex-binutils
  1407. typerex-build
  1408. typerex-clibs
  1409. typerex-system
  1410. typpx < "1.4.3"
  1411. tyre < "0.4"
  1412. tyxml < "4.3.0"
  1413. ubpf < "0.2"
  1414. ucorelib
  1415. udunits
  1416. uint < "2.0.1"
  1417. ulex
  1418. ulex-camlp5
  1419. unison-gui
  1420. unix-dirent
  1421. unix-errno < "0.6.0"
  1422. unix-fcntl
  1423. unix-sys-resource
  1424. unix-sys-stat
  1425. unix-time
  1426. unix-type-representations
  1427. unix-unistd
  1428. unmagic < "1.0.4"
  1429. uri < "1.9.6"
  1430. usb
  1431. usbmux
  1432. user-setup
  1433. utop >= "1.18.1"
  1434. utp
  1435. uucd
  1436. uucp
  1437. uuidm
  1438. uunf
  1439. uuseg
  1440. uutf
  1441. uuuu >= "0.2.0"
  1442. uwt
  1443. valentine
  1444. variantslib < "v0.9.0"
  1445. vchan < "4.0.0"
  1446. vchan-unix < "4.0.0"
  1447. vchan-xen < "4.0.0"
  1448. vector3 < "1.0.0"
  1449. vg
  1450. vhd-format < "0.9.1"
  1451. vhd-tool
  1452. vhdlib
  1453. visitors < "20200207"
  1454. vlt
  1455. vmnet < "1.3.0"
  1456. voaacenc
  1457. volt
  1458. vorbis < "0.8.0"
  1459. vpnkit < "0.1.1"
  1460. vrt
  1461. vscoq-language-server
  1462. wamp < "1.2"
  1463. wasm
  1464. wcs-lib < "2017-05-26.02"
  1465. wdialog
  1466. webbrowser
  1467. webdav
  1468. weberizer < "0.7.8"
  1469. webidl
  1470. webmachine < "0.5.0"
  1471. websocketml
  1472. webtest < "2.0.0"
  1473. why3 >= "1.0.0"
  1474. why3-base
  1475. why3-coq
  1476. why3-ide
  1477. win-error < "0.3"
  1478. win-eventlog < "0.2"
  1479. wiringpi
  1480. wxOCaml
  1481. x509 < "0.6.3"
  1482. xapi-backtrace < "0.5"
  1483. xapi-forkexecd
  1484. xapi-idl
  1485. xapi-inventory < "1.2.3"
  1486. xapi-libs-transitional
  1487. xapi-rrd < "1.8.2"
  1488. xapi-rrdd
  1489. xapi-stdext
  1490. xapi-tapctl
  1491. xe
  1492. xe-unikernel-upload
  1493. xen-api-client
  1494. xen-block-driver
  1495. xen-disk
  1496. xen-evtchn < "2.1.0"
  1497. xen-evtchn-unix < "2.1.0"
  1498. xen-gnt >= "2.2.0" & < "3.0.1"
  1499. xen-gnt-unix < "3.0.1"
  1500. xenbigarray
  1501. xenctrl
  1502. xenstore < "2.0.0"
  1503. xenstore_transport < "1.1.0"
  1504. xentropyd
  1505. xml-light < "2.5"
  1506. xmldiff < "0.7.0"
  1507. xmlm
  1508. xmlplaylist < "0.1.5"
  1509. xstr
  1510. xstrp4
  1511. xtmpl < "0.19.0"
  1512. yajl
  1513. yajl-extra
  1514. yices2
  1515. yices2_bindings
  1516. yojson < "1.4.0"
  1517. yurt < "0.6"
  1518. z3
  1519. zarith
  1520. zarith-freestanding
  1521. zarith-xen
  1522. zed < "1.5"
  1523. zero >= "109.19.00" & < "109.28.00"
  1524. zipc
  1525. zipperposition < "1.5.1"
  1526. zlib < "0.6"
  1527. zlist < "0.4.0"
  1528. zmq < "5.0.0"
  1529. zstd < "0.3"
  1530. zxcvbn < "2.3+2"

Conflicts

None

OCaml

Innovation. Community. Security.