package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

projects.camlcity.org Edit opam file Versions (26)

Authors

  1. G
    Gerd Stolpmann <gerd@gerd-stolpmann.de>

Maintainers

  1. T
    Thomas Gazagnaire <thomas@gazagnaire.org>

Sources

findlib-1.7.2.tar.gz
sha256=48e571d35390082d8d8a0611ae3b4e00cfcc4bf7c487b9af99302ceec1b58980
md5=b2ced422ea53192bd046faa7bcbcd4a3

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: 23 May 2017

Dependencies (3)

  1. num = "0"
  2. conf-m4 build
  3. ocaml >= "3.12.0" & < "4.07"

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

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct