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.3.tar.gz
md5=687b9dfee7d9d380d2eabe62bab67f09

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