ocamlfind
  1. Overview
  2. Docs
A library manager for OCaml

Install

projects.camlcity.org Edit opam file

Authors

  1. G
    Gerd Stolpmann <gerd@gerd-stolpmann.de>

Maintainers

  1. T
    Thomas Gazagnaire <thomas@gazagnaire.org>

Sources

findlib-1.9.6.tar.gz
md5=96c6ee50a32cca9ca277321262dbec57
sha512=cfaf1872d6ccda548f07d32cc6b90c3aafe136d2aa6539e03143702171ee0199add55269bba894c77115535dc46a5835901a5d7c75768999e72db503bfd83027

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: 08 Mar 2023

Dependencies (1)

  1. ocaml >= "3.08.0"

Dev Dependencies

None

  1. ANSITerminal < "0.8"
  2. aacplus
  3. abella
  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"
  145. camlp5 >= "8.00.03"
  146. camlpdf
  147. camlprime
  148. camltc < "0.9.8"
  149. camltemplate
  150. camlzip
  151. camomile < "0.8.6"
  152. capnp < "3.0.0"
  153. captureio
  154. caqti < "1.0.0"
  155. caqti-dynload
  156. caradoc
  157. caravan
  158. carton
  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.17.0"
  202. coq-core
  203. coq-of-ocaml
  204. coq-serapi
  205. coqide >= "8.11.2"
  206. cordova
  207. cordova-plugin-activity-indicator
  208. cordova-plugin-background-mode
  209. cordova-plugin-barcode-scanner
  210. cordova-plugin-battery-status
  211. cordova-plugin-camera
  212. cordova-plugin-clipboard
  213. cordova-plugin-datepicker
  214. cordova-plugin-device
  215. cordova-plugin-device-motion
  216. cordova-plugin-device-orientation
  217. cordova-plugin-dialogs
  218. cordova-plugin-email-composer
  219. cordova-plugin-fcm
  220. cordova-plugin-file
  221. cordova-plugin-file-opener
  222. cordova-plugin-file-transfer
  223. cordova-plugin-geolocation
  224. cordova-plugin-globalization
  225. cordova-plugin-image-picker
  226. cordova-plugin-inappbrowser
  227. cordova-plugin-insomnia
  228. cordova-plugin-keyboard
  229. cordova-plugin-loading-spinner
  230. cordova-plugin-local-notifications
  231. cordova-plugin-media
  232. cordova-plugin-media-capture
  233. cordova-plugin-network-information
  234. cordova-plugin-progress
  235. cordova-plugin-push-notifications
  236. cordova-plugin-qrscanner
  237. cordova-plugin-screen-orientation
  238. cordova-plugin-sim-card
  239. cordova-plugin-sms
  240. cordova-plugin-social-sharing
  241. cordova-plugin-statusbar
  242. cordova-plugin-toast
  243. cordova-plugin-touch-id
  244. cordova-plugin-vibration
  245. cordova-plugin-videoplayer
  246. core < "v0.9.0"
  247. core_bench >= "113.24.00" & < "v0.9.0"
  248. core_extended < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  249. core_kernel < "v0.9.0"
  250. core_profiler >= "113.24.00" & < "v0.9.0"
  251. corecount
  252. cow < "2.3.0"
  253. cowabloga < "0.4.0"
  254. cpdf
  255. cpm < "4.0.0"
  256. cppo >= "0.9.4" & < "1.6.0"
  257. cppo_ocamlbuild
  258. cpuid < "0.1.2"
  259. crc = "1.0.0"
  260. crdt-ml
  261. crunch < "2.1.0"
  262. cry < "0.6.5"
  263. crypt
  264. cryptgps
  265. cryptodbm < "0.84.2"
  266. cryptohash
  267. cryptokit < "1.16.1"
  268. cryptoverif
  269. cstruct < "3.0.0"
  270. csv < "2.0"
  271. csvprovider
  272. ctypes
  273. ctypes-build
  274. cubicle
  275. cudf >= "0.7" & < "0.10"
  276. curses < "1.0.9"
  277. custom_printf
  278. DAGaml
  279. DrawGrammar < "0.2.1"
  280. d3
  281. datakit < "0.10.0"
  282. datakit-bridge-github < "0.10.0"
  283. datakit-bridge-local-git < "0.10.0"
  284. datakit-ci < "0.10.0"
  285. datakit-client < "0.10.0"
  286. datakit-github < "0.10.0"
  287. datakit-server < "0.10.0"
  288. datalog < "0.6"
  289. dbforge
  290. dbm
  291. debian-formats < "0.1.2"
  292. decompress < "0.8"
  293. dedukti < "2.7"
  294. delimcc
  295. depext < "0.3"
  296. depgraph
  297. depyt < "0.2.0"
  298. deriving
  299. deriving-ocsigen
  300. deriving-yojson
  301. devkit < "1.0"
  302. dht
  303. digestif < "0.6.1" | >= "0.8.1"
  304. dispatch < "0.4.0"
  305. distributed < "0.5.0"
  306. distwit
  307. dlist < "0.0.3"
  308. dns < "1.0.0"
  309. dns-forward < "0.9.0"
  310. dnscurve
  311. doc-ock
  312. doc-ock-html
  313. doc-ock-xml
  314. docker-api < "0.2"
  315. dockerfile < "3.0.0"
  316. docout
  317. dog >= "0.2.0"
  318. dolmen < "0.4"
  319. dolog < "4.0.0"
  320. domain-name < "0.1.2"
  321. dose3 < "6.1"
  322. dot-merlin-reader
  323. down
  324. dropbox < "0.2"
  325. dsfo
  326. dssi < "0.1.3"
  327. dtoa < "0.3.0"
  328. dtools < "0.4.2"
  329. dum < "1.0.2"
  330. dumpast
  331. duppy < "0.9.0"
  332. duration < "0.1.2"
  333. dyntype
  334. dypgen
  335. earley < "2.0.0"
  336. earley-ocaml
  337. easy-format < "1.3.0"
  338. edn < "0.1.6-1-gff9db95"
  339. efl
  340. eigen < "0.1.0"
  341. elasticsearch-cli < "0.5"
  342. electrod < "0.1.6"
  343. electrumAnalyzer
  344. elf2json
  345. elina
  346. eliom
  347. elpi >= "1.2.0" & < "1.4.0"
  348. email_message >= "113.24.00" & < "v0.9.0"
  349. emoji
  350. enumerate
  351. enumerators
  352. erm_xml
  353. erm_xmpp
  354. erssical < "1.1.0"
  355. estring
  356. exenum < "0.86"
  357. exn-source
  358. expect
  359. extlib < "1.7.9"
  360. extlib-compat
  361. extprot
  362. extunix < "0.3.1"
  363. ezirmin
  364. ezjsonm < "1.0.0"
  365. ezjsonm-lwt < "1.0.0"
  366. ezsqlite < "0.4"
  367. ezxmlm < "1.0.2"
  368. FrontC < "3.4.2"
  369. faad < "0.5.0"
  370. fadbadml < "0.1.2"
  371. faillib
  372. faraday < "0.3.0"
  373. farfadet
  374. farmhash < "0.4"
  375. fat-filesystem < "0.12.1"
  376. fd-send-recv < "1.0.5"
  377. fdkaac < "0.3.2"
  378. ffmpeg < "1.0.0~beta1"
  379. fftw3 < "0.8"
  380. fieldslib < "v0.9.0"
  381. fileutils < "0.6.1"
  382. fix < "20181206"
  383. flac < "0.3.0"
  384. flock
  385. flow
  386. flow_parser
  387. flowtype >= "0.72.0"
  388. fluent-logger < "1.1.0"
  389. fmt
  390. forkwork
  391. format
  392. fpath
  393. frag
  394. frama-c >= "16.0"
  395. frama-c-base
  396. freetds < "0.5.2"
  397. freetennis
  398. frei0r < "0.1.2"
  399. frenetic < "5.0.0"
  400. fstar
  401. fstreams
  402. ftp
  403. functoria < "2.1.0"
  404. functoria-runtime < "2.1.0" | = "4.3.5"
  405. functory
  406. funfields
  407. fury-puyo
  408. future
  409. General < "0.4.0"
  410. GT
  411. GuaCaml
  412. gamepad
  413. gammu < "0.9.4"
  414. gapi-ocaml < "0.3.6"
  415. gasoline
  416. gavl
  417. gd
  418. gdal < "0.10.0"
  419. gdb
  420. gdbprofiler < "0.2"
  421. gedcom
  422. gen < "0.5.1"
  423. gen-bs
  424. gen_js_api < "1.0.6"
  425. gen_server
  426. genet
  427. genlet
  428. genspio < "0.0.1"
  429. genspir < "1.0.0"
  430. gensqlite
  431. geoip
  432. getopt < "20230213"
  433. getopts
  434. gettext < "0.4.1"
  435. gg
  436. git-unix >= "3.0.0"
  437. github < "3.0.0"
  438. github-hooks < "0.2.0"
  439. gles3
  440. glical >= "0.0.4"
  441. glicko2
  442. glMLite
  443. glpk
  444. glsurf
  445. gmap < "0.2.1"
  446. gnuplot < "0.5.3"
  447. goblint < "1.1.1"
  448. goblint-cil
  449. google-drive-ocamlfuse < "0.6.23"
  450. gperftools < "0.4"
  451. gpr < "1.3.0"
  452. gpx
  453. grain_dypgen
  454. grain_wasm_spec
  455. graphicspdf
  456. graphql_ppx < "0.7.1"
  457. grenier < "0.7"
  458. grib
  459. gsl < "1.20.0"
  460. gstreamer < "0.3.1"
  461. gtk-light
  462. gtktop
  463. gufo
  464. gxl-light
  465. h2-lwt-unix < "0.4.0"
  466. hacl-star-raw
  467. hamt
  468. hardcaml < "v0.12.0"
  469. hardcaml-affirm
  470. hardcaml-bloop
  471. hardcaml-llvmsim >= "0.3.0"
  472. hardcaml-reedsolomon
  473. hardcaml-vpi >= "0.3.0"
  474. hardcaml-waveterm >= "0.2.0"
  475. hardcaml-yosys
  476. hashcons
  477. hashset
  478. haxe
  479. hdf
  480. hdf5 < "0.1.5"
  481. hdfs
  482. heptagon
  483. herdtools7 >= "7.55" & < "7.56.1"
  484. herelib
  485. hevea < "2.25"
  486. hex < "1.1.0"
  487. higher != "0.3.0"
  488. higlo < "0.8"
  489. hiredis < "0.8"
  490. hkdf < "1.0.3"
  491. hlarp
  492. hll
  493. hmap
  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
  622. litiom
  623. llvm >= "3.9"
  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. metapp
  681. metaquot
  682. mezzo
  683. mikmatch
  684. milter < "1.0.4"
  685. mindstorm < "0.8"
  686. minicli < "5.0.0"
  687. minima-theme
  688. minisat < "0.2"
  689. minivpt
  690. mirage < "0.9.1" | >= "3.0.0" & < "3.1.0"
  691. mirage-block < "1.2.0"
  692. mirage-block-ccm < "1.1.0"
  693. mirage-block-lwt < "1.2.0"
  694. mirage-block-ramdisk < "0.4"
  695. mirage-block-solo5 < "0.6.0"
  696. mirage-block-unix < "2.8.3"
  697. mirage-block-xen < "1.6.0"
  698. mirage-bootvar-solo5 >= "0.2.0" & < "0.6.0"
  699. mirage-bootvar-xen = "0.4.0"
  700. mirage-btrees
  701. mirage-channel < "3.1.0"
  702. mirage-channel-lwt < "3.1.0"
  703. mirage-clock < "1.3.0"
  704. mirage-clock-freestanding < "1.3.0"
  705. mirage-clock-lwt < "1.3.0"
  706. mirage-clock-unix < "1.3.0"
  707. mirage-clock-xen
  708. mirage-console < "2.3.2"
  709. mirage-console-lwt < "2.3.2"
  710. mirage-console-solo5 < "0.6.0"
  711. mirage-console-unix < "2.3.2"
  712. mirage-console-xen != "2.3.2" & < "2.3.4"
  713. mirage-console-xen-backend != "2.3.2" & < "2.3.4"
  714. mirage-console-xen-cli
  715. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
  716. mirage-device < "1.1.0"
  717. mirage-dns < "3.0.0"
  718. mirage-entropy < "0.5.1"
  719. mirage-entropy-unix
  720. mirage-entropy-xen
  721. mirage-flow < "1.3.0"
  722. mirage-flow-lwt < "1.3.0"
  723. mirage-flow-unix < "1.3.0"
  724. mirage-fs < "0.4.0" | = "1.0.0"
  725. mirage-fs-lwt < "1.1.1"
  726. mirage-fs-unix < "1.4.0"
  727. mirage-http < "3.2.0"
  728. mirage-http-unix
  729. mirage-http-xen
  730. mirage-kv < "1.1.1"
  731. mirage-kv-lwt < "1.1.0"
  732. mirage-logs < "1.0.0"
  733. mirage-net < "0.9.1" | = "1.0.0"
  734. mirage-net-direct
  735. mirage-net-fd < "0.2.1"
  736. mirage-net-lwt < "1.1.0"
  737. mirage-net-macosx < "1.5.0"
  738. mirage-net-socket
  739. mirage-net-solo5 < "0.4.3"
  740. mirage-net-unix < "2.4.1"
  741. mirage-net-xen < "1.7.1"
  742. mirage-os-shim
  743. mirage-profile < "0.8.1"
  744. mirage-profile-unix < "0.8.1"
  745. mirage-profile-xen < "0.8.1"
  746. mirage-protocols < "1.2.0"
  747. mirage-protocols-lwt < "1.2.0"
  748. mirage-qubes != "0.5" & < "0.7.0"
  749. mirage-qubes-ipv4 = "0.6"
  750. mirage-random < "1.1.0"
  751. mirage-runtime < "3.0.5"
  752. mirage-solo5 < "0.6.2"
  753. mirage-stack < "1.1.0"
  754. mirage-stack-lwt < "1.1.0"
  755. mirage-tcpip-unix
  756. mirage-tcpip-xen
  757. mirage-time < "1.1.0"
  758. mirage-time-lwt < "1.1.0"
  759. mirage-types < "3.0.5"
  760. mirage-types-lwt < "3.0.5"
  761. mirage-unix < "3.2.0"
  762. mirage-vnetif = "0.3.1"
  763. mirage-www < "1.0.0"
  764. mirage-xen < "3.2.0"
  765. mirage-xen-ocaml >= "2.3.1"
  766. mirari
  767. mirror
  768. missinglib
  769. misuja
  770. mixture
  771. mkaudio < "1.1.0"
  772. ml2mxml
  773. mlbdd < "0.7.2"
  774. mlcuddidl
  775. mld
  776. mlgmp
  777. mlgmpidl
  778. mlmpfr < "4.0.2+dune"
  779. mlpost
  780. mm < "0.7.0"
  781. mmseg < "transition"
  782. modelica_ml
  783. monadlib
  784. mongo
  785. monomorphic < "1.3"
  786. more-ocaml
  787. mosquitto
  788. mparser < "1.3"
  789. mpi
  790. mpp < "0.3.4"
  791. mpris = "0.1.1"
  792. mqtt
  793. mqtt_client
  794. mrt-format
  795. msat < "0.8"
  796. msgpack
  797. msgpck < "1.3"
  798. mstruct < "1.3.3"
  799. mtime
  800. mtl
  801. multipart-form-data < "0.2.0"
  802. murmur3 < "0.3"
  803. mustache < "3.0.2"
  804. mvar
  805. mybuild
  806. mysql
  807. mysql_protocol < "3.0.1"
  808. named-pipe
  809. namespaces
  810. nanomsg
  811. nbd != "2.2.0" & < "4.0.3"
  812. nebula
  813. netamqp
  814. netlink < "0.3.4"
  815. netml
  816. nlopt-ocaml < "transition"
  817. nlp
  818. noCanren < "0.3.0~alpha1"
  819. nocrypto
  820. nonstd
  821. nosetup
  822. not-ocamlfind
  823. note
  824. notty < "0.2.3"
  825. nproc
  826. npy < "0.0.8"
  827. num >= "1.0"
  828. nunchaku < "0.5.1"
  829. OCanren
  830. oasis
  831. oasis-mirage
  832. oasis2debian
  833. oasis2opam
  834. obandit
  835. obeanstalk
  836. obelisk < "0.5.0"
  837. obigstore
  838. objsize
  839. obrowser
  840. obus < "1.2.0"
  841. ocal < "0.2.2"
  842. ocaml-arg
  843. ocaml-basics < "0.5.0"
  844. ocaml-buddy
  845. ocaml-data-notation
  846. ocaml-expat
  847. ocaml-freestanding
  848. ocaml-freestanding-cross-aarch64
  849. ocaml-gist
  850. ocaml-http
  851. ocaml-indent
  852. ocaml-inifiles
  853. ocaml-js-stdlib
  854. ocaml-lsp-server < "1.6.0"
  855. ocaml-lua < "1.8"
  856. ocaml-markdown < "transition"
  857. ocaml-migrate-parsetree < "1.1.0"
  858. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  859. ocaml-monadic < "0.4.0"
  860. ocaml-protoc < "2.0.1"
  861. ocaml-protoc-yojson
  862. ocaml-r < "0.1.0"
  863. ocaml-sat-solvers
  864. ocaml-solo5
  865. ocaml-solo5-cross-aarch64
  866. ocaml-systemd < "1.3"
  867. ocaml-topexpect
  868. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
  869. ocaml-webworker
  870. ocaml-xdg-basedir < "transition"
  871. ocaml-xml-rpc
  872. ocaml-zmq
  873. ocaml9p
  874. ocaml_at_p
  875. ocaml_plugin >= "109.32.00" & < "v0.9.0"
  876. ocamlbrowser
  877. ocamlbuild-atdgen
  878. ocamlbuild-pkg
  879. ocamlbuild-protoc
  880. ocamlclean < "2.1"
  881. ocamldap < "transition"
  882. ocamldbi
  883. ocamldiff
  884. ocamldot
  885. ocamleditor
  886. ocamlfind-lint
  887. ocamlfuse < "2.7.1-cvs6"
  888. ocamlgraph < "2.0.0"
  889. ocamlify
  890. ocamllint
  891. ocamlmod
  892. ocamlnet
  893. ocamlpp < "1.1"
  894. ocamlrss
  895. ocamlscript
  896. ocamlsdl
  897. ocamlsdl2
  898. ocamlsdl2-image
  899. ocamlsdl2-ttf
  900. ocamltter
  901. ocamlyices
  902. ocb-stubblr
  903. ocephes
  904. ocf < "0.8.0"
  905. oci
  906. oclaunch
  907. oclock
  908. ocp-build != "1.99.17-beta"
  909. ocp-indent >= "1.7.0"
  910. ocp-index-top
  911. ocp-ocamlres
  912. ocp-reloc
  913. ocplib-concur
  914. ocplib-endian < "1.1"
  915. ocplib-json-typed < "0.7"
  916. ocplib-resto
  917. ocplib-simplex < "0.5"
  918. ocs
  919. ocsfml
  920. ocsigen-i18n < "4.0.0"
  921. ocsigenserver
  922. octavius < "1.2.1"
  923. ocurl
  924. ocveralls
  925. odate < "0.6"
  926. odbc
  927. odds < "1.1"
  928. odep
  929. odepack < "0.6.9"
  930. odiff-gtk
  931. odig
  932. odisco
  933. odoc != "1.3.0"
  934. ofx
  935. ogen
  936. ogg != "0.6.0" & < "0.7.0"
  937. ojquery
  938. ojs-base
  939. ojwidgets
  940. olinq < "0.3"
  941. ollvm
  942. ollvm-tapir
  943. olmi
  944. oloop
  945. omake
  946. omd < "1.3.2"
  947. oml
  948. omod
  949. omonad
  950. oni
  951. oolc
  952. opa-base
  953. opal
  954. opam-build-revdeps
  955. opam-bundle
  956. opam-core < "2.0.0~beta5"
  957. opam-depext >= "1.2.1"
  958. opam-doc
  959. opam-dune-lint < "0.2"
  960. opam-ed
  961. opam-lib
  962. opam-publish != "0.3.0+transition" & < "2.0.0~beta"
  963. opam-query
  964. opam-sync-github-prs
  965. opam2web >= "1.3.0" & < "2.0"
  966. opamfind
  967. opamfu
  968. opass
  969. opasswd < "1.3.1"
  970. opencc < "transition"
  971. openflow
  972. operf-macro
  973. opium < "0.16.0"
  974. oplay
  975. optcomp
  976. optimization1d < "0.6"
  977. opus < "0.2.0"
  978. orakuda
  979. ordma < "0.0.5"
  980. orm
  981. orocksdb
  982. osbx < "1.2.1"
  983. osc = "0.1.4"
  984. osdp
  985. oseq < "0.2"
  986. ospec
  987. ostap
  988. osx-acl
  989. osx-attr
  990. osx-cf
  991. osx-fsevents
  992. osx-membership
  993. osx-mount
  994. osx-plutil
  995. osx-secure-transport < "0.1.1"
  996. osx-xattr
  997. otfm
  998. oth
  999. otr < "0.3.6"
  1000. ott >= "0.32"
  1001. otto
  1002. ounit != "2.1.2"
  1003. ounit-lwt >= "2.2.0"
  1004. owebl
  1005. owee < "0.3"
  1006. owl < "0.3.0"
  1007. ox
  1008. oxylc
  1009. pa_bench
  1010. pa_bin_prot
  1011. pa_comprehension
  1012. pa_do
  1013. pa_fields_conv
  1014. pa_monad_custom
  1015. pa_ounit
  1016. pa_ovisitor
  1017. pa_qualified
  1018. pa_sexp_conv
  1019. pa_solution
  1020. pa_structural_sexp
  1021. pa_test
  1022. pa_typerep_conv
  1023. pa_variants_conv
  1024. pa_where
  1025. packet
  1026. papi < "0.1.1"
  1027. parany < "5.0.0"
  1028. pareto
  1029. parmap < "1.1.1"
  1030. parse-argv < "0.1.0"
  1031. patdiff >= "113.24.00" & < "v0.9.0"
  1032. patience_diff < "v0.9.0"
  1033. patoline
  1034. pbkdf < "0.3.0"
  1035. pbs
  1036. pcap-format < "0.5.1"
  1037. pcf-format
  1038. pci
  1039. pci-db
  1040. pcre < "7.3.0"
  1041. pds
  1042. pds-reachability
  1043. perf
  1044. pfff < "0.37.1" | >= "0.37.6"
  1045. pgocaml < "4.0"
  1046. pgsolver
  1047. phox
  1048. pilat
  1049. pipebang
  1050. piqi < "0.7.8"
  1051. piqilib < "0.6.16"
  1052. pkcs11 < "0.18.0"
  1053. pla < "1.2"
  1054. planck
  1055. plasma
  1056. plist
  1057. plotkicadsch < "0.2.0"
  1058. plplot < "5.11.0-1"
  1059. podge
  1060. polka
  1061. polyglot
  1062. pomap < "4.0.0"
  1063. portaudio < "0.2.2"
  1064. portia
  1065. posix-clock
  1066. posix-getopt < "2.0.0"
  1067. posix-math
  1068. posix-mqueue
  1069. posix-semaphore
  1070. posix-time
  1071. posix-types < "2.0.0"
  1072. postgresql < "4.1.0"
  1073. pprint < "20200226"
  1074. ppx_assert < "v0.9.0"
  1075. ppx_bench < "v0.9.0"
  1076. ppx_bigarray < "3.0.0"
  1077. ppx_bin_prot < "v0.9.0"
  1078. ppx_bitstring < "2.0.0"
  1079. ppx_blob < "0.3.0"
  1080. ppx_compare < "v0.9.0"
  1081. ppx_const < "2.0"
  1082. ppx_conv_func < "v0.9.0"
  1083. ppx_core < "v0.9.0"
  1084. ppx_cstubs
  1085. ppx_csv_conv < "v0.9.0"
  1086. ppx_curried_constr
  1087. ppx_custom_printf < "v0.9.0"
  1088. ppx_debugger
  1089. ppx_defer < "0.3.0"
  1090. ppx_deriving < "4.3" | >= "5.0"
  1091. ppx_deriving_argparse
  1092. ppx_deriving_cmdliner < "0.6.0"
  1093. ppx_deriving_crowbar
  1094. ppx_deriving_encoding >= "0.2.3"
  1095. ppx_deriving_hardcaml < "v0.12.0"
  1096. ppx_deriving_madcast < "0.2"
  1097. ppx_deriving_morphism
  1098. ppx_deriving_protobuf < "2.7"
  1099. ppx_deriving_yojson >= "2.0" & < "3.3"
  1100. ppx_distr_guards < "0.2"
  1101. ppx_dotbracket
  1102. ppx_driver < "v0.9.0"
  1103. ppx_enumerate < "v0.9.0"
  1104. ppx_expect < "v0.9.0"
  1105. ppx_fail < "v0.9.0"
  1106. ppx_fields_conv < "v0.9.0"
  1107. ppx_fun
  1108. ppx_hardcaml < "1.3.0"
  1109. ppx_here < "v0.9.0"
  1110. ppx_implicits
  1111. ppx_import < "1.5-3-gbd627d5"
  1112. ppx_include
  1113. ppx_inline_test < "v0.9.0"
  1114. ppx_jane < "v0.9.0"
  1115. ppx_jsobject_conv < "0.5.1"
  1116. ppx_json_types
  1117. ppx_let < "v0.9.0"
  1118. ppx_measure
  1119. ppx_meta_conv < "4.0.0"
  1120. ppx_monadic < "2.3.0"
  1121. ppx_monoid < "0.3.2"
  1122. ppx_netblob
  1123. ppx_optcomp < "v0.9.0"
  1124. ppx_orakuda < "3.3.0"
  1125. ppx_overload = "1.0.1"
  1126. ppx_pattern_guard
  1127. ppx_pipebang < "v0.9.0"
  1128. ppx_poly_record < "1.3.0"
  1129. ppx_relit
  1130. ppx_sexp
  1131. ppx_sexp_conv < "v0.9.0"
  1132. ppx_sexp_message < "v0.9.0"
  1133. ppx_sexp_value < "v0.9.0"
  1134. ppx_test < "1.7.0"
  1135. ppx_tools < "6.0+4.08.0"
  1136. ppx_tools_versioned < "5.2"
  1137. ppx_type_conv < "v0.9.0"
  1138. ppx_typerep_conv < "v0.9.0"
  1139. ppx_variants_conv < "v0.9.0"
  1140. ppx_where
  1141. ppx_xml_conv < "v0.9.0"
  1142. ppxfind
  1143. ppxlib >= "0.4.0"
  1144. ppxx < "2.4.0"
  1145. primes
  1146. pringo
  1147. printbox < "0.2"
  1148. prob-cache
  1149. process
  1150. procord
  1151. prof_spacetime < "0.2.0"
  1152. profound
  1153. proj4
  1154. promela
  1155. prometheus < "0.3"
  1156. prometheus-app < "0.3"
  1157. protobuf
  1158. protocol-9p < "0.11.1"
  1159. protocol-9p-tool < "0.11.2"
  1160. protocol-9p-unix < "0.11.2"
  1161. proverif
  1162. psmt2-frontend < "0.3.0"
  1163. psq < "0.1.1"
  1164. psyche
  1165. ptime
  1166. ptmap < "2.0.5"
  1167. ptset < "1.0.1"
  1168. publish < "0.3.4+transition"
  1169. pulseaudio < "0.1.4"
  1170. pumping
  1171. pvem
  1172. pvem_lwt_unix
  1173. pxp
  1174. py < "1.1"
  1175. pyml
  1176. qbf < "0.3"
  1177. qcheck < "0.8"
  1178. qcow < "0.10.2"
  1179. qcow-format
  1180. qcow-tool < "0.11.0"
  1181. qcstm
  1182. qfs
  1183. qmp < "0.19.0"
  1184. qocamlbrowser >= "0.2.9"
  1185. qrc
  1186. qrencode < "0.2"
  1187. qtest < "2.9"
  1188. quickcheck
  1189. r2pipe
  1190. radare2 < "0.0.3"
  1191. randomconv < "0.1.1"
  1192. ranger
  1193. rashell
  1194. raw_spacetime
  1195. rawlink < "1.0"
  1196. raygun4ocaml
  1197. rdbg
  1198. rdf < "0.13.0"
  1199. rdr
  1200. re < "1.7.2"
  1201. re2 >= "113.24.00" & < "v0.9.0"
  1202. react
  1203. reactiveData < "0.3.0"
  1204. reason != "3.5.0"
  1205. reason-parser
  1206. records < "1.0.0"
  1207. redis < "0.3.4"
  1208. reedsolomon < "0.3"
  1209. regstab
  1210. reins
  1211. release
  1212. relit-reason < "0.0.2"
  1213. res < "5.0.0"
  1214. resource-pooling < "1.1"
  1215. revops
  1216. rfc6287 < "1.0.4"
  1217. rfsm < "1.6-alpha-3"
  1218. riak
  1219. riak-pb
  1220. riakc
  1221. riakc_ppx
  1222. river < "0.2"
  1223. rlp
  1224. rml >= "1.09.00" & < "1.09.03"
  1225. root1d < "0.5.1"
  1226. rope < "0.6"
  1227. rotor
  1228. rpc < "5.9.0"
  1229. rpc_parallel < "v0.9.0"
  1230. rresult
  1231. rtime
  1232. rubytt
  1233. runtime_events_tools
  1234. Snowflake
  1235. safa
  1236. safepass < "3.0"
  1237. sail < "0.15"
  1238. salsa20 < "1.0.0"
  1239. salsa20-core < "1.0.0"
  1240. samplerate < "0.1.5"
  1241. sanlock
  1242. sattools
  1243. sawja
  1244. schoca
  1245. schroedinger
  1246. scid
  1247. scrypt
  1248. scrypt-kdf < "1.0.0"
  1249. secp256k1 < "0.2.5"
  1250. sedlex < "2.0"
  1251. semver
  1252. sendmsg
  1253. seq < "0.2"
  1254. sequence < "1.0"
  1255. sequoia
  1256. session < "0.4.0"
  1257. sessions
  1258. setr
  1259. sexplib < "v0.9.0"
  1260. sfml
  1261. sgf < "1.0.1"
  1262. sha < "1.12"
  1263. shared-block-ring < "3.0.0"
  1264. shared-memory-ring < "3.0.1"
  1265. shared-memory-ring-lwt < "3.1.0"
  1266. shared-secret < "0.4"
  1267. shcaml
  1268. shine < "0.2.2"
  1269. should
  1270. sibylfs
  1271. sibylfs-lem
  1272. sid
  1273. sill
  1274. simple-bmc
  1275. simple-diff
  1276. simple_pam
  1277. skkserv-lite
  1278. slack-backup
  1279. slacko < "0.14.1"
  1280. slap
  1281. smart-print < "0.3.0"
  1282. smbc < "0.4.2"
  1283. smtp
  1284. snabela
  1285. snappy < "0.1.2"
  1286. socketcan
  1287. sodium
  1288. solvuu-build
  1289. solvuu_build
  1290. sonet
  1291. sosa
  1292. soundtouch < "0.1.9"
  1293. spacetime_lib < "0.3.0"
  1294. sparrow
  1295. spatial_index
  1296. speex < "0.4.0"
  1297. spelll < "0.3"
  1298. spf < "2.0.2"
  1299. sphinxcontrib-ocaml < "0.3.0"
  1300. spirv
  1301. spotinstall
  1302. spotlib < "4.1.0"
  1303. spotlib_js
  1304. spreadsheet
  1305. sqlexpr < "0.9.0"
  1306. sqlgg < "20200521"
  1307. sqlite3 < "4.2.0"
  1308. sqlite3EZ
  1309. srs < "2.0.0"
  1310. ssl < "0.5.6"
  1311. starterkit
  1312. stationary
  1313. statmemprof-emacs
  1314. statsd-client
  1315. statverif
  1316. stb_image
  1317. stb_image_write
  1318. stb_truetype
  1319. stdcompat < "5"
  1320. stdint < "0.5.1"
  1321. stemmer
  1322. stemming
  1323. stog < "0.20.0"
  1324. stone
  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. unix-dirent
  1407. unix-errno < "0.6.0"
  1408. unix-fcntl
  1409. unix-sys-resource
  1410. unix-sys-stat
  1411. unix-time
  1412. unix-type-representations
  1413. unix-unistd
  1414. unmagic < "1.0.4"
  1415. uri < "1.9.6"
  1416. usb
  1417. usbmux
  1418. user-setup
  1419. utop >= "1.18.1"
  1420. utp
  1421. uucd
  1422. uucp
  1423. uuidm
  1424. uunf
  1425. uuseg
  1426. uutf
  1427. uuuu >= "0.2.0"
  1428. uwt
  1429. valentine
  1430. variantslib < "v0.9.0"
  1431. vchan < "4.0.0"
  1432. vchan-unix < "4.0.0"
  1433. vchan-xen < "4.0.0"
  1434. vector3 < "1.0.0"
  1435. vg
  1436. vhd-format < "0.9.1"
  1437. vhd-tool
  1438. vhdlib
  1439. visitors < "20200207"
  1440. vlt
  1441. vmnet < "1.3.0"
  1442. voaacenc
  1443. volt
  1444. vorbis < "0.8.0"
  1445. vpnkit < "0.1.1"
  1446. vrt
  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. zipperposition < "1.5.1"
  1510. zlib < "0.6"
  1511. zlist < "0.4.0"
  1512. zmq < "5.0.0"
  1513. zstd < "0.3"
  1514. zxcvbn < "2.3+2"

Conflicts

None