package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.5.6.tar.gz
sha256=7743b3dcaf8a344c882e89f61601f7f086d46c0f2ea4fcc3e54069236825e3f8
md5=91585dd5459cb69bfd9a0689bf222403

Description

Findlib is a library manager for OCaml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.

Published: 28 Oct 2015

Dependencies (3)

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

Dev Dependencies

None

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

Conflicts

None

OCaml

Innovation. Community. Security.