package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.7.3.tar.gz
md5=7d57451218359f7b7dfc969e3684a6da

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: 24 Dec 2017

Dependencies (2)

  1. conf-m4 build
  2. 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. conjury
  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. 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. libevent
  607. libra-tk
  608. libres3
  609. libssh
  610. libsvm < "0.9.4"
  611. libudev
  612. libvhd
  613. libvirt
  614. lilis
  615. linenoise < "1.1.0"
  616. linkage
  617. links != "0.7.2"
  618. linksem
  619. lipsum
  620. liquidsoap < "2.2.0"
  621. litiom
  622. llvm >= "3.9" & < "15.0.7+nnp-2"
  623. llvmgraph
  624. lmdb < "1.0"
  625. lo < "0.2.0"
  626. loga < "0.0.5"
  627. logger-p5
  628. logs
  629. logs-syslog < "0.2.0"
  630. logtk < "1.5.1"
  631. lpd < "1.2.2"
  632. lpi
  633. lru < "0.3.0"
  634. lru-cache
  635. lua-ml >= "0.9.1" & < "0.9.3"
  636. lua_pattern
  637. lustre-v6
  638. lutils
  639. lutin
  640. lwt
  641. lwt-parallel < "1.0.0"
  642. lwt-zmq
  643. lwt_glib < "1.1.0"
  644. lwt_named_threads
  645. lymp
  646. lz4 < "1.2.0"
  647. lzo
  648. m17n
  649. macaque
  650. macaque_lwt
  651. macaroons
  652. mad < "0.5.0"
  653. magic
  654. magic-mime < "1.1.0"
  655. maildir
  656. maki
  657. malfunction
  658. mariadb
  659. markup < "0.7.6"
  660. mascot
  661. maxminddb
  662. mbr-format < "1.0.0"
  663. mdx >= "1.2.0"
  664. mecab
  665. mechaml < "1.1.0"
  666. memcpy
  667. menhir < "20200123"
  668. mergeable-vector
  669. merlin < "3.4.0"
  670. merlin-extend < "0.4"
  671. merlin-of-pds
  672. mesh < "0.9.3"
  673. mesh-display
  674. mesh-easymesh < "0.9.3"
  675. mesh-graphics < "0.9.3"
  676. mesh-triangle < "0.9.3"
  677. message-switch
  678. meta_conv
  679. mezzo
  680. mikmatch
  681. milter < "1.0.4"
  682. mindstorm < "0.8"
  683. minicli < "5.0.0"
  684. minima-theme
  685. minisat < "0.2"
  686. minivpt
  687. mirage < "0.9.1" | >= "3.0.0" & < "3.1.0"
  688. mirage-block < "1.2.0"
  689. mirage-block-ccm < "1.1.0"
  690. mirage-block-lwt < "1.2.0"
  691. mirage-block-ramdisk < "0.4"
  692. mirage-block-solo5 < "0.6.0"
  693. mirage-block-unix < "2.8.3"
  694. mirage-block-xen < "1.6.0"
  695. mirage-bootvar-solo5 >= "0.2.0" & < "0.6.0"
  696. mirage-bootvar-xen = "0.4.0"
  697. mirage-btrees
  698. mirage-channel < "3.1.0"
  699. mirage-channel-lwt < "3.1.0"
  700. mirage-clock < "1.3.0"
  701. mirage-clock-freestanding < "1.3.0"
  702. mirage-clock-lwt < "1.3.0"
  703. mirage-clock-unix < "1.3.0"
  704. mirage-clock-xen
  705. mirage-console < "2.3.2"
  706. mirage-console-lwt < "2.3.2"
  707. mirage-console-solo5 < "0.6.0"
  708. mirage-console-unix < "2.3.2"
  709. mirage-console-xen != "2.3.2" & < "2.3.4"
  710. mirage-console-xen-backend != "2.3.2" & < "2.3.4"
  711. mirage-console-xen-cli
  712. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
  713. mirage-device < "1.1.0"
  714. mirage-dns < "3.0.0"
  715. mirage-entropy < "0.5.1"
  716. mirage-entropy-unix
  717. mirage-entropy-xen
  718. mirage-flow < "1.3.0"
  719. mirage-flow-lwt < "1.3.0"
  720. mirage-flow-unix < "1.3.0"
  721. mirage-fs < "0.4.0" | = "1.0.0"
  722. mirage-fs-lwt < "1.1.1"
  723. mirage-fs-unix < "1.4.0"
  724. mirage-http < "3.2.0"
  725. mirage-http-unix
  726. mirage-http-xen
  727. mirage-kv < "1.1.1"
  728. mirage-kv-lwt < "1.1.0"
  729. mirage-logs < "1.0.0"
  730. mirage-net < "0.9.1" | = "1.0.0"
  731. mirage-net-direct
  732. mirage-net-fd < "0.2.1"
  733. mirage-net-lwt < "1.1.0"
  734. mirage-net-macosx < "1.5.0"
  735. mirage-net-socket
  736. mirage-net-solo5 < "0.4.3"
  737. mirage-net-unix < "2.4.1"
  738. mirage-net-xen < "1.7.1"
  739. mirage-os-shim
  740. mirage-profile < "0.8.1"
  741. mirage-profile-unix < "0.8.1"
  742. mirage-profile-xen < "0.8.1"
  743. mirage-protocols < "1.2.0"
  744. mirage-protocols-lwt < "1.2.0"
  745. mirage-qubes != "0.5" & < "0.7.0"
  746. mirage-qubes-ipv4 = "0.6"
  747. mirage-random < "1.1.0"
  748. mirage-runtime < "3.0.5"
  749. mirage-solo5 < "0.6.2"
  750. mirage-stack < "1.1.0"
  751. mirage-stack-lwt < "1.1.0"
  752. mirage-tcpip-unix
  753. mirage-tcpip-xen
  754. mirage-time < "1.1.0"
  755. mirage-time-lwt < "1.1.0"
  756. mirage-types < "3.0.5"
  757. mirage-types-lwt < "3.0.5"
  758. mirage-unix < "3.2.0"
  759. mirage-vnetif = "0.3.1"
  760. mirage-www < "1.0.0"
  761. mirage-xen < "3.2.0"
  762. mirage-xen-ocaml >= "2.3.1"
  763. mirari
  764. mirror
  765. missinglib
  766. misuja
  767. mixture
  768. mkaudio < "1.1.0"
  769. ml2mxml
  770. mlbdd < "0.7.2"
  771. mlcuddidl
  772. mld
  773. mlgmp
  774. mlgmpidl
  775. mlmpfr < "4.0.2+dune"
  776. mlpost
  777. mm < "0.7.0"
  778. mmseg < "transition"
  779. modelica_ml
  780. monadlib
  781. mongo
  782. monomorphic < "1.3"
  783. more-ocaml
  784. mosquitto
  785. mparser < "1.3"
  786. mpi
  787. mpp < "0.3.4"
  788. mpris = "0.1.1"
  789. mqtt
  790. mqtt_client
  791. mrt-format
  792. msat < "0.8"
  793. msgpack
  794. msgpck < "1.3"
  795. mstruct < "1.3.3"
  796. mtime
  797. mtl
  798. multipart-form-data < "0.2.0"
  799. murmur3 < "0.3"
  800. mustache < "3.0.2"
  801. mvar
  802. mybuild
  803. mysql
  804. mysql_protocol < "3.0.1"
  805. named-pipe
  806. namespaces
  807. nanomsg
  808. nbd != "2.2.0" & < "4.0.3"
  809. nebula
  810. netamqp
  811. netlink < "0.3.4"
  812. netml
  813. nlopt-ocaml < "transition"
  814. nlp
  815. noCanren < "0.3.0~alpha1"
  816. nocrypto
  817. nonstd
  818. nosetup
  819. note
  820. notty < "0.2.3"
  821. nproc
  822. npy < "0.0.8"
  823. num >= "1.0" & < "1.5"
  824. nunchaku < "0.5.1"
  825. OCanren
  826. oasis
  827. oasis-mirage
  828. oasis2debian
  829. oasis2opam
  830. obandit
  831. obeanstalk
  832. obelisk < "0.5.0"
  833. obigstore
  834. objsize
  835. obrowser
  836. obuild >= "0.1.11"
  837. obus < "1.2.0"
  838. ocal < "0.2.2"
  839. ocaml-arg
  840. ocaml-basics < "0.5.0"
  841. ocaml-buddy
  842. ocaml-data-notation
  843. ocaml-expat
  844. ocaml-freestanding
  845. ocaml-freestanding-cross-aarch64
  846. ocaml-gist
  847. ocaml-http
  848. ocaml-indent
  849. ocaml-inifiles
  850. ocaml-js-stdlib
  851. ocaml-lsp-server < "1.6.0"
  852. ocaml-lua < "1.8"
  853. ocaml-markdown < "transition"
  854. ocaml-migrate-parsetree < "1.1.0"
  855. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  856. ocaml-monadic < "0.4.0"
  857. ocaml-protoc < "2.0.1"
  858. ocaml-protoc-yojson
  859. ocaml-r < "0.1.0"
  860. ocaml-sat-solvers
  861. ocaml-solo5
  862. ocaml-solo5-cross-aarch64
  863. ocaml-systemd < "1.3"
  864. ocaml-topexpect
  865. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
  866. ocaml-webworker
  867. ocaml-xdg-basedir < "transition"
  868. ocaml-xml-rpc
  869. ocaml-zmq
  870. ocaml9p
  871. ocaml_at_p
  872. ocaml_plugin >= "109.32.00" & < "v0.9.0"
  873. ocamlbrowser
  874. ocamlbuild-atdgen
  875. ocamlbuild-pkg
  876. ocamlbuild-protoc
  877. ocamlclean < "2.1"
  878. ocamldap < "transition"
  879. ocamldbi
  880. ocamldiff < "1.2"
  881. ocamldot
  882. ocamleditor
  883. ocamlfind-lint
  884. ocamlfuse < "2.7.1-cvs6"
  885. ocamlgraph < "2.0.0"
  886. ocamlify
  887. ocamllint
  888. ocamlmod
  889. ocamlnet
  890. ocamlpp < "1.1"
  891. ocamlrss
  892. ocamlscript
  893. ocamlsdl
  894. ocamlsdl2
  895. ocamlsdl2-image
  896. ocamlsdl2-ttf
  897. ocamltter
  898. ocamlyices
  899. ocb-stubblr
  900. ocephes
  901. ocf < "0.8.0"
  902. oci
  903. oclaunch
  904. oclock
  905. ocp-build != "1.99.17-beta"
  906. ocp-indent >= "1.7.0"
  907. ocp-index-top
  908. ocp-ocamlres
  909. ocp-reloc
  910. ocplib-concur
  911. ocplib-endian < "1.1"
  912. ocplib-json-typed < "0.7"
  913. ocplib-resto
  914. ocplib-simplex < "0.5"
  915. ocs
  916. ocsfml
  917. ocsigen-i18n < "4.0.0"
  918. ocsigenserver
  919. octavius < "1.2.1"
  920. ocurl
  921. ocveralls
  922. odate < "0.6"
  923. odbc
  924. odds < "1.1"
  925. odepack < "0.6.9"
  926. odiff-gtk
  927. odig
  928. odisco
  929. odoc != "1.3.0"
  930. ofx
  931. ogen
  932. ogg != "0.6.0" & < "0.7.0"
  933. ojquery
  934. ojs-base
  935. ojwidgets
  936. olinq < "0.3"
  937. ollvm
  938. ollvm-tapir
  939. olmi
  940. oloop
  941. omake
  942. omd < "1.3.2"
  943. oml
  944. omod
  945. omonad
  946. oni
  947. oolc
  948. opa-base
  949. opal
  950. opam-build-revdeps
  951. opam-bundle
  952. opam-core < "2.0.0~beta5"
  953. opam-depext >= "1.2.1"
  954. opam-doc
  955. opam-dune-lint < "0.2"
  956. opam-ed < "0.4"
  957. opam-lib
  958. opam-publish != "0.3.0+transition" & < "2.0.0~beta"
  959. opam-query
  960. opam-sync-github-prs
  961. opam2web >= "1.3.0" & < "2.0"
  962. opamfind
  963. opamfu
  964. opass
  965. opasswd < "1.3.1"
  966. opencc < "transition"
  967. openflow
  968. operf-macro
  969. opium < "0.16.0"
  970. oplay
  971. optcomp
  972. optimization1d < "0.6"
  973. opus < "0.2.0"
  974. orakuda
  975. ordma < "0.0.5"
  976. orm
  977. orocksdb
  978. osbx < "1.2.1"
  979. osc = "0.1.4"
  980. osdp
  981. oseq < "0.2"
  982. ospec
  983. ostap
  984. osx-acl
  985. osx-attr
  986. osx-cf
  987. osx-fsevents
  988. osx-membership
  989. osx-mount
  990. osx-plutil
  991. osx-secure-transport < "0.1.1"
  992. osx-xattr
  993. otfm
  994. oth
  995. otr < "0.3.6"
  996. ott >= "0.32"
  997. otto
  998. ounit != "2.1.2"
  999. ounit-lwt >= "2.2.0"
  1000. owebl
  1001. owee < "0.3"
  1002. owl < "0.3.0"
  1003. ox
  1004. oxylc
  1005. pa_bench
  1006. pa_bin_prot
  1007. pa_comprehension
  1008. pa_do
  1009. pa_fields_conv
  1010. pa_monad_custom
  1011. pa_ounit
  1012. pa_ovisitor
  1013. pa_qualified
  1014. pa_sexp_conv
  1015. pa_solution
  1016. pa_structural_sexp
  1017. pa_test
  1018. pa_typerep_conv
  1019. pa_variants_conv
  1020. pa_where
  1021. packet
  1022. papi < "0.1.1"
  1023. parany < "5.0.0"
  1024. pareto
  1025. parmap < "1.1.1"
  1026. parse-argv < "0.1.0"
  1027. patdiff >= "113.24.00" & < "v0.9.0"
  1028. patience_diff < "v0.9.0"
  1029. patoline
  1030. pbkdf < "0.3.0"
  1031. pbs
  1032. pcap-format < "0.5.1"
  1033. pcf-format
  1034. pci
  1035. pci-db
  1036. pcre < "7.3.0"
  1037. pds
  1038. pds-reachability < "0.2.3"
  1039. perf
  1040. pfff < "0.37.1" | >= "0.37.6"
  1041. pgocaml < "4.0"
  1042. pgsolver
  1043. phox
  1044. pilat
  1045. pipebang
  1046. piqi < "0.7.8"
  1047. piqilib < "0.6.16"
  1048. pkcs11 < "0.18.0"
  1049. pla < "1.2"
  1050. planck
  1051. plasma
  1052. plist
  1053. plotkicadsch < "0.2.0"
  1054. plplot < "5.11.0-1"
  1055. podge
  1056. polka
  1057. polyglot
  1058. pomap < "4.0.0"
  1059. portaudio < "0.2.2"
  1060. portia
  1061. posix-clock
  1062. posix-getopt < "2.0.0"
  1063. posix-math
  1064. posix-mqueue
  1065. posix-semaphore
  1066. posix-time
  1067. posix-types < "2.0.0"
  1068. postgresql < "4.1.0"
  1069. pprint < "20200226"
  1070. ppx_assert < "v0.9.0"
  1071. ppx_bench < "v0.9.0"
  1072. ppx_bigarray < "3.0.0"
  1073. ppx_bin_prot < "v0.9.0"
  1074. ppx_bitstring < "2.0.0"
  1075. ppx_blob < "0.3.0"
  1076. ppx_compare < "v0.9.0"
  1077. ppx_const < "2.0"
  1078. ppx_conv_func < "v0.9.0"
  1079. ppx_core < "v0.9.0"
  1080. ppx_cstubs
  1081. ppx_csv_conv < "v0.9.0"
  1082. ppx_curried_constr
  1083. ppx_custom_printf < "v0.9.0"
  1084. ppx_debugger
  1085. ppx_defer < "0.3.0"
  1086. ppx_deriving < "4.3" | >= "5.0"
  1087. ppx_deriving_argparse
  1088. ppx_deriving_cmdliner < "0.6.0"
  1089. ppx_deriving_crowbar
  1090. ppx_deriving_encoding >= "0.2.3"
  1091. ppx_deriving_hardcaml < "v0.12.0"
  1092. ppx_deriving_madcast < "0.2"
  1093. ppx_deriving_morphism
  1094. ppx_deriving_protobuf < "2.7"
  1095. ppx_deriving_yojson >= "2.0" & < "3.3"
  1096. ppx_distr_guards < "0.2"
  1097. ppx_dotbracket
  1098. ppx_driver < "v0.9.0"
  1099. ppx_enumerate < "v0.9.0"
  1100. ppx_expect < "v0.9.0"
  1101. ppx_fail < "v0.9.0"
  1102. ppx_fields_conv < "v0.9.0"
  1103. ppx_fun
  1104. ppx_hardcaml < "1.3.0"
  1105. ppx_here < "v0.9.0"
  1106. ppx_implicits
  1107. ppx_import < "1.5-3-gbd627d5"
  1108. ppx_include
  1109. ppx_inline_test < "v0.9.0"
  1110. ppx_jane < "v0.9.0"
  1111. ppx_jsobject_conv < "0.5.1"
  1112. ppx_json_types
  1113. ppx_let < "v0.9.0"
  1114. ppx_measure
  1115. ppx_meta_conv < "4.0.0"
  1116. ppx_monadic < "2.3.0"
  1117. ppx_monoid < "0.3.2"
  1118. ppx_netblob
  1119. ppx_optcomp < "v0.9.0"
  1120. ppx_orakuda < "3.3.0"
  1121. ppx_overload = "1.0.1"
  1122. ppx_pattern_guard
  1123. ppx_pipebang < "v0.9.0"
  1124. ppx_poly_record < "1.3.0"
  1125. ppx_relit
  1126. ppx_sexp
  1127. ppx_sexp_conv < "v0.9.0"
  1128. ppx_sexp_message < "v0.9.0"
  1129. ppx_sexp_value < "v0.9.0"
  1130. ppx_test < "1.7.0"
  1131. ppx_tools < "6.0+4.08.0"
  1132. ppx_tools_versioned < "5.2"
  1133. ppx_type_conv < "v0.9.0"
  1134. ppx_typerep_conv < "v0.9.0"
  1135. ppx_variants_conv < "v0.9.0"
  1136. ppx_where
  1137. ppx_xml_conv < "v0.9.0"
  1138. ppxfind
  1139. ppxlib >= "0.4.0"
  1140. ppxx < "2.4.0"
  1141. primes
  1142. pringo
  1143. printbox < "0.2"
  1144. prob-cache
  1145. process
  1146. procord
  1147. prof_spacetime < "0.2.0"
  1148. profound
  1149. proj4
  1150. promela
  1151. prometheus < "0.3"
  1152. prometheus-app < "0.3"
  1153. protobuf
  1154. protocol-9p < "0.11.1"
  1155. protocol-9p-tool < "0.11.2"
  1156. protocol-9p-unix < "0.11.2"
  1157. proverif
  1158. psmt2-frontend < "0.3.0"
  1159. psq < "0.1.1"
  1160. psyche
  1161. ptime
  1162. ptmap < "2.0.5"
  1163. ptset < "1.0.1"
  1164. publish < "0.3.4+transition"
  1165. pulseaudio < "0.1.4"
  1166. pumping
  1167. pvem
  1168. pvem_lwt_unix
  1169. pxp
  1170. py < "1.1"
  1171. pyml
  1172. qbf < "0.3"
  1173. qcheck < "0.8"
  1174. qcow < "0.10.2"
  1175. qcow-format
  1176. qcow-tool < "0.11.0"
  1177. qcstm
  1178. qfs
  1179. qmp < "0.19.0"
  1180. qocamlbrowser >= "0.2.9"
  1181. qrc
  1182. qrencode < "0.2"
  1183. qtest < "2.9"
  1184. quickcheck
  1185. r2pipe
  1186. radare2 < "0.0.3"
  1187. randomconv < "0.1.1"
  1188. ranger
  1189. rashell
  1190. raw_spacetime
  1191. rawlink < "1.0"
  1192. raygun4ocaml
  1193. rdbg
  1194. rdf < "0.13.0"
  1195. rdr
  1196. re < "1.7.2"
  1197. re2 >= "113.24.00" & < "v0.9.0"
  1198. react
  1199. reactiveData < "0.3.0"
  1200. reason != "3.5.0"
  1201. reason-parser
  1202. records < "1.0.0"
  1203. redis < "0.3.4"
  1204. reedsolomon < "0.3"
  1205. regstab
  1206. reins
  1207. release
  1208. relit-reason < "0.0.2"
  1209. res < "5.0.0"
  1210. resource-pooling < "1.1"
  1211. revops
  1212. rfc6287 < "1.0.4"
  1213. rfsm < "1.6-alpha-3"
  1214. riak
  1215. riak-pb
  1216. riakc
  1217. riakc_ppx
  1218. river < "0.2"
  1219. rlp
  1220. rml >= "1.09.00" & < "1.09.03"
  1221. root1d < "0.5.1"
  1222. rope < "0.6"
  1223. rotor
  1224. rpc < "5.9.0"
  1225. rpc_parallel < "v0.9.0"
  1226. rresult
  1227. rtime
  1228. rubytt
  1229. runtime_events_tools < "0.5.1"
  1230. Snowflake
  1231. safa
  1232. safepass < "3.0"
  1233. sail < "0.15"
  1234. salsa20 < "1.0.0"
  1235. salsa20-core < "1.0.0"
  1236. samplerate < "0.1.5"
  1237. sanlock
  1238. sattools
  1239. sawja
  1240. schoca
  1241. schroedinger
  1242. scid
  1243. scrypt
  1244. scrypt-kdf < "1.0.0"
  1245. secp256k1 < "0.2.5"
  1246. sedlex < "2.0"
  1247. semver < "0.2.1"
  1248. sendmsg
  1249. seq < "0.2"
  1250. sequence < "1.0"
  1251. sequoia
  1252. session < "0.4.0"
  1253. sessions
  1254. setr
  1255. sexplib < "v0.9.0"
  1256. sfml
  1257. sgf < "1.0.1"
  1258. sha < "1.12"
  1259. shared-block-ring < "3.0.0"
  1260. shared-memory-ring < "3.0.1"
  1261. shared-memory-ring-lwt < "3.1.0"
  1262. shared-secret < "0.4"
  1263. shcaml
  1264. shine < "0.2.2"
  1265. should
  1266. sibylfs
  1267. sibylfs-lem
  1268. sid
  1269. sill
  1270. simple-bmc
  1271. simple-diff
  1272. simple_pam
  1273. skkserv-lite
  1274. slack-backup
  1275. slacko < "0.14.1"
  1276. slap
  1277. smart-print < "0.3.0"
  1278. smbc < "0.4.2"
  1279. smtp
  1280. snabela
  1281. snappy < "0.1.2"
  1282. socketcan
  1283. sodium
  1284. solvuu-build
  1285. solvuu_build
  1286. sonet
  1287. sosa
  1288. soundtouch < "0.1.9"
  1289. spacetime_lib < "0.3.0"
  1290. sparrow
  1291. spatial_index
  1292. speex < "0.4.0"
  1293. spelll < "0.3"
  1294. spf < "2.0.2"
  1295. sphinxcontrib-ocaml < "0.3.0"
  1296. spirv
  1297. spotinstall
  1298. spotlib < "4.1.0"
  1299. spotlib_js
  1300. spreadsheet
  1301. sqlexpr < "0.9.0"
  1302. sqlgg < "20200521"
  1303. sqlite3 < "4.2.0"
  1304. sqlite3EZ
  1305. srs < "2.0.0"
  1306. srt >= "0.2.2"
  1307. ssl < "0.5.6"
  1308. starterkit
  1309. stationary
  1310. statmemprof-emacs
  1311. statsd-client
  1312. statverif
  1313. stb_image
  1314. stb_image_write
  1315. stb_truetype
  1316. stdcompat < "5"
  1317. stdint < "0.5.1"
  1318. stemmer
  1319. stemming
  1320. stog < "0.20.0"
  1321. stone
  1322. stringCodepointSplitter
  1323. stringext < "1.5.0"
  1324. sturgeon < "0.4.2"
  1325. subtype-refinement < "0.2"
  1326. sundialsml
  1327. swdogen
  1328. symkat
  1329. syndic < "1.6.0"
  1330. syslog < "2.0.0"
  1331. syslog-message < "1.0.0"
  1332. systemverilog < "0.0.2"
  1333. TCSLib
  1334. taglib < "0.3.7"
  1335. taglog
  1336. tallgeese
  1337. tar < "0.9.0"
  1338. tar-format
  1339. tar-mirage < "0.9.0"
  1340. tar-unix < "0.9.0"
  1341. tcpip < "3.2.0"
  1342. tcx
  1343. tdk
  1344. telegraml < "2.2.0"
  1345. tensorflow
  1346. termbox
  1347. terminal_size < "0.1.4"
  1348. testrunner
  1349. testsimple
  1350. text
  1351. textutils >= "113.24.00" & < "v0.9.0"
  1352. textwrap < "0.2.1"
  1353. tftp
  1354. tgls
  1355. themoviedb
  1356. theora < "0.4.0"
  1357. thrift < "0.10.0"
  1358. tidy < "5-0.2"
  1359. timed < "1.1"
  1360. tiny_json < "1.1.6"
  1361. tiny_json_conv
  1362. tip-parser < "0.4"
  1363. tjr_simple_earley
  1364. tls < "0.11.0"
  1365. tlstunnel
  1366. toml < "5.0.0"
  1367. tophide
  1368. topkg
  1369. topkg-care
  1370. toplevel_backend
  1371. toplevel_expect_test
  1372. topology
  1373. touist < "3.5.0"
  1374. tplib
  1375. tptp
  1376. trakeva
  1377. transmission-rpc
  1378. travis-senv
  1379. tree_layout < "0.2"
  1380. treeprint < "2.2.0"
  1381. trie < "1.0.0"
  1382. tryocaml
  1383. tsdl
  1384. ttweetnacl
  1385. tuntap < "1.5.0"
  1386. type-beat
  1387. type_conv
  1388. typehashlib
  1389. typerep < "v0.9.0"
  1390. typerep_extended < "v0.9.0"
  1391. typerex-binutils
  1392. typerex-build
  1393. typerex-clibs
  1394. typerex-system
  1395. typpx < "1.4.3"
  1396. tyre < "0.4"
  1397. tyxml < "4.3.0"
  1398. ubpf < "0.2"
  1399. ucorelib
  1400. udunits
  1401. uint < "2.0.1"
  1402. ulex
  1403. ulex-camlp5
  1404. unison-gui
  1405. unix-dirent
  1406. unix-errno < "0.6.0"
  1407. unix-fcntl
  1408. unix-sys-resource
  1409. unix-sys-stat
  1410. unix-time
  1411. unix-type-representations
  1412. unix-unistd
  1413. unmagic < "1.0.4"
  1414. uri < "1.9.6"
  1415. usb
  1416. usbmux
  1417. user-setup
  1418. utop >= "1.18.1"
  1419. utp
  1420. uucd
  1421. uucp
  1422. uuidm
  1423. uunf
  1424. uuseg
  1425. uutf
  1426. uuuu >= "0.2.0"
  1427. uwt
  1428. valentine
  1429. variantslib < "v0.9.0"
  1430. vchan < "4.0.0"
  1431. vchan-unix < "4.0.0"
  1432. vchan-xen < "4.0.0"
  1433. vector3 < "1.0.0"
  1434. vg
  1435. vhd-format < "0.9.1"
  1436. vhd-tool
  1437. vhdlib
  1438. visitors < "20200207"
  1439. vlt
  1440. vmnet < "1.3.0"
  1441. voaacenc
  1442. volt
  1443. vorbis < "0.8.0"
  1444. vpnkit < "0.1.1"
  1445. vrt
  1446. vscoq-language-server
  1447. wamp < "1.2"
  1448. wasm
  1449. wcs-lib < "2017-05-26.02"
  1450. wdialog
  1451. webbrowser
  1452. webdav
  1453. weberizer < "0.7.8"
  1454. webidl
  1455. webmachine < "0.5.0"
  1456. websocketml
  1457. webtest < "2.0.0"
  1458. why3 >= "1.0.0"
  1459. why3-base
  1460. why3-coq
  1461. why3-ide
  1462. win-error < "0.3"
  1463. win-eventlog < "0.2"
  1464. wiringpi
  1465. wxOCaml
  1466. x509 < "0.6.3"
  1467. xapi-backtrace < "0.5"
  1468. xapi-forkexecd
  1469. xapi-idl
  1470. xapi-inventory < "1.2.3"
  1471. xapi-libs-transitional
  1472. xapi-rrd < "1.8.2"
  1473. xapi-rrdd
  1474. xapi-stdext
  1475. xapi-tapctl
  1476. xe
  1477. xe-unikernel-upload
  1478. xen-api-client
  1479. xen-block-driver
  1480. xen-disk
  1481. xen-evtchn < "2.1.0"
  1482. xen-evtchn-unix < "2.1.0"
  1483. xen-gnt >= "2.2.0" & < "3.0.1"
  1484. xen-gnt-unix < "3.0.1"
  1485. xenbigarray
  1486. xenctrl
  1487. xenstore < "2.0.0"
  1488. xenstore_transport < "1.1.0"
  1489. xentropyd
  1490. xml-light < "2.5"
  1491. xmldiff < "0.7.0"
  1492. xmlm
  1493. xmlplaylist < "0.1.5"
  1494. xstr
  1495. xstrp4
  1496. xtmpl < "0.19.0"
  1497. yajl
  1498. yajl-extra
  1499. yices2
  1500. yices2_bindings
  1501. yojson < "1.4.0"
  1502. yurt < "0.6"
  1503. z3
  1504. zarith
  1505. zarith-freestanding
  1506. zarith-xen
  1507. zed < "1.5"
  1508. zero >= "109.19.00" & < "109.28.00"
  1509. zipc
  1510. zipperposition < "1.5.1"
  1511. zlib < "0.6"
  1512. zlist < "0.4.0"
  1513. zmq < "5.0.0"
  1514. zstd < "0.3"
  1515. zxcvbn < "2.3+2"

Conflicts

None