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.9.3.tar.gz
md5=24047dd8a0da5322253de9b7aa254e42
sha512=27cc4ce141576bf477fb9d61a82ad65f55478740eed59fb43f43edb794140829fd2ff89ad27d8a890cfc336b54c073a06de05b31100fc7c01cacbd7d88e928ea

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: 25 Jan 2022

Dependencies (1)

  1. ocaml >= "4.00.0" & < "5.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. hacl-star-raw
  471. hamt
  472. hardcaml < "v0.12.0"
  473. hardcaml-affirm
  474. hardcaml-bloop
  475. hardcaml-llvmsim >= "0.3.0"
  476. hardcaml-reedsolomon
  477. hardcaml-vpi >= "0.3.0"
  478. hardcaml-waveterm >= "0.2.0"
  479. hardcaml-yosys
  480. hashcons < "1.4.0"
  481. hashset
  482. haxe
  483. hdf
  484. hdf5 < "0.1.5"
  485. hdfs
  486. hector
  487. heptagon
  488. herdtools7 >= "7.55" & < "7.56.1"
  489. herelib
  490. hevea < "2.25"
  491. hex < "1.1.0"
  492. higher != "0.3.0"
  493. higlo < "0.8"
  494. hiredis < "0.8"
  495. hkdf < "1.0.3"
  496. hlarp
  497. hll
  498. hmap
  499. htmlit
  500. http2https
  501. http_router
  502. humane-re
  503. hvsock < "1.0.0"
  504. hydro
  505. ISO8601 < "0.2.6"
  506. i2c
  507. i3ipc < "0.1.4"
  508. ibx
  509. igvxml
  510. imagelib < "20200929"
  511. imagemagick
  512. imaplet-lwt
  513. incremental < "v0.9.0"
  514. incremental_kernel < "v0.9.0"
  515. indexmap
  516. inferno < "20190924"
  517. inotify < "2.4"
  518. inspect
  519. integers < "0.3.0"
  520. integration1d < "0.5"
  521. interval < "1.4"
  522. inuit < "0.4.1"
  523. io
  524. io-page < "2.0.0"
  525. io-page-unix < "2.0.0"
  526. io-page-xen < "2.0.0"
  527. iocaml
  528. iocaml-kernel
  529. iocamljs-kernel
  530. ipaddr < "2.8.0"
  531. ipv6-multicast < "0.9"
  532. irc-client >= "0.3.0" & < "0.6.0"
  533. iri < "0.6.0"
  534. irmin >= "0.9.6" & < "1.2.0"
  535. irmin-chunk < "1.3.0"
  536. irmin-git < "1.2.0"
  537. irmin-http < "1.2.0"
  538. irmin-mirage < "1.2.0"
  539. irmin-unix >= "1.0.0" & < "1.2.0"
  540. irmin-watcher < "0.3.0"
  541. irrlicht
  542. iso-filesystem
  543. itv-tree < "2.2"
  544. ivy
  545. JsOfOCairo < "1.0.1"
  546. jasmin
  547. javalib
  548. javascriptcore
  549. jbuilder >= "1.0+beta5" & < "1.0+beta19"
  550. jekyll-format < "0.2.0"
  551. jemalloc < "0.2"
  552. jenga >= "109.19.00" & < "v0.9.0"
  553. jhupllib < "0.2.2"
  554. jingoo < "1.3.0"
  555. jitsu
  556. joolog
  557. js-build-tools
  558. js_of_ocaml < "3.0"
  559. js_of_ocaml-compiler < "3.5.0"
  560. js_of_ocaml-ocamlbuild < "3.5.0"
  561. js_of_ocaml-toplevel
  562. json-pointer
  563. json-predicate
  564. json-rpc
  565. json-static
  566. json-wheel
  567. jsondiff
  568. jsonm
  569. jsoo_broadcastchannel < "2.0.0"
  570. jsoo_router
  571. jsoo_storage < "1.0.1"
  572. junit < "2.0"
  573. jupyter < "2.2.1"
  574. KaSim >= "4.0.0"
  575. kafka < "0.3"
  576. kaputt
  577. karamel
  578. ketrew
  579. key-parsers < "0.10.0"
  580. kinetic-client < "0.0.11"
  581. kremlin < "transition"
  582. lablgl >= "1.07"
  583. lablgtk
  584. lablgtk-extras
  585. lablgtk3 < "3.0.beta4" | >= "3.1.3"
  586. lablgtk3-extras < "3.0.1"
  587. lablqml
  588. labltk
  589. lacaml < "10.0.1"
  590. lacc
  591. ladspa < "0.2.0"
  592. lambda-term < "1.11"
  593. lambdapi < "2.0.0"
  594. lambdasoup < "0.6.2"
  595. lambdoc
  596. lame < "0.3.4"
  597. landmarks < "1.3"
  598. lascar < "0.6-alpha"
  599. lastfm < "0.3.3"
  600. launchd < "1.3"
  601. lazy-trie < "1.2.0"
  602. lbfgs < "0.9"
  603. learn-ocaml
  604. learn-ocaml-client
  605. ledit >= "2.06"
  606. lem
  607. lemonade
  608. lemonade-sqlite
  609. lens < "1.2.1"
  610. leveldb < "1.3.0"
  611. levenshtein < "1.1.3"
  612. libdash
  613. libevent
  614. libra-tk
  615. libres3
  616. libssh
  617. libsvm < "0.9.4"
  618. libudev
  619. libvhd
  620. libvirt
  621. lilis
  622. linenoise < "1.1.0"
  623. linkage
  624. links != "0.7.2"
  625. linksem
  626. lipsum
  627. liquidsoap < "2.2.0"
  628. litiom
  629. llvm >= "3.9" & < "15.0.7+nnp-2"
  630. llvmgraph
  631. lmdb < "1.0"
  632. lo < "0.2.0"
  633. loga < "0.0.5"
  634. logger-p5
  635. logs
  636. logs-syslog < "0.2.0"
  637. logtk < "1.5.1"
  638. lpd < "1.2.2"
  639. lpi
  640. lru < "0.3.0"
  641. lru-cache
  642. lua-ml >= "0.9.1" & < "0.9.3"
  643. lua_pattern
  644. lustre-v6
  645. lutils
  646. lutin
  647. lwt
  648. lwt-parallel < "1.0.0"
  649. lwt-zmq
  650. lwt_glib < "1.1.0"
  651. lwt_named_threads
  652. lymp
  653. lz4 < "1.2.0"
  654. lzo < "0.0.3"
  655. m17n
  656. macaque
  657. macaque_lwt
  658. macaroons
  659. mad < "0.5.0"
  660. magic
  661. magic-mime < "1.1.0"
  662. maildir
  663. maki
  664. malfunction
  665. mariadb
  666. markup < "0.7.6"
  667. mascot
  668. maxminddb
  669. mbr-format < "1.0.0"
  670. mdx >= "1.2.0"
  671. mecab
  672. mechaml < "1.1.0"
  673. memcpy
  674. menhir < "20200123"
  675. mergeable-vector
  676. merlin < "3.4.0"
  677. merlin-extend < "0.4"
  678. merlin-of-pds
  679. mesh < "0.9.3"
  680. mesh-display
  681. mesh-easymesh < "0.9.3"
  682. mesh-graphics < "0.9.3"
  683. mesh-triangle < "0.9.3"
  684. message-switch
  685. meta_conv
  686. metapp
  687. metaquot
  688. mezzo
  689. mikmatch
  690. milter < "1.0.4"
  691. mindstorm < "0.8"
  692. minicli < "5.0.0"
  693. minima-theme
  694. minisat < "0.2"
  695. minivpt
  696. mirage < "0.9.1" | >= "3.0.0" & < "3.1.0"
  697. mirage-block < "1.2.0"
  698. mirage-block-ccm < "1.1.0"
  699. mirage-block-lwt < "1.2.0"
  700. mirage-block-ramdisk < "0.4"
  701. mirage-block-solo5 < "0.6.0"
  702. mirage-block-unix < "2.8.3"
  703. mirage-block-xen < "1.6.0"
  704. mirage-bootvar-solo5 >= "0.2.0" & < "0.6.0"
  705. mirage-bootvar-xen = "0.4.0"
  706. mirage-btrees
  707. mirage-channel < "3.1.0"
  708. mirage-channel-lwt < "3.1.0"
  709. mirage-clock < "1.3.0"
  710. mirage-clock-freestanding < "1.3.0"
  711. mirage-clock-lwt < "1.3.0"
  712. mirage-clock-unix < "1.3.0"
  713. mirage-clock-xen
  714. mirage-console < "2.3.2"
  715. mirage-console-lwt < "2.3.2"
  716. mirage-console-solo5 < "0.6.0"
  717. mirage-console-unix < "2.3.2"
  718. mirage-console-xen != "2.3.2" & < "2.3.4"
  719. mirage-console-xen-backend != "2.3.2" & < "2.3.4"
  720. mirage-console-xen-cli
  721. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
  722. mirage-device < "1.1.0"
  723. mirage-dns < "3.0.0"
  724. mirage-entropy < "0.5.1"
  725. mirage-entropy-unix
  726. mirage-entropy-xen
  727. mirage-flow < "1.3.0"
  728. mirage-flow-lwt < "1.3.0"
  729. mirage-flow-unix < "1.3.0"
  730. mirage-fs < "0.4.0" | = "1.0.0"
  731. mirage-fs-lwt < "1.1.1"
  732. mirage-fs-unix < "1.4.0"
  733. mirage-http < "3.2.0"
  734. mirage-http-unix
  735. mirage-http-xen
  736. mirage-kv < "1.1.1"
  737. mirage-kv-lwt < "1.1.0"
  738. mirage-logs < "1.0.0"
  739. mirage-net < "0.9.1" | = "1.0.0"
  740. mirage-net-direct
  741. mirage-net-fd < "0.2.1"
  742. mirage-net-lwt < "1.1.0"
  743. mirage-net-macosx < "1.5.0"
  744. mirage-net-socket
  745. mirage-net-solo5 < "0.4.3"
  746. mirage-net-unix < "2.4.1"
  747. mirage-net-xen < "1.7.1"
  748. mirage-os-shim
  749. mirage-profile < "0.8.1"
  750. mirage-profile-unix < "0.8.1"
  751. mirage-profile-xen < "0.8.1"
  752. mirage-protocols < "1.2.0"
  753. mirage-protocols-lwt < "1.2.0"
  754. mirage-qubes != "0.5" & < "0.7.0"
  755. mirage-qubes-ipv4 = "0.6"
  756. mirage-random < "1.1.0"
  757. mirage-runtime < "3.0.5"
  758. mirage-solo5 < "0.6.2"
  759. mirage-stack < "1.1.0"
  760. mirage-stack-lwt < "1.1.0"
  761. mirage-tcpip-unix
  762. mirage-tcpip-xen
  763. mirage-time < "1.1.0"
  764. mirage-time-lwt < "1.1.0"
  765. mirage-types < "3.0.5"
  766. mirage-types-lwt < "3.0.5"
  767. mirage-unix < "3.2.0"
  768. mirage-vnetif = "0.3.1"
  769. mirage-www < "1.0.0"
  770. mirage-xen < "3.2.0"
  771. mirage-xen-ocaml >= "2.3.1"
  772. mirari
  773. mirror
  774. missinglib
  775. misuja
  776. mixture
  777. mkaudio < "1.1.0"
  778. ml2mxml
  779. mlbdd < "0.7.2"
  780. mlcuddidl
  781. mld
  782. mlgmp
  783. mlgmpidl
  784. mlmpfr < "4.0.2+dune"
  785. mlpost
  786. mm < "0.7.0"
  787. mmseg < "transition"
  788. modelica_ml
  789. monadlib
  790. mongo
  791. monomorphic < "1.3"
  792. mopsa
  793. more-ocaml
  794. mosquitto
  795. mparser < "1.3"
  796. mpi
  797. mpp < "0.3.4"
  798. mpris = "0.1.1"
  799. mqtt < "0.2.2"
  800. mqtt_client
  801. mrt-format
  802. msat < "0.8"
  803. msgpack
  804. msgpck < "1.3"
  805. mstruct < "1.3.3"
  806. mtime
  807. mtl
  808. multipart-form-data < "0.2.0"
  809. murmur3 < "0.3"
  810. mustache < "3.0.2"
  811. mvar
  812. mybuild < "7"
  813. mysql
  814. mysql_protocol < "3.0.1"
  815. named-pipe
  816. namespaces
  817. nanomsg
  818. nbd != "2.2.0" & < "4.0.3"
  819. nebula
  820. netamqp
  821. netlink < "0.3.4"
  822. netml
  823. nlopt-ocaml < "transition"
  824. nlp
  825. noCanren < "0.3.0~alpha1"
  826. nocrypto
  827. nonstd
  828. nosetup
  829. not-ocamlfind
  830. note
  831. notty < "0.2.3"
  832. nproc
  833. npy < "0.0.8"
  834. num >= "1.0" & < "1.5"
  835. nunchaku < "0.5.1"
  836. OCanren
  837. oasis
  838. oasis-mirage
  839. oasis2debian
  840. oasis2opam
  841. obandit
  842. obeanstalk
  843. obelisk < "0.5.0"
  844. obigstore
  845. objsize
  846. obrowser
  847. obuild >= "0.1.11"
  848. obus < "1.2.0"
  849. ocal < "0.2.2"
  850. ocaml-arg
  851. ocaml-basics < "0.5.0"
  852. ocaml-buddy
  853. ocaml-data-notation
  854. ocaml-expat
  855. ocaml-freestanding
  856. ocaml-freestanding-cross-aarch64
  857. ocaml-gist
  858. ocaml-http
  859. ocaml-indent
  860. ocaml-inifiles
  861. ocaml-js-stdlib
  862. ocaml-lsp-server < "1.6.0"
  863. ocaml-lua < "1.8"
  864. ocaml-markdown < "transition"
  865. ocaml-migrate-parsetree < "1.1.0"
  866. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  867. ocaml-monadic < "0.4.0"
  868. ocaml-protoc < "2.0.1"
  869. ocaml-protoc-yojson
  870. ocaml-r < "0.1.0"
  871. ocaml-sat-solvers
  872. ocaml-solo5
  873. ocaml-solo5-cross-aarch64
  874. ocaml-systemd < "1.3"
  875. ocaml-topexpect
  876. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
  877. ocaml-webworker
  878. ocaml-xdg-basedir < "transition"
  879. ocaml-xml-rpc
  880. ocaml-zmq
  881. ocaml9p
  882. ocaml_at_p
  883. ocaml_plugin >= "109.32.00" & < "v0.9.0"
  884. ocamlbrowser
  885. ocamlbuild >= "0.15.0"
  886. ocamlbuild-atdgen
  887. ocamlbuild-pkg
  888. ocamlbuild-protoc
  889. ocamlclean < "2.1"
  890. ocamldap < "transition"
  891. ocamldbi
  892. ocamldiff < "1.2"
  893. ocamldot
  894. ocamleditor
  895. ocamlfind-lint
  896. ocamlfuse < "2.7.1-cvs6"
  897. ocamlgraph < "2.0.0"
  898. ocamlify
  899. ocamllint
  900. ocamlmod
  901. ocamlnet
  902. ocamlpp < "1.1"
  903. ocamlrss
  904. ocamlscript
  905. ocamlsdl
  906. ocamlsdl2
  907. ocamlsdl2-image
  908. ocamlsdl2-ttf
  909. ocamltter
  910. ocamlyices
  911. ocb-stubblr
  912. ocephes
  913. ocf < "0.8.0"
  914. oci
  915. oclaunch
  916. oclock
  917. ocp-build != "1.99.17-beta"
  918. ocp-indent >= "1.7.0"
  919. ocp-index-top
  920. ocp-ocamlres
  921. ocp-reloc
  922. ocplib-concur
  923. ocplib-endian < "1.1"
  924. ocplib-json-typed < "0.7"
  925. ocplib-resto
  926. ocplib-simplex != "0.5"
  927. ocs
  928. ocsfml
  929. ocsigen-i18n < "4.0.0"
  930. ocsigenserver
  931. octavius < "1.2.1"
  932. ocurl
  933. ocveralls
  934. odate < "0.6"
  935. odbc
  936. odds < "1.1"
  937. odep
  938. odepack < "0.6.9"
  939. odiff-gtk
  940. odig
  941. odisco
  942. odoc != "1.3.0"
  943. ofx
  944. ogen
  945. ogg != "0.6.0" & < "0.7.0"
  946. ojquery
  947. ojs-base
  948. ojwidgets
  949. olinq < "0.3"
  950. ollvm
  951. ollvm-tapir
  952. olmi
  953. oloop
  954. omake
  955. omd < "1.3.2"
  956. oml
  957. omod
  958. omonad
  959. oni
  960. oolc
  961. opa-base
  962. opal
  963. opam-build-revdeps
  964. opam-bundle
  965. opam-core < "2.0.0~beta5"
  966. opam-depext >= "1.2.1"
  967. opam-doc
  968. opam-dune-lint < "0.2"
  969. opam-ed < "0.4"
  970. opam-lib
  971. opam-publish != "0.3.0+transition" & < "2.0.0~beta"
  972. opam-query
  973. opam-sync-github-prs
  974. opam2web >= "1.3.0" & < "2.0"
  975. opamfind
  976. opamfu
  977. opass
  978. opasswd < "1.3.1"
  979. opencc < "transition"
  980. openflow
  981. operf-macro
  982. opium < "0.16.0"
  983. oplay
  984. optcomp
  985. optimization1d < "0.6"
  986. opus < "0.2.0"
  987. orakuda
  988. ordma < "0.0.5"
  989. orm
  990. orocksdb
  991. osbx < "1.2.1"
  992. osc = "0.1.4"
  993. osdp
  994. oseq < "0.2"
  995. ospec
  996. ostap
  997. osx-acl
  998. osx-attr
  999. osx-cf
  1000. osx-fsevents
  1001. osx-membership
  1002. osx-mount
  1003. osx-plutil
  1004. osx-secure-transport < "0.1.1"
  1005. osx-xattr
  1006. otfm
  1007. oth
  1008. otr < "0.3.6"
  1009. ott >= "0.32"
  1010. otto
  1011. ounit != "2.1.2"
  1012. ounit-lwt >= "2.2.0"
  1013. owebl
  1014. owee < "0.3"
  1015. owl < "0.3.0"
  1016. ox
  1017. oxylc
  1018. pa_bench
  1019. pa_bin_prot
  1020. pa_comprehension
  1021. pa_do
  1022. pa_fields_conv
  1023. pa_monad_custom
  1024. pa_ounit
  1025. pa_ovisitor
  1026. pa_qualified
  1027. pa_sexp_conv
  1028. pa_solution
  1029. pa_structural_sexp
  1030. pa_test
  1031. pa_typerep_conv
  1032. pa_variants_conv
  1033. pa_where
  1034. packet
  1035. papi < "0.1.1"
  1036. parany < "5.0.0"
  1037. pareto
  1038. parmap < "1.1.1"
  1039. parse-argv < "0.1.0"
  1040. patdiff >= "113.24.00" & < "v0.9.0"
  1041. patience_diff < "v0.9.0"
  1042. patoline
  1043. pbkdf < "0.3.0"
  1044. pbs
  1045. pcap-format < "0.5.1"
  1046. pcf-format
  1047. pci
  1048. pci-db
  1049. pcre < "7.3.0"
  1050. pds
  1051. pds-reachability < "0.2.3"
  1052. perf
  1053. pfff < "0.37.1" | >= "0.37.6"
  1054. pgocaml < "4.0"
  1055. pgsolver
  1056. phox
  1057. pilat
  1058. pipebang
  1059. piqi < "0.7.8"
  1060. piqilib < "0.6.16"
  1061. pkcs11 < "0.18.0"
  1062. pla < "1.2"
  1063. planck
  1064. plasma
  1065. plist
  1066. plotkicadsch < "0.2.0"
  1067. plplot < "5.11.0-1"
  1068. podge
  1069. polka
  1070. polyglot
  1071. pomap < "4.0.0"
  1072. portaudio < "0.2.2"
  1073. portia
  1074. posix-clock
  1075. posix-getopt < "2.0.0"
  1076. posix-math
  1077. posix-mqueue
  1078. posix-semaphore
  1079. posix-time
  1080. posix-types < "2.0.0"
  1081. postgresql < "4.1.0"
  1082. pprint < "20200226"
  1083. ppx_assert < "v0.9.0"
  1084. ppx_bench < "v0.9.0"
  1085. ppx_bigarray < "3.0.0"
  1086. ppx_bin_prot < "v0.9.0"
  1087. ppx_bitstring < "2.0.0"
  1088. ppx_blob < "0.3.0"
  1089. ppx_compare < "v0.9.0"
  1090. ppx_const < "2.0"
  1091. ppx_conv_func < "v0.9.0"
  1092. ppx_core < "v0.9.0"
  1093. ppx_cstubs
  1094. ppx_csv_conv < "v0.9.0"
  1095. ppx_curried_constr
  1096. ppx_custom_printf < "v0.9.0"
  1097. ppx_debugger
  1098. ppx_defer < "0.3.0"
  1099. ppx_deriving < "4.3" | >= "5.0"
  1100. ppx_deriving_argparse
  1101. ppx_deriving_cmdliner < "0.6.0"
  1102. ppx_deriving_crowbar
  1103. ppx_deriving_encoding >= "0.2.3"
  1104. ppx_deriving_hardcaml < "v0.12.0"
  1105. ppx_deriving_madcast < "0.2"
  1106. ppx_deriving_morphism
  1107. ppx_deriving_protobuf < "2.7"
  1108. ppx_deriving_yojson >= "2.0" & < "3.3"
  1109. ppx_distr_guards < "0.2"
  1110. ppx_dotbracket
  1111. ppx_driver < "v0.9.0"
  1112. ppx_enumerate < "v0.9.0"
  1113. ppx_expect < "v0.9.0"
  1114. ppx_fail < "v0.9.0"
  1115. ppx_fields_conv < "v0.9.0"
  1116. ppx_fun < "0.0.9"
  1117. ppx_hardcaml < "1.3.0"
  1118. ppx_here < "v0.9.0"
  1119. ppx_implicits
  1120. ppx_import < "1.5-3-gbd627d5"
  1121. ppx_include
  1122. ppx_inline_test < "v0.9.0"
  1123. ppx_jane < "v0.9.0"
  1124. ppx_jsobject_conv < "0.5.1"
  1125. ppx_json_types
  1126. ppx_let < "v0.9.0"
  1127. ppx_measure
  1128. ppx_meta_conv < "4.0.0"
  1129. ppx_monadic < "2.3.0"
  1130. ppx_monoid < "0.3.2"
  1131. ppx_netblob
  1132. ppx_optcomp < "v0.9.0"
  1133. ppx_orakuda < "3.3.0"
  1134. ppx_overload = "1.0.1"
  1135. ppx_pattern_guard
  1136. ppx_pipebang < "v0.9.0"
  1137. ppx_poly_record < "1.3.0"
  1138. ppx_relit
  1139. ppx_sexp
  1140. ppx_sexp_conv < "v0.9.0"
  1141. ppx_sexp_message < "v0.9.0"
  1142. ppx_sexp_value < "v0.9.0"
  1143. ppx_test < "1.7.0"
  1144. ppx_tools < "6.0+4.08.0"
  1145. ppx_tools_versioned < "5.2"
  1146. ppx_type_conv < "v0.9.0"
  1147. ppx_typerep_conv < "v0.9.0"
  1148. ppx_variants_conv < "v0.9.0"
  1149. ppx_where
  1150. ppx_xml_conv < "v0.9.0"
  1151. ppxfind
  1152. ppxlib >= "0.4.0"
  1153. ppxx < "2.4.0"
  1154. primes
  1155. pringo
  1156. printbox < "0.2"
  1157. prob-cache
  1158. process
  1159. procord
  1160. prof_spacetime < "0.2.0"
  1161. profound
  1162. proj4
  1163. promela
  1164. prometheus < "0.3"
  1165. prometheus-app < "0.3"
  1166. protobuf
  1167. protocol-9p < "0.11.1"
  1168. protocol-9p-tool < "0.11.2"
  1169. protocol-9p-unix < "0.11.2"
  1170. proverif
  1171. psmt2-frontend < "0.3.0"
  1172. psq < "0.1.1"
  1173. psyche
  1174. ptime
  1175. ptmap < "2.0.5"
  1176. ptset < "1.0.1"
  1177. publish < "0.3.4+transition"
  1178. pulseaudio < "0.1.4"
  1179. pumping
  1180. pvem
  1181. pvem_lwt_unix
  1182. pxp
  1183. py < "1.1"
  1184. pyml
  1185. qbf < "0.3"
  1186. qcheck < "0.8"
  1187. qcow < "0.10.2"
  1188. qcow-format
  1189. qcow-tool < "0.11.0"
  1190. qcstm
  1191. qfs
  1192. qmp < "0.19.0"
  1193. qocamlbrowser >= "0.2.9"
  1194. qrc
  1195. qrencode < "0.2"
  1196. qtest < "2.9"
  1197. quickcheck
  1198. r2pipe
  1199. radare2 < "0.0.3"
  1200. randomconv < "0.1.1"
  1201. ranger
  1202. rashell
  1203. raw_spacetime
  1204. rawlink < "1.0"
  1205. raygun4ocaml
  1206. rdbg
  1207. rdf < "0.13.0"
  1208. rdr
  1209. re < "1.7.2"
  1210. re2 >= "113.24.00" & < "v0.9.0"
  1211. react
  1212. reactiveData < "0.3.0"
  1213. reason != "3.5.0"
  1214. reason-parser
  1215. records < "1.0.0"
  1216. redis < "0.3.4"
  1217. reedsolomon < "0.3"
  1218. regstab
  1219. reins
  1220. release
  1221. relit-reason < "0.0.2"
  1222. res < "5.0.0"
  1223. resource-pooling < "1.1"
  1224. revops
  1225. rfc6287 < "1.0.4"
  1226. rfsm < "1.6-alpha-3"
  1227. riak
  1228. riak-pb
  1229. riakc
  1230. riakc_ppx
  1231. river < "0.2"
  1232. rlp
  1233. rml >= "1.09.00" & < "1.09.03"
  1234. root1d < "0.5.1"
  1235. rope < "0.6"
  1236. rotor
  1237. rpc < "5.9.0"
  1238. rpc_parallel < "v0.9.0"
  1239. rresult
  1240. rtime
  1241. rubytt
  1242. runtime_events_tools < "0.5.1"
  1243. Snowflake
  1244. safa
  1245. safepass < "3.0"
  1246. sail < "0.15"
  1247. salsa20 < "1.0.0"
  1248. salsa20-core < "1.0.0"
  1249. samplerate < "0.1.5"
  1250. sanlock
  1251. sattools
  1252. sawja
  1253. schoca
  1254. schroedinger
  1255. scid
  1256. scrypt
  1257. scrypt-kdf < "1.0.0"
  1258. secp256k1 < "0.2.5"
  1259. sedlex < "2.0"
  1260. semver < "0.2.1"
  1261. sendmsg
  1262. seq < "0.2"
  1263. sequence < "1.0"
  1264. sequoia
  1265. session < "0.4.0"
  1266. sessions
  1267. setr
  1268. sexplib < "v0.9.0"
  1269. sfml
  1270. sgf < "1.0.1"
  1271. sha < "1.12"
  1272. shared-block-ring < "3.0.0"
  1273. shared-memory-ring < "3.0.1"
  1274. shared-memory-ring-lwt < "3.1.0"
  1275. shared-secret < "0.4"
  1276. shcaml
  1277. shine < "0.2.2"
  1278. should
  1279. sibylfs
  1280. sibylfs-lem
  1281. sid
  1282. sill
  1283. simple-bmc
  1284. simple-diff
  1285. simple_pam
  1286. skkserv-lite
  1287. slack-backup
  1288. slacko < "0.14.1"
  1289. slap
  1290. smart-print < "0.3.0"
  1291. smbc < "0.4.2"
  1292. smtp
  1293. snabela
  1294. snappy < "0.1.2"
  1295. socketcan
  1296. sodium
  1297. solvuu-build
  1298. solvuu_build
  1299. sonet
  1300. sosa
  1301. soundtouch < "0.1.9"
  1302. spacetime_lib < "0.3.0"
  1303. sparrow
  1304. spatial_index
  1305. speex < "0.4.0"
  1306. spelll < "0.3"
  1307. spf < "2.0.2"
  1308. sphinxcontrib-ocaml < "0.3.0"
  1309. spirv
  1310. spotinstall
  1311. spotlib < "4.1.0"
  1312. spotlib_js
  1313. spreadsheet
  1314. sqlexpr < "0.9.0"
  1315. sqlgg < "20200521"
  1316. sqlite3 < "4.2.0"
  1317. sqlite3EZ
  1318. srs < "2.0.0"
  1319. srt >= "0.2.0"
  1320. ssl < "0.5.6"
  1321. starterkit
  1322. stationary
  1323. statmemprof-emacs
  1324. statsd-client
  1325. statverif
  1326. stb_image
  1327. stb_image_write
  1328. stb_truetype
  1329. stdcompat < "5"
  1330. stdint < "0.5.1"
  1331. stemmer
  1332. stemming
  1333. stog < "0.20.0"
  1334. stone
  1335. stringCodepointSplitter
  1336. stringext < "1.5.0"
  1337. sturgeon < "0.4.2"
  1338. subtype-refinement < "0.2"
  1339. sundialsml
  1340. swdogen
  1341. symkat
  1342. syndic < "1.6.0"
  1343. syslog < "2.0.0"
  1344. syslog-message < "1.0.0"
  1345. systemverilog < "0.0.2"
  1346. TCSLib
  1347. taglib < "0.3.7"
  1348. taglog
  1349. tallgeese
  1350. tar < "0.9.0"
  1351. tar-format
  1352. tar-mirage < "0.9.0"
  1353. tar-unix < "0.9.0"
  1354. tcpip < "3.2.0"
  1355. tcx
  1356. tdk
  1357. telegraml < "2.2.0"
  1358. tensorflow
  1359. termbox
  1360. terminal_size < "0.1.4"
  1361. testrunner
  1362. testsimple
  1363. text
  1364. textutils >= "113.24.00" & < "v0.9.0"
  1365. textwrap < "0.2.1"
  1366. tftp
  1367. tgls
  1368. themoviedb
  1369. theora < "0.4.0"
  1370. thrift < "0.10.0"
  1371. tidy < "5-0.2"
  1372. timed < "1.1"
  1373. tiny_json < "1.1.6"
  1374. tiny_json_conv
  1375. tip-parser < "0.4"
  1376. tjr_simple_earley
  1377. tls < "0.11.0"
  1378. tlstunnel
  1379. toml < "5.0.0"
  1380. tophide
  1381. topkg
  1382. topkg-care
  1383. toplevel_backend
  1384. toplevel_expect_test
  1385. topology
  1386. touist < "3.5.0"
  1387. tplib
  1388. tptp
  1389. trakeva
  1390. transmission-rpc
  1391. travis-senv
  1392. tree_layout < "0.2"
  1393. treeprint < "2.2.0"
  1394. trie < "1.0.0"
  1395. tryocaml
  1396. tsdl
  1397. ttweetnacl
  1398. tuntap < "1.5.0"
  1399. type-beat
  1400. type_conv
  1401. typehashlib
  1402. typerep < "v0.9.0"
  1403. typerep_extended < "v0.9.0"
  1404. typerex-binutils
  1405. typerex-build
  1406. typerex-clibs
  1407. typerex-system
  1408. typpx < "1.4.3"
  1409. tyre < "0.4"
  1410. tyxml < "4.3.0"
  1411. ubpf < "0.2"
  1412. ucorelib
  1413. udunits
  1414. uint < "2.0.1"
  1415. ulex
  1416. ulex-camlp5
  1417. unison-gui
  1418. unix-dirent
  1419. unix-errno < "0.6.0"
  1420. unix-fcntl
  1421. unix-sys-resource
  1422. unix-sys-stat
  1423. unix-time
  1424. unix-type-representations
  1425. unix-unistd
  1426. unmagic < "1.0.4"
  1427. uri < "1.9.6"
  1428. usb
  1429. usbmux
  1430. user-setup
  1431. utop >= "1.18.1"
  1432. utp
  1433. uucd
  1434. uucp
  1435. uuidm
  1436. uunf
  1437. uuseg
  1438. uutf
  1439. uuuu >= "0.2.0"
  1440. uwt
  1441. valentine
  1442. variantslib < "v0.9.0"
  1443. vchan < "4.0.0"
  1444. vchan-unix < "4.0.0"
  1445. vchan-xen < "4.0.0"
  1446. vector3 < "1.0.0"
  1447. vg
  1448. vhd-format < "0.9.1"
  1449. vhd-tool
  1450. vhdlib
  1451. visitors < "20200207"
  1452. vlt
  1453. vmnet < "1.3.0"
  1454. voaacenc
  1455. volt
  1456. vorbis < "0.8.0"
  1457. vpnkit < "0.1.1"
  1458. vrt
  1459. vscoq-language-server
  1460. wamp < "1.2"
  1461. wasm
  1462. wcs-lib < "2017-05-26.02"
  1463. wdialog
  1464. webbrowser
  1465. webdav
  1466. weberizer < "0.7.8"
  1467. webidl
  1468. webmachine < "0.5.0"
  1469. websocketml
  1470. webtest < "2.0.0"
  1471. why3 >= "1.0.0"
  1472. why3-base
  1473. why3-coq
  1474. why3-ide
  1475. win-error < "0.3"
  1476. win-eventlog < "0.2"
  1477. wiringpi
  1478. wxOCaml
  1479. x509 < "0.6.3"
  1480. xapi-backtrace < "0.5"
  1481. xapi-forkexecd
  1482. xapi-idl
  1483. xapi-inventory < "1.2.3"
  1484. xapi-libs-transitional
  1485. xapi-rrd < "1.8.2"
  1486. xapi-rrdd
  1487. xapi-stdext
  1488. xapi-tapctl
  1489. xe
  1490. xe-unikernel-upload
  1491. xen-api-client
  1492. xen-block-driver
  1493. xen-disk
  1494. xen-evtchn < "2.1.0"
  1495. xen-evtchn-unix < "2.1.0"
  1496. xen-gnt >= "2.2.0" & < "3.0.1"
  1497. xen-gnt-unix < "3.0.1"
  1498. xenbigarray
  1499. xenctrl
  1500. xenstore < "2.0.0"
  1501. xenstore_transport < "1.1.0"
  1502. xentropyd
  1503. xml-light < "2.5"
  1504. xmldiff < "0.7.0"
  1505. xmlm
  1506. xmlplaylist < "0.1.5"
  1507. xstr
  1508. xstrp4
  1509. xtmpl < "0.19.0"
  1510. yajl
  1511. yajl-extra
  1512. yices2
  1513. yices2_bindings
  1514. yojson < "1.4.0"
  1515. yurt < "0.6"
  1516. z3
  1517. zarith
  1518. zarith-freestanding
  1519. zarith-xen
  1520. zed < "1.5"
  1521. zero >= "109.19.00" & < "109.28.00"
  1522. zipc
  1523. zipperposition < "1.5.1"
  1524. zlib < "0.6"
  1525. zlist < "0.4.0"
  1526. zmq < "5.0.0"
  1527. zstd < "0.3"
  1528. 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