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.2.tar.gz
md5=b4939ea55f83e132794df17f8d176de9

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