package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

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

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 >= "109.19.00" & < "v0.9.0"
  42. async-mvar
  43. async-zmq
  44. async_core >= "109.19.00"
  45. async_extended < "v0.9.0"
  46. async_extra >= "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 >= "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 < "20241204"
  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. bytesrw
  131. Camldiets
  132. CamlGI
  133. cache
  134. cairo
  135. cairo2 < "0.6"
  136. calculon < "0.2"
  137. calendar < "3.0.0"
  138. caml2html
  139. camlbz2 < "transition"
  140. camldm
  141. camlgpc
  142. camlhighlight
  143. camlimages
  144. camllib
  145. camlon < "2.0.1"
  146. camlp4 >= "4.02+1" & < "4.02+6" | = "4.02.0-1modular-implicits" | >= "5.0"
  147. camlp5 >= "8.00.03"
  148. camlpdf
  149. camlprime
  150. camltc < "0.9.8"
  151. camltemplate
  152. camlzip
  153. camomile < "0.8.6"
  154. caper
  155. capnp < "3.0.0"
  156. captureio
  157. caqti < "1.0.0"
  158. caqti-dynload
  159. caradoc
  160. caravan
  161. carton < "0.7.2"
  162. catala >= "0.8.0"
  163. cbor < "0.3"
  164. cconv < "0.5"
  165. cconv-ppx
  166. ccss
  167. cdrom < "0.9.3"
  168. cduce
  169. certify < "0.3.0"
  170. cfg < "2.1.0"
  171. cfstream < "1.2.3"
  172. cgi
  173. cgroups
  174. chalk
  175. chamo < "4.0"
  176. channel
  177. charrua-client < "0.9"
  178. charrua-core < "0.8"
  179. charrua-unix < "0.9"
  180. checkseum >= "0.2.0"
  181. choice < "0.4"
  182. cil
  183. clangml != "4.0.0beta1"
  184. clarity < "0.4.0"
  185. cloudi < "1.7.4"
  186. cmark
  187. cmarkit
  188. cmdliner < "0.9.7" | >= "1.0.0" & < "1.0.3"
  189. cmdtui
  190. coccinelle
  191. coclobas
  192. cohttp < "0.99.0"
  193. coin >= "0.1.2"
  194. combine < "0.42"
  195. commonjs_of_ocaml
  196. comparelib
  197. conduit < "1.0.0"
  198. conex < "0.10.0"
  199. config-file < "1.2.1"
  200. configuration
  201. conjury
  202. containers < "2.0"
  203. cookie-js
  204. coq >= "8.6" & < "8.17.0"
  205. coq-core
  206. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20"
  207. coq-of-ocaml
  208. coq-serapi
  209. coqide >= "8.11.2"
  210. cordova
  211. cordova-plugin-activity-indicator
  212. cordova-plugin-background-mode
  213. cordova-plugin-barcode-scanner
  214. cordova-plugin-battery-status
  215. cordova-plugin-camera
  216. cordova-plugin-clipboard
  217. cordova-plugin-datepicker
  218. cordova-plugin-device
  219. cordova-plugin-device-motion
  220. cordova-plugin-device-orientation
  221. cordova-plugin-dialogs
  222. cordova-plugin-email-composer
  223. cordova-plugin-fcm
  224. cordova-plugin-file
  225. cordova-plugin-file-opener
  226. cordova-plugin-file-transfer
  227. cordova-plugin-geolocation
  228. cordova-plugin-globalization
  229. cordova-plugin-image-picker
  230. cordova-plugin-inappbrowser
  231. cordova-plugin-insomnia
  232. cordova-plugin-keyboard
  233. cordova-plugin-loading-spinner
  234. cordova-plugin-local-notifications
  235. cordova-plugin-media
  236. cordova-plugin-media-capture
  237. cordova-plugin-network-information
  238. cordova-plugin-progress
  239. cordova-plugin-push-notifications
  240. cordova-plugin-qrscanner
  241. cordova-plugin-screen-orientation
  242. cordova-plugin-sim-card
  243. cordova-plugin-sms
  244. cordova-plugin-social-sharing
  245. cordova-plugin-statusbar
  246. cordova-plugin-toast
  247. cordova-plugin-touch-id
  248. cordova-plugin-vibration
  249. cordova-plugin-videoplayer
  250. core < "v0.9.0"
  251. core_bench >= "113.24.00" & < "v0.9.0"
  252. core_extended < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  253. core_kernel < "v0.9.0"
  254. core_profiler >= "113.24.00" & < "v0.9.0"
  255. corecount
  256. cow < "2.3.0"
  257. cowabloga < "0.4.0"
  258. cpdf
  259. cpm < "4.0.0"
  260. cppo >= "0.9.4" & < "1.6.0"
  261. cppo_ocamlbuild
  262. cpuid < "0.1.2"
  263. crc = "1.0.0"
  264. crdt-ml
  265. crunch < "2.1.0"
  266. cry < "0.6.5"
  267. crypt
  268. cryptgps
  269. cryptodbm < "0.84.2"
  270. cryptohash
  271. cryptokit < "1.16.1"
  272. cryptoverif
  273. cstruct < "3.0.0"
  274. csv < "2.0"
  275. csvprovider
  276. ctypes < "0.21.1"
  277. ctypes-build
  278. cubicle
  279. cudf >= "0.7" & < "0.10"
  280. curses < "1.0.9"
  281. custom_printf
  282. DAGaml
  283. DrawGrammar < "0.2.1"
  284. d3
  285. datakit < "0.10.0"
  286. datakit-bridge-github < "0.10.0"
  287. datakit-bridge-local-git < "0.10.0"
  288. datakit-ci < "0.10.0"
  289. datakit-client < "0.10.0"
  290. datakit-github < "0.10.0"
  291. datakit-server < "0.10.0"
  292. datalog < "0.6"
  293. dbforge
  294. dbm
  295. debian-formats < "0.1.2"
  296. decompress < "0.8"
  297. dedukti < "2.7"
  298. delimcc
  299. depext < "0.3"
  300. depgraph
  301. depyt < "0.2.0"
  302. deriving
  303. deriving-ocsigen
  304. deriving-yojson
  305. devkit < "1.0"
  306. dht
  307. digestif < "0.6.1" | >= "0.8.1"
  308. dispatch < "0.4.0"
  309. distributed < "0.5.0"
  310. distwit
  311. dlist < "0.0.3"
  312. dns < "1.0.0"
  313. dns-forward < "0.9.0"
  314. dnscurve
  315. doc-ock
  316. doc-ock-html
  317. doc-ock-xml
  318. docker-api < "0.2"
  319. dockerfile < "3.0.0"
  320. docout
  321. dog >= "0.2.0"
  322. dolmen < "0.4"
  323. dolog < "4.0.0"
  324. domain-name < "0.1.2"
  325. dose3 < "6.1"
  326. dot-merlin-reader
  327. down
  328. dropbox < "0.2"
  329. dsfo
  330. dssi < "0.1.3"
  331. dtoa < "0.3.0"
  332. dtools < "0.4.2"
  333. dum < "1.0.3"
  334. dumpast
  335. dune >= "3.17.0"
  336. duppy < "0.9.0"
  337. duration < "0.1.2"
  338. dyntype
  339. dypgen
  340. earley < "2.0.0"
  341. earley-ocaml
  342. easy-format < "1.3.0"
  343. edn < "0.1.6-1-gff9db95"
  344. efl
  345. eigen < "0.1.0"
  346. elasticsearch-cli < "0.5"
  347. electrod < "0.1.6"
  348. electrumAnalyzer
  349. elf2json
  350. elina
  351. eliom
  352. elpi >= "1.2.0" & < "1.4.0"
  353. email_message >= "113.24.00" & < "v0.9.0"
  354. emoji
  355. enumerate
  356. enumerators
  357. erm_xml
  358. erm_xmpp
  359. erssical < "1.1.0"
  360. estring
  361. exenum < "0.86"
  362. exn-source
  363. expect < "0.1.0"
  364. extlib < "1.7.9"
  365. extlib-compat
  366. extprot
  367. extunix < "0.3.1"
  368. ezirmin
  369. ezjsonm < "1.0.0"
  370. ezjsonm-lwt < "1.0.0"
  371. ezsqlite < "0.4"
  372. ezxmlm < "1.0.2"
  373. FrontC < "3.4.2"
  374. faad < "0.5.0"
  375. fadbadml < "0.1.2"
  376. faillib
  377. faraday < "0.3.0"
  378. farfadet
  379. farmhash < "0.4"
  380. fat-filesystem < "0.12.2"
  381. fd-send-recv < "1.0.5"
  382. fdkaac < "0.3.2"
  383. ffmpeg < "1.0.0~beta1"
  384. fftw3 < "0.8"
  385. fieldslib < "v0.9.0"
  386. fileutils < "0.6.1"
  387. fix < "20181206"
  388. flac < "0.3.0"
  389. flock
  390. flow
  391. flow_parser < "0.229.1"
  392. flowtype >= "0.72.0"
  393. fluent-logger < "1.1.0"
  394. fmt
  395. forkwork
  396. format
  397. fpath
  398. frag
  399. frama-c >= "16.0" & < "28.0~beta"
  400. frama-c-base
  401. freetds < "0.5.2"
  402. freetennis
  403. frei0r < "0.1.2"
  404. frenetic < "5.0.0"
  405. fstar
  406. fstreams
  407. ftp
  408. functoria < "2.1.0"
  409. functoria-runtime < "2.1.0" | = "4.3.5"
  410. functory
  411. funfields
  412. fury-puyo
  413. future
  414. General < "0.4.0"
  415. GT
  416. GuaCaml
  417. gamepad
  418. gammu < "0.9.4"
  419. gapi-ocaml < "0.3.6"
  420. gasoline
  421. gavl
  422. gd < "1.1"
  423. gdal < "0.10.0"
  424. gdb
  425. gdbprofiler < "0.2"
  426. gedcom
  427. gen < "0.5.1"
  428. gen-bs
  429. gen_js_api < "1.0.6"
  430. gen_server
  431. genet
  432. genlet
  433. genspio < "0.0.1"
  434. genspir < "1.0.0"
  435. gensqlite
  436. geoip
  437. getopt < "20230213"
  438. getopts
  439. gettext < "0.4.1"
  440. gg
  441. git-unix >= "3.0.0" & < "3.16.0"
  442. github < "3.0.0"
  443. github-hooks < "0.2.0"
  444. gles3
  445. glical >= "0.0.4"
  446. glicko2
  447. glMLite
  448. glpk
  449. glsurf
  450. gmap < "0.2.1"
  451. gnuplot < "0.5.3"
  452. goblint < "1.1.1"
  453. goblint-cil
  454. google-drive-ocamlfuse < "0.6.23"
  455. gospel >= "0.2.0"
  456. gperftools < "0.4"
  457. gpr < "1.3.0"
  458. gpx
  459. grain_dypgen
  460. grain_wasm_spec
  461. graphicspdf
  462. graphql_ppx < "0.7.1"
  463. grenier < "0.7"
  464. grib
  465. gsl < "1.20.0"
  466. gstreamer < "0.3.1"
  467. gtk-light
  468. gtktop
  469. gufo
  470. gxl-light
  471. h2-lwt-unix < "0.4.0"
  472. hachis
  473. hacl-star-raw
  474. hamt
  475. hardcaml < "v0.12.0"
  476. hardcaml-affirm
  477. hardcaml-bloop
  478. hardcaml-llvmsim >= "0.3.0"
  479. hardcaml-reedsolomon
  480. hardcaml-vpi >= "0.3.0"
  481. hardcaml-waveterm >= "0.2.0"
  482. hardcaml-yosys
  483. hashcons < "1.4.0"
  484. hashset
  485. haxe
  486. hdf
  487. hdf5 < "0.1.5"
  488. hdfs
  489. hector < "20241208"
  490. heptagon
  491. herdtools7 >= "7.55" & < "7.56.1"
  492. herelib
  493. hevea < "2.25"
  494. hex < "1.1.0"
  495. higher != "0.3.0"
  496. higlo < "0.8"
  497. hiredis < "0.8"
  498. hkdf < "1.0.3"
  499. hlarp
  500. hll
  501. hmap
  502. htmlit
  503. http2https
  504. http_router
  505. humane-re
  506. hvsock < "1.0.0"
  507. hydro
  508. ISO8601 < "0.2.6"
  509. i2c
  510. i3ipc < "0.1.4"
  511. ibx
  512. igvxml
  513. imagelib < "20200929"
  514. imagemagick
  515. imaplet-lwt
  516. incremental < "v0.9.0"
  517. incremental_kernel < "v0.9.0"
  518. indexmap
  519. inferno < "20190924"
  520. inotify < "2.4"
  521. inspect
  522. integers < "0.3.0"
  523. integration1d < "0.5"
  524. interval < "1.4"
  525. inuit < "0.4.1"
  526. io
  527. io-page < "2.0.0"
  528. io-page-unix < "2.0.0"
  529. io-page-xen < "2.0.0"
  530. iocaml
  531. iocaml-kernel
  532. iocamljs-kernel
  533. ipaddr < "2.8.0"
  534. ipv6-multicast < "0.9"
  535. irc-client >= "0.3.0" & < "0.6.0"
  536. iri < "0.6.0"
  537. irmin >= "0.9.6" & < "1.2.0"
  538. irmin-chunk < "1.3.0"
  539. irmin-git < "1.2.0"
  540. irmin-http < "1.2.0"
  541. irmin-mirage < "1.2.0"
  542. irmin-unix >= "1.0.0" & < "1.2.0"
  543. irmin-watcher < "0.3.0"
  544. irrlicht
  545. iso-filesystem
  546. itv-tree < "2.2"
  547. ivy
  548. JsOfOCairo < "1.0.1"
  549. jasmin
  550. javalib
  551. javascriptcore
  552. jbuilder >= "1.0+beta5" & < "1.0+beta19"
  553. jekyll-format < "0.2.0"
  554. jemalloc < "0.2"
  555. jenga >= "109.19.00" & < "v0.9.0"
  556. jhupllib < "0.2.2"
  557. jingoo < "1.3.0"
  558. jitsu
  559. joolog
  560. js-build-tools
  561. js_of_ocaml < "3.0"
  562. js_of_ocaml-compiler < "3.5.0"
  563. js_of_ocaml-ocamlbuild < "3.5.0"
  564. js_of_ocaml-toplevel
  565. json-pointer
  566. json-predicate
  567. json-rpc
  568. json-static
  569. json-wheel
  570. jsondiff
  571. jsonm
  572. jsont
  573. jsoo_broadcastchannel < "2.0.0"
  574. jsoo_router
  575. jsoo_storage < "1.0.1"
  576. junit < "2.0"
  577. jupyter < "2.2.1"
  578. KaSim >= "4.0.0"
  579. kafka < "0.3"
  580. kaputt
  581. karamel
  582. ketrew
  583. key-parsers < "0.10.0"
  584. kinetic-client < "0.0.11"
  585. kremlin < "transition"
  586. lablgl >= "1.07"
  587. lablgtk
  588. lablgtk-extras
  589. lablgtk3 < "3.0.beta4" | >= "3.1.3"
  590. lablgtk3-extras < "3.0.1"
  591. lablqml
  592. labltk
  593. lacaml < "10.0.1"
  594. lacc
  595. ladspa < "0.2.0"
  596. lambda-term < "1.11"
  597. lambdapi < "2.0.0"
  598. lambdasoup < "0.6.2"
  599. lambdoc
  600. lame < "0.3.4"
  601. landmarks < "1.3"
  602. lascar < "0.6-alpha"
  603. lastfm < "0.3.3"
  604. launchd < "1.3"
  605. lazy-trie < "1.2.0"
  606. lbfgs < "0.9"
  607. learn-ocaml
  608. learn-ocaml-client
  609. ledit >= "2.06"
  610. lem
  611. lemonade
  612. lemonade-sqlite
  613. lens < "1.2.1"
  614. leveldb < "1.3.0"
  615. levenshtein < "1.1.3"
  616. libdash
  617. libevent
  618. libra-tk
  619. libres3
  620. libssh
  621. libsvm < "0.9.4"
  622. libudev
  623. libvhd
  624. libvirt
  625. lilis
  626. linenoise < "1.1.0"
  627. linkage
  628. links != "0.7.2"
  629. linksem
  630. lipsum
  631. liquidsoap < "2.2.0"
  632. litiom
  633. llvm >= "3.9" & < "15.0.7+nnp-2"
  634. llvmgraph
  635. lmdb < "1.0"
  636. lo < "0.2.0"
  637. loga < "0.0.5"
  638. logger-p5
  639. logs
  640. logs-syslog < "0.2.0"
  641. logtk < "1.5.1"
  642. lpd < "1.2.2"
  643. lpi
  644. lru < "0.3.0"
  645. lru-cache
  646. lua-ml >= "0.9.1" & < "0.9.3"
  647. lua_pattern
  648. lustre-v6
  649. lutils
  650. lutin
  651. lwt
  652. lwt-parallel < "1.0.0"
  653. lwt-zmq
  654. lwt_glib < "1.1.0"
  655. lwt_named_threads
  656. lymp
  657. lz4 < "1.2.0"
  658. lzo < "0.0.3"
  659. m17n
  660. macaque
  661. macaque_lwt
  662. macaroons
  663. mad < "0.5.0"
  664. magic
  665. magic-mime < "1.1.0"
  666. maildir
  667. maki
  668. malfunction
  669. mariadb < "1.2.0"
  670. markup < "0.7.6"
  671. mascot
  672. maxminddb
  673. mbr-format < "1.0.0"
  674. mdx >= "1.2.0"
  675. mecab
  676. mechaml < "1.1.0"
  677. memcpy
  678. menhir < "20200123"
  679. mergeable-vector
  680. merlin < "3.4.0"
  681. merlin-extend < "0.4"
  682. merlin-of-pds
  683. mesh < "0.9.3"
  684. mesh-display
  685. mesh-easymesh < "0.9.3"
  686. mesh-graphics < "0.9.3"
  687. mesh-triangle < "0.9.3"
  688. message-switch
  689. meta_conv
  690. metapp
  691. metaquot
  692. mezzo
  693. mikmatch
  694. milter < "1.0.4"
  695. mindstorm < "0.8"
  696. minicli < "5.0.0"
  697. minima-theme
  698. minisat < "0.2"
  699. minivpt
  700. mirage < "0.9.1" | >= "3.0.0" & < "3.1.0"
  701. mirage-block < "1.2.0"
  702. mirage-block-ccm < "1.1.0"
  703. mirage-block-lwt < "1.2.0"
  704. mirage-block-ramdisk < "0.4"
  705. mirage-block-solo5 < "0.6.0"
  706. mirage-block-unix < "2.8.3"
  707. mirage-bootvar-solo5 >= "0.2.0" & < "0.6.0"
  708. mirage-bootvar-xen = "0.4.0"
  709. mirage-btrees
  710. mirage-channel < "3.1.0"
  711. mirage-channel-lwt < "3.1.0"
  712. mirage-clock < "1.3.0"
  713. mirage-clock-freestanding < "1.3.0"
  714. mirage-clock-lwt < "1.3.0"
  715. mirage-clock-unix < "1.3.0"
  716. mirage-clock-xen
  717. mirage-console < "2.3.2"
  718. mirage-console-lwt < "2.3.2"
  719. mirage-console-solo5 < "0.6.0"
  720. mirage-console-unix < "2.3.2"
  721. mirage-console-xen-backend != "2.3.2" & < "2.3.4"
  722. mirage-console-xen-cli
  723. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
  724. mirage-device < "1.1.0"
  725. mirage-dns < "3.0.0"
  726. mirage-entropy < "0.5.1"
  727. mirage-entropy-unix
  728. mirage-entropy-xen
  729. mirage-flow < "1.3.0"
  730. mirage-flow-lwt < "1.3.0"
  731. mirage-flow-unix < "1.3.0"
  732. mirage-fs < "0.4.0" | = "1.0.0"
  733. mirage-fs-lwt < "1.1.1"
  734. mirage-fs-unix < "1.4.0"
  735. mirage-http < "3.2.0"
  736. mirage-http-unix
  737. mirage-kv < "1.1.1"
  738. mirage-kv-lwt < "1.1.0"
  739. mirage-logs < "1.0.0"
  740. mirage-net < "0.9.1" | = "1.0.0"
  741. mirage-net-direct
  742. mirage-net-fd < "0.2.1"
  743. mirage-net-lwt < "1.1.0"
  744. mirage-net-macosx < "1.5.0"
  745. mirage-net-socket
  746. mirage-net-solo5 < "0.4.3"
  747. mirage-net-unix < "2.4.1"
  748. mirage-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.6"
  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-time < "1.1.0"
  763. mirage-time-lwt < "1.1.0"
  764. mirage-types < "3.0.5"
  765. mirage-types-lwt < "3.0.5"
  766. mirage-unix < "3.2.0"
  767. mirage-vnetif = "0.3.1"
  768. mirage-www < "1.0.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. odoc-driver
  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. 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" & < "0.4.0"
  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.6"
  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. selfie
  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. 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. vector3 < "1.0.0"
  1443. vg
  1444. vhd-format < "0.9.1"
  1445. vhd-tool
  1446. vhdlib
  1447. visitors < "20200207"
  1448. vlt
  1449. vmnet < "1.3.0"
  1450. voaacenc
  1451. volt
  1452. vorbis < "0.8.0"
  1453. vpnkit < "0.1.1"
  1454. vrt
  1455. vscoq-language-server
  1456. wamp < "1.2"
  1457. wasm
  1458. wcs-lib < "2017-05-26.02"
  1459. wdialog
  1460. webbrowser
  1461. webdav
  1462. weberizer < "0.7.8"
  1463. webidl
  1464. webmachine < "0.5.0"
  1465. websocketml
  1466. webtest < "2.0.0"
  1467. why3 >= "1.0.0"
  1468. why3-base
  1469. why3-coq
  1470. why3-ide
  1471. win-error < "0.3"
  1472. win-eventlog < "0.2"
  1473. wiringpi
  1474. wxOCaml
  1475. x509 < "0.6.3"
  1476. xapi-backtrace < "0.5"
  1477. xapi-forkexecd
  1478. xapi-idl
  1479. xapi-inventory < "1.2.3"
  1480. xapi-libs-transitional
  1481. xapi-rrd < "1.8.2"
  1482. xapi-rrdd
  1483. xapi-stdext
  1484. xapi-tapctl
  1485. xe
  1486. xe-unikernel-upload
  1487. xen-api-client
  1488. xen-evtchn < "2.1.0"
  1489. xen-evtchn-unix < "2.1.0"
  1490. xen-gnt >= "2.2.0" & < "3.0.1"
  1491. xen-gnt-unix < "3.0.1"
  1492. xenbigarray
  1493. xenctrl
  1494. xenstore < "2.0.0"
  1495. xenstore_transport < "1.1.0"
  1496. xentropyd
  1497. xml-light < "2.5"
  1498. xmldiff < "0.7.0"
  1499. xmlm
  1500. xmlplaylist < "0.1.5"
  1501. xstr
  1502. xstrp4
  1503. xtmpl < "0.19.0"
  1504. yajl
  1505. yajl-extra
  1506. yices2
  1507. yices2_bindings
  1508. yojson < "1.4.0"
  1509. yurt < "0.6"
  1510. z3
  1511. zarith
  1512. zarith-freestanding
  1513. zarith-xen
  1514. zed < "1.5"
  1515. zero >= "109.19.00" & < "109.28.00"
  1516. zipc
  1517. zipperposition < "1.5.1"
  1518. zlib < "0.6"
  1519. zlist < "0.4.0"
  1520. zmq < "5.0.0"
  1521. zstd < "0.3"
  1522. 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