package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.7.2.tar.gz
md5=b2ced422ea53192bd046faa7bcbcd4a3

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: 23 May 2017

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. 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
  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.0"
  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. containers < "2.0"
  199. cookie-js
  200. coq >= "8.6" & < "8.16.0"
  201. coq-of-ocaml
  202. coq-serapi < "8.9.0+0.6.0"
  203. coqide >= "8.11.2" & < "8.16.0" | >= "8.17.0"
  204. cordova
  205. cordova-plugin-activity-indicator
  206. cordova-plugin-background-mode
  207. cordova-plugin-barcode-scanner
  208. cordova-plugin-battery-status
  209. cordova-plugin-camera
  210. cordova-plugin-clipboard
  211. cordova-plugin-datepicker
  212. cordova-plugin-device
  213. cordova-plugin-device-motion
  214. cordova-plugin-device-orientation
  215. cordova-plugin-dialogs
  216. cordova-plugin-email-composer
  217. cordova-plugin-fcm
  218. cordova-plugin-file
  219. cordova-plugin-file-opener
  220. cordova-plugin-file-transfer
  221. cordova-plugin-geolocation
  222. cordova-plugin-globalization
  223. cordova-plugin-image-picker
  224. cordova-plugin-inappbrowser
  225. cordova-plugin-insomnia
  226. cordova-plugin-keyboard
  227. cordova-plugin-loading-spinner
  228. cordova-plugin-local-notifications
  229. cordova-plugin-media
  230. cordova-plugin-media-capture
  231. cordova-plugin-network-information
  232. cordova-plugin-progress
  233. cordova-plugin-push-notifications
  234. cordova-plugin-qrscanner
  235. cordova-plugin-screen-orientation
  236. cordova-plugin-sim-card
  237. cordova-plugin-sms
  238. cordova-plugin-social-sharing
  239. cordova-plugin-statusbar
  240. cordova-plugin-toast
  241. cordova-plugin-touch-id
  242. cordova-plugin-vibration
  243. cordova-plugin-videoplayer
  244. core < "v0.9.0"
  245. core_bench >= "113.24.00" & < "v0.9.0"
  246. core_extended < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  247. core_kernel < "v0.9.0"
  248. core_profiler >= "113.24.00" & < "v0.9.0"
  249. corecount
  250. cow < "2.3.0"
  251. cowabloga < "0.4.0"
  252. cpdf
  253. cpm < "4.0.0"
  254. cppo >= "0.9.4" & < "1.6.0"
  255. cppo_ocamlbuild
  256. cpuid < "0.1.2"
  257. crc = "1.0.0"
  258. crdt-ml
  259. crunch < "2.1.0"
  260. cry < "0.6.5"
  261. crypt
  262. cryptgps
  263. cryptodbm < "0.84.2"
  264. cryptohash
  265. cryptokit < "1.16.1"
  266. cryptoverif
  267. cstruct < "3.0.0"
  268. csv < "2.0"
  269. csvprovider
  270. ctypes < "0.21.1"
  271. ctypes-build
  272. cubicle
  273. cudf >= "0.7" & < "0.10"
  274. curses < "1.0.9"
  275. custom_printf
  276. DAGaml
  277. DrawGrammar < "0.2.1"
  278. d3
  279. datakit < "0.10.0"
  280. datakit-bridge-github < "0.10.0"
  281. datakit-bridge-local-git < "0.10.0"
  282. datakit-ci < "0.10.0"
  283. datakit-client < "0.10.0"
  284. datakit-github < "0.10.0"
  285. datakit-server < "0.10.0"
  286. datalog < "0.6"
  287. dbforge
  288. dbm
  289. debian-formats < "0.1.2"
  290. decompress < "0.8"
  291. dedukti < "2.7"
  292. delimcc
  293. depext < "0.3"
  294. depgraph
  295. depyt < "0.2.0"
  296. deriving
  297. deriving-ocsigen
  298. deriving-yojson
  299. devkit < "1.0"
  300. dht
  301. digestif < "0.6.1" | >= "0.8.1"
  302. dispatch < "0.4.0"
  303. distributed < "0.5.0"
  304. distwit
  305. dlist < "0.0.3"
  306. dns < "1.0.0"
  307. dns-forward < "0.9.0"
  308. dnscurve
  309. doc-ock
  310. doc-ock-html
  311. doc-ock-xml
  312. docker-api < "0.2"
  313. dockerfile < "3.0.0"
  314. docout
  315. dog >= "0.2.0"
  316. dolmen < "0.4"
  317. dolog < "4.0.0"
  318. domain-name < "0.1.2"
  319. dose3 < "6.1"
  320. dot-merlin-reader
  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-bs
  422. gen_js_api < "1.0.6"
  423. gen_server
  424. genet
  425. genlet
  426. genspio < "0.0.1"
  427. genspir < "1.0.0"
  428. gensqlite
  429. geoip
  430. getopt < "20230213"
  431. getopts
  432. gettext < "0.4.1"
  433. gg
  434. github < "3.0.0"
  435. github-hooks < "0.2.0"
  436. gles3
  437. glical >= "0.0.4"
  438. glicko2
  439. glMLite
  440. glpk
  441. glsurf
  442. gmap < "0.2.1"
  443. gnuplot < "0.5.3"
  444. goblint < "1.1.1"
  445. goblint-cil
  446. google-drive-ocamlfuse < "0.6.23"
  447. gospel >= "0.2.0"
  448. gperftools < "0.4"
  449. gpr < "1.3.0"
  450. gpx
  451. grain_dypgen
  452. grain_wasm_spec
  453. graphicspdf
  454. graphql_ppx < "0.7.1"
  455. grenier < "0.7"
  456. grib
  457. gsl < "1.20.0"
  458. gstreamer < "0.3.1"
  459. gtk-light
  460. gtktop
  461. gufo
  462. gxl-light
  463. h2-lwt-unix < "0.4.0"
  464. hacl-star-raw
  465. hamt
  466. hardcaml < "v0.12.0"
  467. hardcaml-affirm
  468. hardcaml-bloop
  469. hardcaml-llvmsim >= "0.3.0"
  470. hardcaml-reedsolomon
  471. hardcaml-vpi >= "0.3.0"
  472. hardcaml-waveterm >= "0.2.0"
  473. hardcaml-yosys
  474. hashcons < "1.4.0"
  475. hashset
  476. haxe
  477. hdf
  478. hdf5 < "0.1.5"
  479. hdfs
  480. heptagon
  481. herdtools7 >= "7.55" & < "7.56.1"
  482. herelib
  483. hevea < "2.25"
  484. hex < "1.1.0"
  485. higher != "0.3.0"
  486. higlo < "0.8"
  487. hiredis < "0.8"
  488. hkdf < "1.0.3"
  489. hlarp
  490. hll
  491. hmap
  492. htmlit
  493. http2https
  494. http_router
  495. humane-re
  496. hvsock < "1.0.0"
  497. hydro
  498. ISO8601 < "0.2.6"
  499. i2c
  500. i3ipc < "0.1.4"
  501. ibx
  502. igvxml
  503. imagelib < "20200929"
  504. imagemagick
  505. imaplet-lwt
  506. incremental < "v0.9.0"
  507. incremental_kernel < "v0.9.0"
  508. indexmap
  509. inferno < "20190924"
  510. inotify < "2.4"
  511. inspect
  512. integers < "0.3.0"
  513. integration1d < "0.5"
  514. interval < "1.4"
  515. inuit < "0.4.1"
  516. io
  517. io-page < "2.0.0"
  518. io-page-unix < "2.0.0"
  519. io-page-xen < "2.0.0"
  520. iocaml
  521. iocaml-kernel
  522. iocamljs-kernel
  523. ipaddr < "2.8.0"
  524. ipv6-multicast < "0.9"
  525. irc-client >= "0.3.0" & < "0.6.0"
  526. iri < "0.6.0"
  527. irmin >= "0.9.6" & < "1.2.0"
  528. irmin-chunk < "1.3.0"
  529. irmin-git < "1.2.0"
  530. irmin-http < "1.2.0"
  531. irmin-mirage < "1.2.0"
  532. irmin-unix >= "1.0.0" & < "1.2.0"
  533. irmin-watcher < "0.3.0"
  534. irrlicht
  535. iso-filesystem
  536. itv-tree < "2.2"
  537. ivy
  538. JsOfOCairo < "1.0.1"
  539. jasmin
  540. javalib
  541. javascriptcore
  542. jbuilder >= "1.0+beta5" & < "1.0+beta19"
  543. jekyll-format < "0.2.0"
  544. jemalloc < "0.2"
  545. jenga >= "109.19.00" & < "v0.9.0"
  546. jhupllib < "0.2.2"
  547. jingoo < "1.3.0"
  548. jitsu
  549. joolog
  550. js-build-tools
  551. js_of_ocaml < "3.0"
  552. js_of_ocaml-compiler < "3.5.0"
  553. js_of_ocaml-ocamlbuild < "3.5.0"
  554. js_of_ocaml-toplevel
  555. json-pointer
  556. json-predicate
  557. json-rpc
  558. json-static
  559. json-wheel
  560. jsondiff
  561. jsonm
  562. jsoo_broadcastchannel < "2.0.0"
  563. jsoo_router
  564. jsoo_storage < "1.0.1"
  565. junit < "2.0"
  566. jupyter < "2.2.1"
  567. KaSim >= "4.0.0"
  568. kafka < "0.3"
  569. kaputt
  570. karamel
  571. ketrew
  572. key-parsers < "0.10.0"
  573. kinetic-client < "0.0.11"
  574. kremlin < "transition"
  575. lablgl >= "1.07"
  576. lablgtk
  577. lablgtk-extras
  578. lablgtk3 < "3.0.beta4" | >= "3.1.3"
  579. lablgtk3-extras < "3.0.1"
  580. lablqml
  581. labltk
  582. lacaml < "10.0.1"
  583. lacc
  584. ladspa < "0.2.0"
  585. lambda-term < "1.11"
  586. lambdapi < "2.0.0"
  587. lambdasoup < "0.6.2"
  588. lambdoc
  589. lame < "0.3.4"
  590. landmarks < "1.3"
  591. lascar < "0.6-alpha"
  592. lastfm < "0.3.3"
  593. launchd < "1.3"
  594. lazy-trie < "1.2.0"
  595. lbfgs < "0.9"
  596. learn-ocaml
  597. learn-ocaml-client
  598. ledit >= "2.06"
  599. lem
  600. lemonade
  601. lemonade-sqlite
  602. lens < "1.2.1"
  603. leveldb < "1.3.0"
  604. levenshtein < "1.1.3"
  605. libevent
  606. libra-tk
  607. libres3
  608. libssh
  609. libsvm < "0.9.4"
  610. libudev
  611. libvhd
  612. libvirt
  613. lilis
  614. linenoise < "1.1.0"
  615. linkage
  616. links != "0.7.2"
  617. linksem
  618. lipsum
  619. liquidsoap < "2.2.0"
  620. litiom
  621. llvm >= "3.9" & < "15.0.7+nnp-2"
  622. llvmgraph
  623. lmdb < "1.0"
  624. lo < "0.2.0"
  625. loga < "0.0.5"
  626. logger-p5
  627. logs
  628. logs-syslog < "0.2.0"
  629. logtk < "1.5.1"
  630. lpd < "1.2.2"
  631. lpi
  632. lru < "0.3.0"
  633. lru-cache
  634. lua-ml >= "0.9.1" & < "0.9.3"
  635. lua_pattern
  636. lustre-v6
  637. lutils
  638. lutin
  639. lwt < "3.2.0"
  640. lwt-parallel < "1.0.0"
  641. lwt-zmq
  642. lwt_glib < "1.1.0"
  643. lwt_named_threads
  644. lymp
  645. lz4 < "1.2.0"
  646. lzo
  647. m17n
  648. macaque
  649. macaque_lwt
  650. macaroons
  651. mad < "0.5.0"
  652. magic
  653. magic-mime < "1.1.0"
  654. maildir
  655. maki
  656. malfunction
  657. mariadb
  658. markup < "0.7.6"
  659. mascot
  660. maxminddb
  661. mbr-format < "1.0.0"
  662. mdx >= "1.2.0"
  663. mecab
  664. mechaml < "1.1.0"
  665. memcpy
  666. menhir < "20200123"
  667. mergeable-vector
  668. merlin < "3.4.0"
  669. merlin-extend < "0.4"
  670. merlin-of-pds
  671. mesh < "0.9.3"
  672. mesh-display
  673. mesh-easymesh < "0.9.3"
  674. mesh-graphics < "0.9.3"
  675. mesh-triangle < "0.9.3"
  676. message-switch
  677. meta_conv
  678. mezzo
  679. mikmatch
  680. milter < "1.0.4"
  681. mindstorm < "0.8"
  682. minicli < "5.0.0"
  683. minima-theme
  684. minisat < "0.2"
  685. minivpt
  686. mirage < "0.9.1" | >= "3.0.0" & < "3.1.0"
  687. mirage-block < "1.2.0"
  688. mirage-block-ccm < "1.1.0"
  689. mirage-block-lwt < "1.2.0"
  690. mirage-block-ramdisk < "0.4"
  691. mirage-block-solo5 < "0.6.0"
  692. mirage-block-unix < "2.8.3"
  693. mirage-block-xen < "1.6.0"
  694. mirage-bootvar-solo5 >= "0.2.0" & < "0.6.0"
  695. mirage-bootvar-xen = "0.4.0"
  696. mirage-btrees
  697. mirage-channel < "3.1.0"
  698. mirage-channel-lwt < "3.1.0"
  699. mirage-clock < "1.3.0"
  700. mirage-clock-freestanding < "1.3.0"
  701. mirage-clock-lwt < "1.3.0"
  702. mirage-clock-unix < "1.3.0"
  703. mirage-clock-xen
  704. mirage-console < "2.3.2"
  705. mirage-console-lwt < "2.3.2"
  706. mirage-console-solo5 < "0.6.0"
  707. mirage-console-unix < "2.3.2"
  708. mirage-console-xen != "2.3.2" & < "2.3.4"
  709. mirage-console-xen-backend != "2.3.2" & < "2.3.4"
  710. mirage-console-xen-cli
  711. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
  712. mirage-device < "1.1.0"
  713. mirage-dns < "3.0.0"
  714. mirage-entropy < "0.5.1"
  715. mirage-entropy-unix
  716. mirage-entropy-xen
  717. mirage-flow < "1.3.0"
  718. mirage-flow-lwt < "1.3.0"
  719. mirage-flow-unix < "1.3.0"
  720. mirage-fs < "0.4.0" | = "1.0.0"
  721. mirage-fs-lwt < "1.1.1"
  722. mirage-fs-unix < "1.4.0"
  723. mirage-http < "3.2.0"
  724. mirage-http-unix
  725. mirage-http-xen
  726. mirage-kv < "1.1.1"
  727. mirage-kv-lwt < "1.1.0"
  728. mirage-logs < "1.0.0"
  729. mirage-net < "0.9.1" | = "1.0.0"
  730. mirage-net-direct
  731. mirage-net-fd < "0.2.1"
  732. mirage-net-lwt < "1.1.0"
  733. mirage-net-macosx < "1.5.0"
  734. mirage-net-socket
  735. mirage-net-solo5 < "0.4.3"
  736. mirage-net-unix < "2.4.1"
  737. mirage-net-xen < "1.7.1"
  738. mirage-os-shim
  739. mirage-profile < "0.8.1"
  740. mirage-profile-unix < "0.8.1"
  741. mirage-profile-xen < "0.8.1"
  742. mirage-protocols < "1.2.0"
  743. mirage-protocols-lwt < "1.2.0"
  744. mirage-qubes != "0.5" & < "0.7.0"
  745. mirage-qubes-ipv4 = "0.6"
  746. mirage-random < "1.1.0"
  747. mirage-runtime < "3.0.5"
  748. mirage-solo5 < "0.6.2"
  749. mirage-stack < "1.1.0"
  750. mirage-stack-lwt < "1.1.0"
  751. mirage-tcpip-unix
  752. mirage-tcpip-xen
  753. mirage-time < "1.1.0"
  754. mirage-time-lwt < "1.1.0"
  755. mirage-types < "3.0.5"
  756. mirage-types-lwt < "3.0.5"
  757. mirage-unix < "3.2.0"
  758. mirage-vnetif = "0.3.1"
  759. mirage-www < "1.0.0"
  760. mirage-xen < "3.2.0"
  761. mirage-xen-ocaml >= "2.3.1"
  762. mirari
  763. mirror
  764. missinglib
  765. misuja
  766. mixture
  767. mkaudio < "1.1.0"
  768. ml2mxml
  769. mlbdd < "0.7.2"
  770. mlcuddidl
  771. mld
  772. mlgmp
  773. mlgmpidl
  774. mlmpfr < "4.0.2+dune"
  775. mlpost
  776. mm < "0.7.0"
  777. mmseg < "transition"
  778. modelica_ml
  779. monadlib
  780. mongo
  781. monomorphic < "1.3"
  782. more-ocaml
  783. mosquitto
  784. mparser < "1.3"
  785. mpi
  786. mpp < "0.3.4"
  787. mpris = "0.1.1"
  788. mqtt
  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
  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-atdgen
  873. ocamlbuild-pkg
  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. pla < "1.2"
  1048. planck
  1049. plasma
  1050. plist
  1051. plotkicadsch < "0.2.0"
  1052. plplot < "5.11.0-1"
  1053. podge
  1054. polka
  1055. polyglot
  1056. pomap < "4.0.0"
  1057. portaudio < "0.2.2"
  1058. portia
  1059. posix-clock
  1060. posix-getopt < "2.0.0"
  1061. posix-math
  1062. posix-mqueue
  1063. posix-semaphore
  1064. posix-time
  1065. posix-types < "2.0.0"
  1066. postgresql < "4.1.0"
  1067. pprint < "20200226"
  1068. ppx_assert < "v0.9.0"
  1069. ppx_bench < "v0.9.0"
  1070. ppx_bigarray < "3.0.0"
  1071. ppx_bin_prot < "v0.9.0"
  1072. ppx_bitstring < "2.0.0"
  1073. ppx_blob < "0.3.0"
  1074. ppx_compare < "v0.9.0"
  1075. ppx_const < "2.0"
  1076. ppx_conv_func < "v0.9.0"
  1077. ppx_core < "v0.9.0"
  1078. ppx_cstubs
  1079. ppx_csv_conv < "v0.9.0"
  1080. ppx_curried_constr
  1081. ppx_custom_printf < "v0.9.0"
  1082. ppx_debugger
  1083. ppx_defer < "0.3.0"
  1084. ppx_deriving < "4.3" | >= "5.0"
  1085. ppx_deriving_argparse
  1086. ppx_deriving_cmdliner < "0.6.0"
  1087. ppx_deriving_crowbar
  1088. ppx_deriving_encoding >= "0.2.3"
  1089. ppx_deriving_hardcaml < "v0.12.0"
  1090. ppx_deriving_madcast < "0.2"
  1091. ppx_deriving_morphism
  1092. ppx_deriving_protobuf < "2.7"
  1093. ppx_deriving_yojson >= "2.0" & < "3.3"
  1094. ppx_distr_guards < "0.2"
  1095. ppx_dotbracket
  1096. ppx_driver < "v0.9.0"
  1097. ppx_enumerate < "v0.9.0"
  1098. ppx_expect < "v0.9.0"
  1099. ppx_fail < "v0.9.0"
  1100. ppx_fields_conv < "v0.9.0"
  1101. ppx_fun
  1102. ppx_hardcaml < "1.3.0"
  1103. ppx_here < "v0.9.0"
  1104. ppx_implicits
  1105. ppx_import < "1.5-3-gbd627d5"
  1106. ppx_include
  1107. ppx_inline_test < "v0.9.0"
  1108. ppx_jane < "v0.9.0"
  1109. ppx_jsobject_conv < "0.5.1"
  1110. ppx_json_types
  1111. ppx_let < "v0.9.0"
  1112. ppx_measure
  1113. ppx_meta_conv < "4.0.0"
  1114. ppx_monadic < "2.3.0"
  1115. ppx_monoid < "0.3.2"
  1116. ppx_netblob
  1117. ppx_optcomp < "v0.9.0"
  1118. ppx_orakuda < "3.3.0"
  1119. ppx_overload = "1.0.1"
  1120. ppx_pattern_guard
  1121. ppx_pipebang < "v0.9.0"
  1122. ppx_poly_record < "1.3.0"
  1123. ppx_relit
  1124. ppx_sexp
  1125. ppx_sexp_conv < "v0.9.0"
  1126. ppx_sexp_message < "v0.9.0"
  1127. ppx_sexp_value < "v0.9.0"
  1128. ppx_test < "1.7.0"
  1129. ppx_tools < "6.0+4.08.0"
  1130. ppx_tools_versioned < "5.2"
  1131. ppx_type_conv < "v0.9.0"
  1132. ppx_typerep_conv < "v0.9.0"
  1133. ppx_variants_conv < "v0.9.0"
  1134. ppx_where
  1135. ppx_xml_conv < "v0.9.0"
  1136. ppxfind
  1137. ppxlib >= "0.4.0"
  1138. ppxx < "2.4.0"
  1139. primes
  1140. pringo
  1141. printbox < "0.2"
  1142. prob-cache
  1143. process
  1144. procord
  1145. prof_spacetime < "0.2.0"
  1146. profound
  1147. proj4
  1148. promela
  1149. prometheus < "0.3"
  1150. prometheus-app < "0.3"
  1151. protobuf
  1152. protocol-9p < "0.11.1"
  1153. protocol-9p-tool < "0.11.2"
  1154. protocol-9p-unix < "0.11.2"
  1155. proverif
  1156. psmt2-frontend < "0.3.0"
  1157. psq < "0.1.1"
  1158. psyche
  1159. ptime
  1160. ptmap < "2.0.5"
  1161. ptset < "1.0.1"
  1162. publish < "0.3.4+transition"
  1163. pulseaudio < "0.1.4"
  1164. pumping
  1165. pvem
  1166. pvem_lwt_unix
  1167. pxp
  1168. py < "1.1"
  1169. pyml
  1170. qbf < "0.3"
  1171. qcheck < "0.8"
  1172. qcow < "0.10.2"
  1173. qcow-format
  1174. qcow-tool < "0.11.0"
  1175. qcstm
  1176. qfs
  1177. qmp < "0.19.0"
  1178. qocamlbrowser >= "0.2.9"
  1179. qrc
  1180. qrencode < "0.2"
  1181. qtest < "2.9"
  1182. quickcheck
  1183. r2pipe
  1184. radare2 < "0.0.3"
  1185. randomconv < "0.1.1"
  1186. ranger
  1187. rashell
  1188. raw_spacetime
  1189. rawlink < "1.0"
  1190. raygun4ocaml
  1191. rdbg
  1192. rdf < "0.13.0"
  1193. rdr
  1194. re < "1.7.2"
  1195. re2 >= "113.24.00" & < "v0.9.0"
  1196. react
  1197. reactiveData < "0.3.0"
  1198. reason != "3.5.0"
  1199. reason-parser
  1200. records < "1.0.0"
  1201. redis < "0.3.4"
  1202. reedsolomon < "0.3"
  1203. regstab
  1204. reins
  1205. release
  1206. relit-reason < "0.0.2"
  1207. res < "5.0.0"
  1208. resource-pooling < "1.1"
  1209. revops
  1210. rfc6287 < "1.0.4"
  1211. rfsm < "1.6-alpha-3"
  1212. riak
  1213. riak-pb
  1214. riakc
  1215. riakc_ppx
  1216. river < "0.2"
  1217. rlp
  1218. rml >= "1.09.00" & < "1.09.03"
  1219. root1d < "0.5.1"
  1220. rope < "0.6"
  1221. rotor
  1222. rpc < "5.9.0"
  1223. rpc_parallel < "v0.9.0"
  1224. rresult
  1225. rtime
  1226. rubytt
  1227. runtime_events_tools < "0.5.1"
  1228. Snowflake
  1229. safa
  1230. safepass < "3.0"
  1231. sail < "0.15"
  1232. salsa20 < "1.0.0"
  1233. salsa20-core < "1.0.0"
  1234. samplerate < "0.1.5"
  1235. sanlock
  1236. sattools
  1237. sawja
  1238. schoca
  1239. schroedinger
  1240. scid
  1241. scrypt
  1242. scrypt-kdf < "1.0.0"
  1243. secp256k1 < "0.2.5"
  1244. sedlex < "2.0"
  1245. semver < "0.2.1"
  1246. sendmsg
  1247. seq < "0.2"
  1248. sequence < "1.0"
  1249. sequoia
  1250. session < "0.4.0"
  1251. sessions
  1252. setr
  1253. sexplib < "v0.9.0"
  1254. sfml
  1255. sgf < "1.0.1"
  1256. sha < "1.12"
  1257. shared-block-ring < "3.0.0"
  1258. shared-memory-ring < "3.0.1"
  1259. shared-memory-ring-lwt < "3.1.0"
  1260. shared-secret < "0.4"
  1261. shcaml
  1262. shine < "0.2.2"
  1263. should
  1264. sibylfs
  1265. sibylfs-lem
  1266. sid
  1267. sill
  1268. simple-bmc
  1269. simple-diff
  1270. simple_pam
  1271. skkserv-lite
  1272. slack-backup
  1273. slacko < "0.14.1"
  1274. slap
  1275. smart-print < "0.3.0"
  1276. smbc < "0.4.2"
  1277. smtp
  1278. snabela
  1279. snappy < "0.1.2"
  1280. socketcan
  1281. sodium
  1282. solvuu-build
  1283. solvuu_build
  1284. sonet
  1285. sosa
  1286. soundtouch < "0.1.9"
  1287. spacetime_lib < "0.3.0"
  1288. sparrow
  1289. spatial_index
  1290. speex < "0.4.0"
  1291. spelll < "0.3"
  1292. spf < "2.0.2"
  1293. sphinxcontrib-ocaml < "0.3.0"
  1294. spirv
  1295. spotinstall
  1296. spotlib < "4.1.0"
  1297. spotlib_js
  1298. spreadsheet
  1299. sqlexpr < "0.9.0"
  1300. sqlgg < "20200521"
  1301. sqlite3 < "4.2.0"
  1302. sqlite3EZ
  1303. srs < "2.0.0"
  1304. srt >= "0.2.2"
  1305. ssl < "0.5.6"
  1306. starterkit
  1307. stationary
  1308. statmemprof-emacs
  1309. statsd-client
  1310. statverif
  1311. stb_image
  1312. stb_image_write
  1313. stb_truetype
  1314. stdcompat < "5"
  1315. stdint < "0.5.1"
  1316. stemmer
  1317. stemming
  1318. stog < "0.20.0"
  1319. stone
  1320. stringCodepointSplitter
  1321. stringext < "1.5.0"
  1322. sturgeon < "0.4.2"
  1323. subtype-refinement < "0.2"
  1324. sundialsml
  1325. swdogen
  1326. symkat
  1327. syndic < "1.6.0"
  1328. syslog < "2.0.0"
  1329. syslog-message < "1.0.0"
  1330. systemverilog < "0.0.2"
  1331. TCSLib
  1332. taglib < "0.3.7"
  1333. taglog
  1334. tallgeese
  1335. tar < "0.9.0"
  1336. tar-format
  1337. tar-mirage < "0.9.0"
  1338. tar-unix < "0.9.0"
  1339. tcpip < "3.2.0"
  1340. tcx
  1341. tdk
  1342. telegraml < "2.2.0"
  1343. tensorflow
  1344. termbox
  1345. terminal_size < "0.1.4"
  1346. testrunner
  1347. testsimple
  1348. text
  1349. textutils >= "113.24.00" & < "v0.9.0"
  1350. textwrap < "0.2.1"
  1351. tftp
  1352. tgls
  1353. themoviedb
  1354. theora < "0.4.0"
  1355. thrift < "0.10.0"
  1356. tidy < "5-0.2"
  1357. timed < "1.1"
  1358. tiny_json < "1.1.6"
  1359. tiny_json_conv
  1360. tip-parser < "0.4"
  1361. tjr_simple_earley
  1362. tls < "0.11.0"
  1363. tlstunnel
  1364. toml < "5.0.0"
  1365. tophide
  1366. topkg
  1367. topkg-care
  1368. toplevel_backend
  1369. toplevel_expect_test
  1370. topology
  1371. touist < "3.5.0"
  1372. tplib
  1373. tptp
  1374. trakeva
  1375. transmission-rpc
  1376. travis-senv
  1377. tree_layout < "0.2"
  1378. treeprint < "2.2.0"
  1379. trie < "1.0.0"
  1380. tryocaml
  1381. tsdl
  1382. ttweetnacl
  1383. tuntap < "1.5.0"
  1384. type-beat
  1385. type_conv
  1386. typehashlib
  1387. typerep < "v0.9.0"
  1388. typerep_extended < "v0.9.0"
  1389. typerex-binutils
  1390. typerex-build
  1391. typerex-clibs
  1392. typerex-system
  1393. typpx < "1.4.3"
  1394. tyre < "0.4"
  1395. tyxml < "4.3.0"
  1396. ubpf < "0.2"
  1397. ucorelib
  1398. udunits
  1399. uint < "2.0.1"
  1400. ulex
  1401. ulex-camlp5
  1402. unison-gui
  1403. unix-dirent
  1404. unix-errno < "0.6.0"
  1405. unix-fcntl
  1406. unix-sys-resource
  1407. unix-sys-stat
  1408. unix-time
  1409. unix-type-representations
  1410. unix-unistd
  1411. unmagic < "1.0.4"
  1412. uri < "1.9.6"
  1413. usb
  1414. usbmux
  1415. user-setup
  1416. utop >= "1.18.1"
  1417. utp
  1418. uucd
  1419. uucp
  1420. uuidm
  1421. uunf
  1422. uuseg
  1423. uutf
  1424. uuuu >= "0.2.0"
  1425. uwt
  1426. valentine
  1427. variantslib < "v0.9.0"
  1428. vchan < "4.0.0"
  1429. vchan-unix < "4.0.0"
  1430. vchan-xen < "4.0.0"
  1431. vector3 < "1.0.0"
  1432. vg
  1433. vhd-format < "0.9.1"
  1434. vhd-tool
  1435. vhdlib
  1436. visitors < "20200207"
  1437. vlt
  1438. vmnet < "1.3.0"
  1439. voaacenc
  1440. volt
  1441. vorbis < "0.8.0"
  1442. vpnkit < "0.1.1"
  1443. vrt
  1444. vscoq-language-server
  1445. wamp < "1.2"
  1446. wasm
  1447. wcs-lib < "2017-05-26.02"
  1448. wdialog
  1449. webbrowser
  1450. webdav
  1451. weberizer < "0.7.8"
  1452. webidl
  1453. webmachine < "0.5.0"
  1454. websocketml
  1455. webtest < "2.0.0"
  1456. why3 >= "1.0.0"
  1457. why3-base
  1458. why3-coq
  1459. why3-ide
  1460. win-error < "0.3"
  1461. win-eventlog < "0.2"
  1462. wiringpi
  1463. wxOCaml
  1464. x509 < "0.6.3"
  1465. xapi-backtrace < "0.5"
  1466. xapi-forkexecd
  1467. xapi-idl
  1468. xapi-inventory < "1.2.3"
  1469. xapi-libs-transitional
  1470. xapi-rrd < "1.8.2"
  1471. xapi-rrdd
  1472. xapi-stdext
  1473. xapi-tapctl
  1474. xe
  1475. xe-unikernel-upload
  1476. xen-api-client
  1477. xen-block-driver
  1478. xen-disk
  1479. xen-evtchn < "2.1.0"
  1480. xen-evtchn-unix < "2.1.0"
  1481. xen-gnt >= "2.2.0" & < "3.0.1"
  1482. xen-gnt-unix < "3.0.1"
  1483. xenbigarray
  1484. xenctrl
  1485. xenstore < "2.0.0"
  1486. xenstore_transport < "1.1.0"
  1487. xentropyd
  1488. xml-light < "2.5"
  1489. xmldiff < "0.7.0"
  1490. xmlm
  1491. xmlplaylist < "0.1.5"
  1492. xstr
  1493. xstrp4
  1494. xtmpl < "0.19.0"
  1495. yajl
  1496. yajl-extra
  1497. yices2
  1498. yices2_bindings
  1499. yojson < "1.4.0"
  1500. yurt < "0.6"
  1501. z3
  1502. zarith
  1503. zarith-freestanding
  1504. zarith-xen
  1505. zed < "1.5"
  1506. zero >= "109.19.00" & < "109.28.00"
  1507. zipc
  1508. zipperposition < "1.5.1"
  1509. zlib < "0.6"
  1510. zlist < "0.4.0"
  1511. zmq < "5.0.0"
  1512. zstd < "0.3"
  1513. zxcvbn < "2.3+2"

Conflicts

None