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.5.6.tar.gz
sha256=7743b3dcaf8a344c882e89f61601f7f086d46c0f2ea4fcc3e54069236825e3f8
md5=91585dd5459cb69bfd9a0689bf222403

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: 28 Oct 2015

Dependencies (3)

  1. num = "0"
  2. conf-m4 build
  3. ocaml >= "3.12.0" & < "4.07"

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