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. more-ocaml
  791. mosquitto
  792. mparser < "1.3"
  793. mpi
  794. mpp < "0.3.4"
  795. mpris = "0.1.1"
  796. mqtt < "0.2.2"
  797. mqtt_client
  798. mrt-format
  799. msat < "0.8"
  800. msgpack
  801. msgpck < "1.3"
  802. mstruct < "1.3.3"
  803. mtime
  804. mtl
  805. multipart-form-data < "0.2.0"
  806. murmur3 < "0.3"
  807. mustache < "3.0.2"
  808. mvar
  809. mybuild < "7"
  810. mysql
  811. mysql_protocol < "3.0.1"
  812. named-pipe
  813. namespaces
  814. nanomsg
  815. nbd != "2.2.0" & < "4.0.3"
  816. nebula
  817. netamqp
  818. netlink < "0.3.4"
  819. netml
  820. nlopt-ocaml < "transition"
  821. nlp
  822. noCanren < "0.3.0~alpha1"
  823. nocrypto
  824. nonstd
  825. nosetup
  826. not-ocamlfind
  827. note
  828. notty < "0.2.3"
  829. nproc
  830. npy < "0.0.8"
  831. num >= "1.0" & < "1.5"
  832. nunchaku < "0.5.1"
  833. OCanren
  834. oasis
  835. oasis-mirage
  836. oasis2debian
  837. oasis2opam
  838. obandit
  839. obeanstalk
  840. obelisk < "0.5.0"
  841. obigstore
  842. objsize
  843. obrowser
  844. obuild >= "0.1.11"
  845. obus < "1.2.0"
  846. ocal < "0.2.2"
  847. ocaml-arg
  848. ocaml-basics < "0.5.0"
  849. ocaml-buddy
  850. ocaml-data-notation
  851. ocaml-expat
  852. ocaml-freestanding
  853. ocaml-freestanding-cross-aarch64
  854. ocaml-gist
  855. ocaml-http
  856. ocaml-indent
  857. ocaml-inifiles
  858. ocaml-js-stdlib
  859. ocaml-lsp-server < "1.6.0"
  860. ocaml-lua < "1.8"
  861. ocaml-markdown < "transition"
  862. ocaml-migrate-parsetree < "1.1.0"
  863. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  864. ocaml-monadic < "0.4.0"
  865. ocaml-protoc < "2.0.1"
  866. ocaml-protoc-yojson
  867. ocaml-r < "0.1.0"
  868. ocaml-sat-solvers
  869. ocaml-solo5
  870. ocaml-solo5-cross-aarch64
  871. ocaml-systemd < "1.3"
  872. ocaml-topexpect
  873. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
  874. ocaml-webworker
  875. ocaml-xdg-basedir < "transition"
  876. ocaml-xml-rpc
  877. ocaml-zmq
  878. ocaml9p
  879. ocaml_at_p
  880. ocaml_plugin >= "109.32.00" & < "v0.9.0"
  881. ocamlbrowser
  882. ocamlbuild >= "0.15.0"
  883. ocamlbuild-atdgen
  884. ocamlbuild-pkg
  885. ocamlbuild-protoc
  886. ocamlclean < "2.1"
  887. ocamldap < "transition"
  888. ocamldbi
  889. ocamldiff < "1.2"
  890. ocamldot
  891. ocamleditor
  892. ocamlfind-lint
  893. ocamlfind-secondary >= "1.9.6"
  894. ocamlfuse < "2.7.1-cvs6"
  895. ocamlgraph < "2.0.0"
  896. ocamlify
  897. ocamllint
  898. ocamlmod
  899. ocamlnet
  900. ocamlpp < "1.1"
  901. ocamlrss
  902. ocamlscript
  903. ocamlsdl
  904. ocamlsdl2
  905. ocamlsdl2-image
  906. ocamlsdl2-ttf
  907. ocamltter
  908. ocamlyices
  909. ocb-stubblr
  910. ocephes
  911. ocf < "0.8.0"
  912. oci
  913. oclaunch
  914. oclock
  915. ocp-build != "1.99.17-beta"
  916. ocp-indent >= "1.7.0"
  917. ocp-index-top
  918. ocp-ocamlres
  919. ocp-reloc
  920. ocplib-concur
  921. ocplib-endian < "1.1"
  922. ocplib-json-typed < "0.7"
  923. ocplib-resto
  924. ocplib-simplex != "0.5"
  925. ocs
  926. ocsfml
  927. ocsigen-i18n < "4.0.0"
  928. ocsigenserver
  929. octavius < "1.2.1"
  930. ocurl
  931. ocveralls
  932. odate < "0.6"
  933. odbc
  934. odds < "1.1"
  935. odep
  936. odepack < "0.6.9"
  937. odiff-gtk
  938. odig
  939. odisco
  940. odoc != "1.3.0"
  941. ofx
  942. ogen
  943. ogg != "0.6.0" & < "0.7.0"
  944. ojquery
  945. ojs-base
  946. ojwidgets
  947. olinq < "0.3"
  948. ollvm
  949. ollvm-tapir
  950. olmi
  951. oloop
  952. omake
  953. omd < "1.3.2"
  954. oml
  955. omod
  956. omonad
  957. oni
  958. oolc
  959. opa-base
  960. opal
  961. opam-build-revdeps
  962. opam-bundle
  963. opam-core < "2.0.0~beta5"
  964. opam-depext >= "1.2.1"
  965. opam-doc
  966. opam-dune-lint < "0.2"
  967. opam-ed < "0.4"
  968. opam-lib
  969. opam-publish != "0.3.0+transition" & < "2.0.0~beta"
  970. opam-query
  971. opam-sync-github-prs
  972. opam2web >= "1.3.0" & < "2.0"
  973. opamfind
  974. opamfu
  975. opass
  976. opasswd < "1.3.1"
  977. opencc < "transition"
  978. openflow
  979. operf-macro
  980. opium < "0.16.0"
  981. oplay
  982. optcomp
  983. optimization1d < "0.6"
  984. opus < "0.2.0"
  985. orakuda
  986. ordma < "0.0.5"
  987. orm
  988. orocksdb
  989. osbx < "1.2.1"
  990. osc = "0.1.4"
  991. osdp
  992. oseq < "0.2"
  993. ospec
  994. ostap
  995. osx-acl
  996. osx-attr
  997. osx-cf
  998. osx-fsevents
  999. osx-membership
  1000. osx-mount
  1001. osx-plutil
  1002. osx-secure-transport < "0.1.1"
  1003. osx-xattr
  1004. otfm
  1005. oth
  1006. otr < "0.3.6"
  1007. ott >= "0.32"
  1008. otto
  1009. ounit != "2.1.2"
  1010. ounit-lwt >= "2.2.0"
  1011. owebl
  1012. owee < "0.3"
  1013. owl < "0.3.0"
  1014. ox
  1015. oxylc
  1016. pa_bench
  1017. pa_bin_prot
  1018. pa_comprehension
  1019. pa_do
  1020. pa_fields_conv
  1021. pa_monad_custom
  1022. pa_ounit
  1023. pa_ovisitor
  1024. pa_qualified
  1025. pa_sexp_conv
  1026. pa_solution
  1027. pa_structural_sexp
  1028. pa_test
  1029. pa_typerep_conv
  1030. pa_variants_conv
  1031. pa_where
  1032. packet
  1033. papi < "0.1.1"
  1034. parany < "5.0.0"
  1035. pareto
  1036. parmap < "1.1.1"
  1037. parse-argv < "0.1.0"
  1038. patdiff >= "113.24.00" & < "v0.9.0"
  1039. patience_diff < "v0.9.0"
  1040. patoline
  1041. pbkdf < "0.3.0"
  1042. pbs
  1043. pcap-format < "0.5.1"
  1044. pcf-format
  1045. pci
  1046. pci-db
  1047. pcre < "7.3.0"
  1048. pds
  1049. pds-reachability < "0.2.3"
  1050. perf
  1051. pfff < "0.37.1" | >= "0.37.6"
  1052. pgocaml < "4.0"
  1053. pgsolver
  1054. phox
  1055. pilat
  1056. pipebang
  1057. piqi < "0.7.8"
  1058. piqilib < "0.6.16"
  1059. pkcs11 < "0.18.0"
  1060. pla < "1.2"
  1061. planck
  1062. plasma
  1063. plist
  1064. plotkicadsch < "0.2.0"
  1065. plplot < "5.11.0-1"
  1066. podge
  1067. polka
  1068. polyglot
  1069. pomap < "4.0.0"
  1070. portaudio < "0.2.2"
  1071. portia
  1072. posix-clock
  1073. posix-getopt < "2.0.0"
  1074. posix-math
  1075. posix-mqueue
  1076. posix-semaphore
  1077. posix-time
  1078. posix-types < "2.0.0"
  1079. postgresql < "4.1.0"
  1080. pprint < "20200226"
  1081. ppx_assert < "v0.9.0"
  1082. ppx_bench < "v0.9.0"
  1083. ppx_bigarray < "3.0.0"
  1084. ppx_bin_prot < "v0.9.0"
  1085. ppx_bitstring < "2.0.0"
  1086. ppx_blob < "0.3.0"
  1087. ppx_compare < "v0.9.0"
  1088. ppx_const < "2.0"
  1089. ppx_conv_func < "v0.9.0"
  1090. ppx_core < "v0.9.0"
  1091. ppx_cstubs
  1092. ppx_csv_conv < "v0.9.0"
  1093. ppx_curried_constr
  1094. ppx_custom_printf < "v0.9.0"
  1095. ppx_debugger
  1096. ppx_defer < "0.3.0"
  1097. ppx_deriving < "4.3" | >= "5.0"
  1098. ppx_deriving_argparse
  1099. ppx_deriving_cmdliner < "0.6.0"
  1100. ppx_deriving_crowbar
  1101. ppx_deriving_encoding >= "0.2.3"
  1102. ppx_deriving_hardcaml < "v0.12.0"
  1103. ppx_deriving_madcast < "0.2"
  1104. ppx_deriving_morphism
  1105. ppx_deriving_protobuf < "2.7"
  1106. ppx_deriving_yojson >= "2.0" & < "3.3"
  1107. ppx_distr_guards < "0.2"
  1108. ppx_dotbracket
  1109. ppx_driver < "v0.9.0"
  1110. ppx_enumerate < "v0.9.0"
  1111. ppx_expect < "v0.9.0"
  1112. ppx_fail < "v0.9.0"
  1113. ppx_fields_conv < "v0.9.0"
  1114. ppx_fun < "0.0.9"
  1115. ppx_hardcaml < "1.3.0"
  1116. ppx_here < "v0.9.0"
  1117. ppx_implicits
  1118. ppx_import < "1.5-3-gbd627d5"
  1119. ppx_include
  1120. ppx_inline_test < "v0.9.0"
  1121. ppx_jane < "v0.9.0"
  1122. ppx_jsobject_conv < "0.5.1"
  1123. ppx_json_types
  1124. ppx_let < "v0.9.0"
  1125. ppx_measure
  1126. ppx_meta_conv < "4.0.0"
  1127. ppx_monadic < "2.3.0"
  1128. ppx_monoid < "0.3.2"
  1129. ppx_netblob
  1130. ppx_optcomp < "v0.9.0"
  1131. ppx_orakuda < "3.3.0"
  1132. ppx_overload = "1.0.1"
  1133. ppx_pattern_guard
  1134. ppx_pipebang < "v0.9.0"
  1135. ppx_poly_record < "1.3.0"
  1136. ppx_relit
  1137. ppx_sexp
  1138. ppx_sexp_conv < "v0.9.0"
  1139. ppx_sexp_message < "v0.9.0"
  1140. ppx_sexp_value < "v0.9.0"
  1141. ppx_test < "1.7.0"
  1142. ppx_tools < "6.0+4.08.0"
  1143. ppx_tools_versioned < "5.2"
  1144. ppx_type_conv < "v0.9.0"
  1145. ppx_typerep_conv < "v0.9.0"
  1146. ppx_variants_conv < "v0.9.0"
  1147. ppx_where
  1148. ppx_xml_conv < "v0.9.0"
  1149. ppxfind
  1150. ppxlib >= "0.4.0"
  1151. ppxx < "2.4.0"
  1152. primes
  1153. pringo
  1154. printbox < "0.2"
  1155. prob-cache
  1156. process
  1157. procord
  1158. prof_spacetime < "0.2.0"
  1159. profound
  1160. proj4
  1161. promela
  1162. prometheus < "0.3"
  1163. prometheus-app < "0.3"
  1164. protobuf
  1165. protocol-9p < "0.11.1"
  1166. protocol-9p-tool < "0.11.2"
  1167. protocol-9p-unix < "0.11.2"
  1168. proverif
  1169. psmt2-frontend < "0.3.0"
  1170. psq < "0.1.1"
  1171. psyche
  1172. ptime
  1173. ptmap < "2.0.5"
  1174. ptset < "1.0.1"
  1175. publish < "0.3.4+transition"
  1176. pulseaudio < "0.1.4"
  1177. pumping
  1178. pvem
  1179. pvem_lwt_unix
  1180. pxp
  1181. py < "1.1"
  1182. pyml
  1183. qbf < "0.3"
  1184. qcheck < "0.8"
  1185. qcow < "0.10.2"
  1186. qcow-format
  1187. qcow-tool < "0.11.0"
  1188. qcstm
  1189. qfs
  1190. qmp < "0.19.0"
  1191. qocamlbrowser >= "0.2.9"
  1192. qrc
  1193. qrencode < "0.2"
  1194. qtest < "2.9"
  1195. quickcheck
  1196. r2pipe
  1197. radare2 < "0.0.3"
  1198. randomconv < "0.1.1"
  1199. ranger
  1200. rashell
  1201. raw_spacetime
  1202. rawlink < "1.0"
  1203. raygun4ocaml
  1204. rdbg
  1205. rdf < "0.13.0"
  1206. rdr
  1207. re < "1.7.2"
  1208. re2 >= "113.24.00" & < "v0.9.0"
  1209. react
  1210. reactiveData < "0.3.0"
  1211. reason != "3.5.0"
  1212. reason-parser
  1213. records < "1.0.0"
  1214. redis < "0.3.4"
  1215. reedsolomon < "0.3"
  1216. regstab
  1217. reins
  1218. release
  1219. relit-reason < "0.0.2"
  1220. res < "5.0.0"
  1221. resource-pooling < "1.1"
  1222. revops
  1223. rfc6287 < "1.0.4"
  1224. rfsm < "1.6-alpha-3"
  1225. riak
  1226. riak-pb
  1227. riakc
  1228. riakc_ppx
  1229. river < "0.2"
  1230. rlp
  1231. rml >= "1.09.00" & < "1.09.03"
  1232. root1d < "0.5.1"
  1233. rope < "0.6"
  1234. rotor
  1235. rpc < "5.9.0"
  1236. rpc_parallel < "v0.9.0"
  1237. rresult
  1238. rtime
  1239. rubytt
  1240. runtime_events_tools < "0.5.1"
  1241. Snowflake
  1242. safa
  1243. safepass < "3.0"
  1244. sail < "0.15"
  1245. salsa20 < "1.0.0"
  1246. salsa20-core < "1.0.0"
  1247. samplerate < "0.1.5"
  1248. sanlock
  1249. sattools
  1250. sawja
  1251. schoca
  1252. schroedinger
  1253. scid
  1254. scrypt
  1255. scrypt-kdf < "1.0.0"
  1256. secp256k1 < "0.2.5"
  1257. sedlex < "2.0"
  1258. semver < "0.2.1"
  1259. sendmsg
  1260. seq < "0.2"
  1261. sequence < "1.0"
  1262. sequoia
  1263. session < "0.4.0"
  1264. sessions
  1265. setr
  1266. sexplib < "v0.9.0"
  1267. sfml
  1268. sgf < "1.0.1"
  1269. sha < "1.12"
  1270. shared-block-ring < "3.0.0"
  1271. shared-memory-ring < "3.0.1"
  1272. shared-memory-ring-lwt < "3.1.0"
  1273. shared-secret < "0.4"
  1274. shcaml
  1275. shine < "0.2.2"
  1276. should
  1277. sibylfs
  1278. sibylfs-lem
  1279. sid
  1280. sill
  1281. simple-bmc
  1282. simple-diff
  1283. simple_pam
  1284. skkserv-lite
  1285. slack-backup
  1286. slacko < "0.14.1"
  1287. slap
  1288. smart-print < "0.3.0"
  1289. smbc < "0.4.2"
  1290. smtp
  1291. snabela
  1292. snappy < "0.1.2"
  1293. socketcan
  1294. sodium
  1295. solvuu-build
  1296. solvuu_build
  1297. sonet
  1298. sosa
  1299. soundtouch < "0.1.9"
  1300. spacetime_lib < "0.3.0"
  1301. sparrow
  1302. spatial_index
  1303. speex < "0.4.0"
  1304. spelll < "0.3"
  1305. spf < "2.0.2"
  1306. sphinxcontrib-ocaml < "0.3.0"
  1307. spirv
  1308. spotinstall
  1309. spotlib < "4.1.0"
  1310. spotlib_js
  1311. spreadsheet
  1312. sqlexpr < "0.9.0"
  1313. sqlgg < "20200521"
  1314. sqlite3 < "4.2.0"
  1315. sqlite3EZ
  1316. srs < "2.0.0"
  1317. srt >= "0.2.0"
  1318. ssl < "0.5.6"
  1319. starterkit
  1320. stationary
  1321. statmemprof-emacs
  1322. statsd-client
  1323. statverif
  1324. stb_image
  1325. stb_image_write
  1326. stb_truetype
  1327. stdcompat < "5"
  1328. stdint < "0.5.1"
  1329. stemmer
  1330. stemming
  1331. stog < "0.20.0"
  1332. stone
  1333. stringCodepointSplitter
  1334. stringext < "1.5.0"
  1335. sturgeon < "0.4.2"
  1336. subtype-refinement < "0.2"
  1337. sundialsml
  1338. swdogen
  1339. symkat
  1340. syndic < "1.6.0"
  1341. syslog < "2.0.0"
  1342. syslog-message < "1.0.0"
  1343. systemverilog < "0.0.2"
  1344. TCSLib
  1345. taglib < "0.3.7"
  1346. taglog
  1347. tallgeese
  1348. tar < "0.9.0"
  1349. tar-format
  1350. tar-mirage < "0.9.0"
  1351. tar-unix < "0.9.0"
  1352. tcpip < "3.2.0"
  1353. tcx
  1354. tdk
  1355. telegraml < "2.2.0"
  1356. tensorflow
  1357. termbox
  1358. terminal_size < "0.1.4"
  1359. testrunner
  1360. testsimple
  1361. text
  1362. textutils >= "113.24.00" & < "v0.9.0"
  1363. textwrap < "0.2.1"
  1364. tftp
  1365. tgls
  1366. themoviedb
  1367. theora < "0.4.0"
  1368. thrift < "0.10.0"
  1369. tidy < "5-0.2"
  1370. timed < "1.1"
  1371. tiny_json < "1.1.6"
  1372. tiny_json_conv
  1373. tip-parser < "0.4"
  1374. tjr_simple_earley
  1375. tls < "0.11.0"
  1376. tlstunnel
  1377. toml < "5.0.0"
  1378. tophide
  1379. topkg
  1380. topkg-care
  1381. toplevel_backend
  1382. toplevel_expect_test
  1383. topology
  1384. touist < "3.5.0"
  1385. tplib
  1386. tptp
  1387. trakeva
  1388. transmission-rpc
  1389. travis-senv
  1390. tree_layout < "0.2"
  1391. treeprint < "2.2.0"
  1392. trie < "1.0.0"
  1393. tryocaml
  1394. tsdl
  1395. ttweetnacl
  1396. tuntap < "1.5.0"
  1397. type-beat
  1398. type_conv
  1399. typehashlib
  1400. typerep < "v0.9.0"
  1401. typerep_extended < "v0.9.0"
  1402. typerex-binutils
  1403. typerex-build
  1404. typerex-clibs
  1405. typerex-system
  1406. typpx < "1.4.3"
  1407. tyre < "0.4"
  1408. tyxml < "4.3.0"
  1409. ubpf < "0.2"
  1410. ucorelib
  1411. udunits
  1412. uint < "2.0.1"
  1413. ulex
  1414. ulex-camlp5
  1415. unison-gui
  1416. unix-dirent
  1417. unix-errno < "0.6.0"
  1418. unix-fcntl
  1419. unix-sys-resource
  1420. unix-sys-stat
  1421. unix-time
  1422. unix-type-representations
  1423. unix-unistd
  1424. unmagic < "1.0.4"
  1425. uri < "1.9.6"
  1426. usb
  1427. usbmux
  1428. user-setup
  1429. utop >= "1.18.1"
  1430. utp
  1431. uucd
  1432. uucp
  1433. uuidm
  1434. uunf
  1435. uuseg
  1436. uutf
  1437. uuuu >= "0.2.0"
  1438. uwt
  1439. valentine
  1440. variantslib < "v0.9.0"
  1441. vchan < "4.0.0"
  1442. vchan-unix < "4.0.0"
  1443. vchan-xen < "4.0.0"
  1444. vector3 < "1.0.0"
  1445. vg
  1446. vhd-format < "0.9.1"
  1447. vhd-tool
  1448. vhdlib
  1449. visitors < "20200207"
  1450. vlt
  1451. vmnet < "1.3.0"
  1452. voaacenc
  1453. volt
  1454. vorbis < "0.8.0"
  1455. vpnkit < "0.1.1"
  1456. vrt
  1457. vscoq-language-server
  1458. wamp < "1.2"
  1459. wasm
  1460. wcs-lib < "2017-05-26.02"
  1461. wdialog
  1462. webbrowser
  1463. webdav
  1464. weberizer < "0.7.8"
  1465. webidl
  1466. webmachine < "0.5.0"
  1467. websocketml
  1468. webtest < "2.0.0"
  1469. why3 >= "1.0.0"
  1470. why3-base
  1471. why3-coq
  1472. why3-ide
  1473. win-error < "0.3"
  1474. win-eventlog < "0.2"
  1475. wiringpi
  1476. wxOCaml
  1477. x509 < "0.6.3"
  1478. xapi-backtrace < "0.5"
  1479. xapi-forkexecd
  1480. xapi-idl
  1481. xapi-inventory < "1.2.3"
  1482. xapi-libs-transitional
  1483. xapi-rrd < "1.8.2"
  1484. xapi-rrdd
  1485. xapi-stdext
  1486. xapi-tapctl
  1487. xe
  1488. xe-unikernel-upload
  1489. xen-api-client
  1490. xen-block-driver
  1491. xen-disk
  1492. xen-evtchn < "2.1.0"
  1493. xen-evtchn-unix < "2.1.0"
  1494. xen-gnt >= "2.2.0" & < "3.0.1"
  1495. xen-gnt-unix < "3.0.1"
  1496. xenbigarray
  1497. xenctrl
  1498. xenstore < "2.0.0"
  1499. xenstore_transport < "1.1.0"
  1500. xentropyd
  1501. xml-light < "2.5"
  1502. xmldiff < "0.7.0"
  1503. xmlm
  1504. xmlplaylist < "0.1.5"
  1505. xstr
  1506. xstrp4
  1507. xtmpl < "0.19.0"
  1508. yajl
  1509. yajl-extra
  1510. yices2
  1511. yices2_bindings
  1512. yojson < "1.4.0"
  1513. yurt < "0.6"
  1514. z3
  1515. zarith
  1516. zarith-freestanding
  1517. zarith-xen
  1518. zed < "1.5"
  1519. zero >= "109.19.00" & < "109.28.00"
  1520. zipc
  1521. zipperposition < "1.5.1"
  1522. zlib < "0.6"
  1523. zlist < "0.4.0"
  1524. zmq < "5.0.0"
  1525. zstd < "0.3"
  1526. 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