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.1.tar.gz
md5=6bf0d0da66104bc8bdcb3018bd13a202

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: 03 Jul 2014

Dependencies (3)

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