package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.8.0.tar.gz
md5=a710c559667672077a93d34eb6a42e5b

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: 17 Apr 2018

Dependencies (2)

  1. conf-m4 build
  2. ocaml >= "4.00.0" & < "4.09.0"

Dev Dependencies

None

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

Conflicts

None

OCaml

Innovation. Community. Security.