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