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.6.2.tar.gz
md5=530ff275d6b96e140f0d3a03ed14b68e

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: 10 Mar 2016

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