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. 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. 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" & < "0.4.0"
  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.6"
  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. selfie
  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. 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. vector3 < "1.0.0"
  1442. vg
  1443. vhd-format < "0.9.1"
  1444. vhd-tool
  1445. vhdlib
  1446. visitors < "20200207"
  1447. vlt
  1448. vmnet < "1.3.0"
  1449. voaacenc
  1450. volt
  1451. vorbis < "0.8.0"
  1452. vpnkit < "0.1.1"
  1453. vrt
  1454. vscoq-language-server
  1455. wamp < "1.2"
  1456. wasm
  1457. wcs-lib < "2017-05-26.02"
  1458. wdialog
  1459. webbrowser
  1460. webdav
  1461. weberizer < "0.7.8"
  1462. webidl
  1463. webmachine < "0.5.0"
  1464. websocketml
  1465. webtest < "2.0.0"
  1466. why3 >= "1.0.0"
  1467. why3-base
  1468. why3-coq
  1469. why3-ide
  1470. win-error < "0.3"
  1471. win-eventlog < "0.2"
  1472. wiringpi
  1473. wxOCaml
  1474. x509 < "0.6.3"
  1475. xapi-backtrace < "0.5"
  1476. xapi-forkexecd
  1477. xapi-idl
  1478. xapi-inventory < "1.2.3"
  1479. xapi-libs-transitional
  1480. xapi-rrd < "1.8.2"
  1481. xapi-rrdd
  1482. xapi-stdext
  1483. xapi-tapctl
  1484. xe
  1485. xe-unikernel-upload
  1486. xen-api-client
  1487. xen-evtchn < "2.1.0"
  1488. xen-evtchn-unix < "2.1.0"
  1489. xen-gnt >= "2.2.0" & < "3.0.1"
  1490. xen-gnt-unix < "3.0.1"
  1491. xenbigarray
  1492. xenctrl
  1493. xenstore < "2.0.0"
  1494. xenstore_transport < "1.1.0"
  1495. xentropyd
  1496. xml-light < "2.5"
  1497. xmldiff < "0.7.0"
  1498. xmlm
  1499. xmlplaylist < "0.1.5"
  1500. xstr
  1501. xstrp4
  1502. xtmpl < "0.19.0"
  1503. yajl
  1504. yajl-extra
  1505. yices2
  1506. yices2_bindings
  1507. yojson < "1.4.0"
  1508. yurt < "0.6"
  1509. z3
  1510. zarith
  1511. zarith-freestanding
  1512. zarith-xen
  1513. zed < "1.5"
  1514. zero >= "109.19.00" & < "109.28.00"
  1515. zipc
  1516. zipperposition < "1.5.1"
  1517. zlib < "0.6"
  1518. zlist < "0.4.0"
  1519. zmq < "5.0.0"
  1520. zstd < "0.3"
  1521. 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