package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install 

dune-project
 Dependency

projects.camlcity.org Edit opam file Versions (7)

Authors

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

Maintainers

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

Sources

findlib-1.9.5.tar.gz
md5=8b893525ce36cb3d4d4952483bcc7cf4
sha512=03514c618a16b02889db997c6c4789b3436b3ad7d974348d2c6dea53eb78898ab285ce5f10297c074bab4fd2c82931a8b7c5c113b994447a44abb30fca74c715

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: 14 Jun 2022

Dependencies (1)

  1. ocaml >= "4.02.0" & < "5.0"

Dev Dependencies

None

  1. ANSITerminal < "0.8"
  2. aacplus
  3. abella < "2.0.8"
  4. aez
  5. afl-persistent != "1.1" & < "1.3"
  6. aio
  7. alba < "0.4.1"
  8. aliases
  9. alsa < "0.3.0"
  10. amqp-client < "1.1.0"
  11. ancient < "0.10.0"
  12. ansicolor
  13. anycache < "0.7.4"
  14. ao < "0.2.2"
  15. apron
  16. archimedes
  17. ascii85 < "0.4"
  18. asetmap
  19. asl
  20. asli < "0.2.0"
  21. asn1-combinators < "0.2.5"
  22. assertions
  23. assimp
  24. astring
  25. atd < "1.2.1"
  26. atd2cconv
  27. atdgen < "1.10.2"
  28. aws < "1.2"
  29. aws-autoscaling < "1.2"
  30. aws-cloudformation < "1.2"
  31. aws-cloudtrail < "1.2"
  32. aws-ec2 < "1.2"
  33. aws-elasticloadbalancing < "1.2"
  34. aws-sdb < "1.2"
  35. aws-ssm < "1.2"
  36. aws-sts < "1.2"
  37. BetterErrors
  38. b0
  39. baby < "20241204"
  40. bap-build
  41. bap-byteweight-frontend
  42. bap-frontend
  43. bap-plugins
  44. bap-std
  45. bap-toplevel
  46. base-bytes
  47. base58
  48. base64 < "2.2.0"
  49. batteries
  50. bdd < "0.5"
  51. bear
  52. beluga < "1.0"
  53. benchmark < "1.5"
  54. bencode < "2.0"
  55. bheap < "2.0.0"
  56. bigarray-overlap
  57. bindlib < "6.0.0"
  58. bisect
  59. bisect-summary
  60. bisect_ppx >= "1.3.3" & < "2.6.0"
  61. bitv < "1.4"
  62. bjack < "0.1.6"
  63. bn128
  64. bolt
  65. bookaml
  66. bos
  67. bpf
  68. bracetax
  69. broken
  70. brr
  71. bsdowl
  72. bytesrw
  73. cairo2 < "0.6"
  74. calendar < "3.0.0"
  75. camlbz2 < "transition"
  76. camlgpc
  77. camlimages
  78. camllib
  79. camlp4 >= "5.0"
  80. camlp5 >= "8.00.04"
  81. camlpdf
  82. camlprime
  83. camltc < "0.9.8"
  84. camlzip
  85. caper
  86. captureio
  87. caqti < "1.0.0"
  88. caqti-dynload
  89. carton < "0.7.2"
  90. cbor < "0.3"
  91. cconv < "0.5"
  92. cdrom < "0.9.3"
  93. certify < "0.3.0"
  94. cgi
  95. cgroups
  96. chalk
  97. checkseum >= "0.2.0"
  98. choice < "0.4"
  99. clangml
  100. cmark
  101. cmarkit
  102. cmdliner < "1.0.4"
  103. cmdtui
  104. coccinelle
  105. coin >= "0.1.2" & < "0.1.5"
  106. combine
  107. conex < "0.10.0"
  108. config-file < "1.2.1"
  109. configuration
  110. conjury
  111. coq < "8.17.0"
  112. coq-core < "9.0.0"
  113. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | = "0.2.3+9.0"
  114. coq-of-ocaml
  115. coq-serapi
  116. coqide >= "8.11.2"
  117. cordova
  118. cordova-plugin-activity-indicator
  119. cordova-plugin-background-mode
  120. cordova-plugin-barcode-scanner
  121. cordova-plugin-battery-status
  122. cordova-plugin-camera
  123. cordova-plugin-clipboard
  124. cordova-plugin-datepicker
  125. cordova-plugin-device
  126. cordova-plugin-device-motion
  127. cordova-plugin-device-orientation
  128. cordova-plugin-dialogs
  129. cordova-plugin-email-composer
  130. cordova-plugin-fcm
  131. cordova-plugin-file
  132. cordova-plugin-file-opener
  133. cordova-plugin-file-transfer
  134. cordova-plugin-geolocation
  135. cordova-plugin-globalization
  136. cordova-plugin-image-picker
  137. cordova-plugin-inappbrowser
  138. cordova-plugin-insomnia
  139. cordova-plugin-keyboard
  140. cordova-plugin-loading-spinner
  141. cordova-plugin-local-notifications
  142. cordova-plugin-media
  143. cordova-plugin-media-capture
  144. cordova-plugin-network-information
  145. cordova-plugin-progress
  146. cordova-plugin-push-notifications
  147. cordova-plugin-qrscanner
  148. cordova-plugin-screen-orientation
  149. cordova-plugin-sim-card
  150. cordova-plugin-sms
  151. cordova-plugin-social-sharing
  152. cordova-plugin-statusbar
  153. cordova-plugin-toast
  154. cordova-plugin-touch-id
  155. cordova-plugin-vibration
  156. cordova-plugin-videoplayer
  157. corecount
  158. cow < "2.3.0"
  159. cowabloga < "0.4.0"
  160. cpdf
  161. cpm < "4.0.0"
  162. cppo_ocamlbuild
  163. cpuid < "0.1.2"
  164. crc < "2.0.0"
  165. crdt-ml
  166. cry < "0.6.5"
  167. crypt < "2.0"
  168. cryptohash
  169. cryptokit < "1.16.1"
  170. cryptoverif
  171. csv < "2.0"
  172. ctypes < "0.21.1"
  173. ctypes-build
  174. cubicle
  175. cudf >= "0.7" & < "0.10"
  176. curses < "1.0.9"
  177. DAGaml
  178. datalog < "0.6"
  179. dbm
  180. debian-formats < "0.1.2"
  181. dedukti < "2.7"
  182. delimcc
  183. depext < "0.3"
  184. depgraph
  185. deriving
  186. devkit < "1.0"
  187. digestif != "0.6.1"
  188. dispatch < "0.4.0"
  189. docker-api < "0.2"
  190. docout
  191. dolmen < "0.4"
  192. dolog < "4.0.0"
  193. dose3 < "6.1"
  194. dot-merlin-reader
  195. down
  196. dssi < "0.1.3"
  197. dtoa < "0.3.0"
  198. dum < "1.0.3"
  199. dune >= "3.17.2"
  200. dyntype
  201. earley < "3.0.0"
  202. easy-format < "1.3.0"
  203. efl
  204. eigen < "0.1.0"
  205. elasticsearch-cli < "0.5"
  206. elina
  207. eliom
  208. emoji < "2.0.0"
  209. enumerators
  210. exenum < "0.86"
  211. exn-source
  212. expect < "0.1.0"
  213. extlib < "1.7.9"
  214. extprot
  215. extunix < "0.3.1"
  216. ezjsonm < "1.0.0"
  217. ezsqlite < "0.4"
  218. FrontC < "3.4.2"
  219. faad < "0.5.0"
  220. fadbadml < "0.1.2"
  221. faraday < "0.3.0"
  222. farfadet
  223. farmhash < "0.4"
  224. fdkaac < "0.3.2"
  225. ffmpeg < "1.0.0~beta1"
  226. fieldslib < "v0.13.0"
  227. fileutils < "0.6.1"
  228. fix < "20181206"
  229. flock
  230. flow_parser < "0.229.1"
  231. fmt
  232. format
  233. fpath
  234. frama-c < "28.0~beta"
  235. freetds < "0.5.2"
  236. freetennis
  237. frei0r < "0.1.2"
  238. fstar < "2025.02.17"
  239. fstreams
  240. functory
  241. funfields
  242. GT
  243. GuaCaml
  244. gammu < "0.9.4"
  245. gavl
  246. gd < "1.1"
  247. gdal < "0.10.0"
  248. gedcom
  249. gen < "0.5.3"
  250. gen-bs
  251. genlet
  252. genspir < "1.0.0"
  253. geoip
  254. getopt < "20230213"
  255. getopts
  256. gettext < "0.4.2"
  257. gg
  258. git-unix >= "3.2.0" & < "3.16.1"
  259. gles3
  260. glical >= "0.0.4"
  261. glicko2
  262. glMLite
  263. glpk
  264. goblint-cil
  265. gospel >= "0.2.0"
  266. gpx
  267. grain_dypgen < "0.2.1"
  268. grain_wasm_spec
  269. graphicspdf
  270. grib
  271. gsl < "1.22.0"
  272. gstreamer < "0.3.1"
  273. gufo
  274. gxl-light
  275. h2-lwt-unix < "0.4.0"
  276. hachis
  277. hacl-star-raw
  278. hamt
  279. hashcons < "1.4.0"
  280. hashset < "1.0.1"
  281. haxe
  282. hdfs
  283. hector < "20241208"
  284. heptagon
  285. herdtools7 >= "7.55" & < "7.56.1"
  286. higher != "0.3.0"
  287. higlo < "0.8"
  288. hiredis < "0.8"
  289. hlarp
  290. hll
  291. hmap
  292. htmlit
  293. humane-re
  294. ISO8601 < "0.2.6"
  295. i2c
  296. igvxml
  297. inferno < "20190924"
  298. inotify < "2.4"
  299. inspect
  300. integers < "0.3.0"
  301. interval < "1.4"
  302. intPQueue
  303. inuit < "0.4.1"
  304. io
  305. irc-client < "0.6.0"
  306. iri < "0.6.0"
  307. itv-tree < "2.2"
  308. jasmin
  309. javalib
  310. javascriptcore
  311. jekyll-format < "0.2.0"
  312. jemalloc < "0.2"
  313. jingoo < "1.3.0"
  314. joolog
  315. js-build-tools
  316. js_of_ocaml-ocamlbuild < "3.5.0"
  317. js_of_ocaml-toplevel
  318. json-rpc
  319. json-static
  320. json-wheel
  321. jsondiff
  322. jsonm
  323. jsont
  324. junit < "2.0"
  325. kaputt
  326. karamel
  327. key-parsers < "0.10.1"
  328. kinetic-client < "0.0.11"
  329. kot
  330. kremlin < "transition"
  331. lablgl >= "1.07"
  332. lablgtk
  333. lablgtk-extras
  334. lablgtk3 >= "3.1.3"
  335. lablgtk3-extras < "3.0.1"
  336. lablqml
  337. labltk
  338. lacaml < "10.0.1"
  339. ladspa < "0.2.0"
  340. lambdasoup < "0.6.2"
  341. lame < "0.3.4"
  342. lascar < "0.6-alpha"
  343. lastfm < "0.3.3"
  344. launchd < "1.3"
  345. learn-ocaml
  346. learn-ocaml-client
  347. ledit >= "2.06"
  348. lem
  349. lemonade
  350. lemonade-sqlite
  351. lens < "1.2.4"
  352. libdash < "0.4.1"
  353. libevent
  354. libssh
  355. libsvm < "0.9.4"
  356. libudev
  357. linenoise < "1.3.1"
  358. linkage
  359. links
  360. linksem
  361. lipsum
  362. liquidsoap < "2.3.3"
  363. llvm >= "3.9" & < "15.0.7+nnp-2" | >= "18-shared"
  364. llvmgraph
  365. lmdb < "1.0"
  366. lo < "0.2.0"
  367. logger-p5
  368. logs
  369. lpi
  370. lru < "0.3.0"
  371. lru-cache
  372. lua-ml >= "0.9.1" & < "0.9.3"
  373. lua_pattern
  374. lustre-v6
  375. lutils
  376. lutin
  377. lwt
  378. lwt-zmq
  379. lwt_glib < "1.1.0"
  380. lwt_named_threads
  381. lymp
  382. lz4 < "1.2.0"
  383. lzo < "0.0.3"
  384. macaque
  385. macaroons
  386. mad < "0.5.0"
  387. magic
  388. magic-mime < "1.1.0"
  389. maildir
  390. malfunction
  391. mariadb < "1.2.0"
  392. markup < "0.7.6"
  393. maxminddb
  394. mdx
  395. mecab
  396. memcpy
  397. menhir < "20200123"
  398. mergeable-vector
  399. merlin-of-pds
  400. mesh < "0.9.3"
  401. mesh-display
  402. mesh-easymesh < "0.9.3"
  403. mesh-graphics < "0.9.3"
  404. mesh-triangle < "0.9.3"
  405. metapp
  406. metaquot < "0.6.0"
  407. mikmatch
  408. mindstorm < "0.8"
  409. minicli < "5.0.0"
  410. minima-theme
  411. minisat < "0.2"
  412. minivpt
  413. mirage-btrees
  414. mirage-channel < "3.1.0"
  415. mirage-kv < "1.1.1"
  416. mirage-kv-lwt < "1.1.0"
  417. mirage-net-macosx < "1.6.0"
  418. mirage-types < "3.6.0"
  419. mirage-types-lwt < "3.6.0"
  420. misuja
  421. mixture
  422. mkaudio < "1.1.0"
  423. mlbdd < "0.7.2"
  424. mlcuddidl
  425. mlgmpidl
  426. mlmpfr < "4.0.2+dune"
  427. mlpost
  428. mm < "0.7.0"
  429. monadlib
  430. monomorphic < "1.3"
  431. mopsa
  432. more-ocaml
  433. mosquitto
  434. mparser < "1.3"
  435. mpi
  436. mpp < "0.3.4"
  437. msat < "0.8"
  438. msgpack
  439. msgpck < "1.3"
  440. mtime
  441. mtl
  442. murmur3 < "0.3"
  443. mustache < "3.1.0"
  444. mvar
  445. mybuild < "7"
  446. mysql
  447. named-pipe
  448. namespaces
  449. nbd < "4.0.3"
  450. netlink < "0.3.4"
  451. nlopt-ocaml < "transition"
  452. nlp
  453. nocrypto
  454. nonstd
  455. nosetup
  456. not-ocamlfind
  457. note
  458. notty < "0.2.3"
  459. nproc
  460. npy < "0.0.8"
  461. OCanren
  462. oasis
  463. oasis2debian
  464. oasis2opam
  465. obandit
  466. obelisk < "0.5.0"
  467. objsize
  468. obuild >= "0.1.11"
  469. obus < "1.2.1"
  470. ocal < "0.2.2"
  471. ocaml-basics < "0.5.0"
  472. ocaml-buddy
  473. ocaml-expat
  474. ocaml-freestanding
  475. ocaml-http
  476. ocaml-inifiles
  477. ocaml-js-stdlib
  478. ocaml-lsp-server < "1.9.0"
  479. ocaml-migrate-parsetree-ocamlbuild
  480. ocaml-monadic < "0.4.0"
  481. ocaml-protoc < "2.0.1"
  482. ocaml-protoc-yojson
  483. ocaml-sat-solvers < "0.8"
  484. ocaml-solo5
  485. ocaml-solo5-cross-aarch64
  486. ocaml-systemd < "1.3"
  487. ocaml-unikraft-arm64
  488. ocaml-unikraft-default-arm64
  489. ocaml-unikraft-default-x86_64
  490. ocaml-unikraft-x86_64
  491. ocaml-xdg-basedir < "transition"
  492. ocamlbrowser
  493. ocamlbuild >= "0.15.0"
  494. ocamlbuild-atdgen
  495. ocamlbuild-pkg
  496. ocamlbuild-protoc
  497. ocamldap < "transition"
  498. ocamldiff < "1.2"
  499. ocamldot
  500. ocamleditor
  501. ocamlfind-lint
  502. ocamlgraph < "2.0.0"
  503. ocamlify < "0.1.0"
  504. ocamlmod < "0.1.1"
  505. ocamlnet
  506. ocamlrss
  507. ocamlscript
  508. ocamlsdl
  509. ocamlsdl2
  510. ocamlsdl2-image
  511. ocamlsdl2-ttf
  512. ocamlyices
  513. ocb-stubblr
  514. ocephes
  515. ocf < "0.8.0"
  516. oclock
  517. ocp-build
  518. ocp-indent >= "1.7.0"
  519. ocp-ocamlres
  520. ocp-reloc
  521. ocplib-endian < "1.1"
  522. ocplib-json-typed < "0.7"
  523. ocplib-resto
  524. ocplib-simplex != "0.5"
  525. ocsfml
  526. ocsigen-i18n < "4.0.0"
  527. ocsigenserver
  528. octavius < "1.2.1"
  529. ocurl < "transition"
  530. ocveralls
  531. odbc
  532. odds < "1.1"
  533. odep
  534. odepack < "0.6.9"
  535. odig
  536. odoc
  537. odoc-driver
  538. ofx
  539. ogg < "1.0.0"
  540. ojs-base
  541. olinq < "0.3"
  542. ollvm
  543. ollvm-tapir
  544. olmi
  545. omake
  546. omd < "1.3.2"
  547. oml
  548. omod
  549. omonad
  550. oolc
  551. opal
  552. opam-bundle
  553. opam-depext >= "1.2.1"
  554. opam-ed < "0.4"
  555. opam-lib
  556. opam-publish = "0.3.5"
  557. opamfu
  558. opencc < "transition"
  559. ordma < "0.0.5"
  560. orm
  561. orocksdb
  562. osc < "0.2.0"
  563. osdp
  564. oseq < "0.2"
  565. ostap
  566. osx-acl
  567. osx-attr
  568. osx-cf
  569. osx-fsevents
  570. osx-membership
  571. osx-mount
  572. osx-plutil
  573. osx-xattr
  574. otfm
  575. otp
  576. ott >= "0.32"
  577. otto
  578. ounit != "2.1.2"
  579. ounit-lwt >= "2.2.0"
  580. pa_comprehension
  581. pa_monad_custom
  582. pa_qualified
  583. pa_solution
  584. pa_where
  585. papi < "0.1.1"
  586. parany < "9.0.0"
  587. pareto
  588. parmap < "1.1.1"
  589. pbs
  590. pcap-format < "0.5.2"
  591. pci
  592. pci-db
  593. pcre < "7.3.0"
  594. pds
  595. pds-reachability < "0.2.3"
  596. pfff
  597. pgocaml < "4.0"
  598. pgsolver < "4.4"
  599. pilat
  600. piqi < "0.7.8"
  601. piqilib < "0.6.16"
  602. pkcs11 < "0.18.0"
  603. plist
  604. plplot < "5.11.0-1"
  605. podge
  606. polka
  607. polyglot
  608. portaudio < "0.2.2"
  609. portia
  610. posix-clock
  611. posix-getopt < "2.0.0"
  612. posix-math
  613. posix-mqueue
  614. posix-semaphore
  615. posix-time
  616. posix-types < "2.0.0"
  617. postgresql < "4.1.0"
  618. pprint < "20200226"
  619. ppx_blob < "0.3.0"
  620. ppx_cstubs
  621. ppx_defer < "0.3.0"
  622. ppx_deriving >= "5.0"
  623. ppx_deriving_argparse
  624. ppx_deriving_cmdliner < "0.6.0"
  625. ppx_deriving_encoding >= "0.2.3" & < "0.4.0"
  626. ppx_deriving_madcast < "0.2"
  627. ppx_distr_guards < "0.2"
  628. ppx_monoid < "0.3.2"
  629. ppxfind
  630. ppxlib
  631. primes
  632. pringo
  633. printbox < "0.2"
  634. process
  635. proj4
  636. prometheus < "0.3"
  637. protocol-9p < "0.11.1"
  638. protocol-9p-tool < "0.11.2"
  639. protocol-9p-unix < "0.11.2"
  640. proverif
  641. psmt2-frontend < "0.3.0"
  642. psq < "0.1.1"
  643. psyche
  644. ptime
  645. ptmap < "2.0.5"
  646. pulseaudio < "0.1.4"
  647. pumping
  648. pvem
  649. pxp
  650. py < "1.1"
  651. pyml
  652. qbf < "0.3"
  653. qcheck < "0.13"
  654. qcstm
  655. qfs
  656. qmp < "0.19.0"
  657. qrc
  658. qtest < "2.9"
  659. r2pipe
  660. radare2 < "0.0.3"
  661. ranger
  662. raw_spacetime
  663. raygun4ocaml
  664. rdbg
  665. rdf < "0.13.0"
  666. rdr
  667. re < "1.7.2"
  668. react
  669. reactiveData < "0.2.4"
  670. reason
  671. records < "1.0.0"
  672. res < "5.0.0"
  673. resource-pooling < "1.1"
  674. revops
  675. rfc6287 < "1.0.4"
  676. rfsm < "1.6-alpha-3"
  677. rlp
  678. rml < "1.09.03"
  679. rocq-runtime
  680. rocqide
  681. root1d < "0.5.1"
  682. rresult
  683. runtime_events_tools < "0.5.1"
  684. Snowflake
  685. safa
  686. safepass < "3.0"
  687. sail < "0.15"
  688. salsa20 < "1.0.0"
  689. salsa20-core < "1.0.0"
  690. samplerate < "0.1.6"
  691. sanlock
  692. sattools
  693. sawja
  694. schroedinger
  695. scid
  696. scrypt
  697. secp256k1 < "0.2.5"
  698. selfie
  699. semver < "0.2.1"
  700. sendmsg
  701. sequence
  702. session < "0.4.0"
  703. sessions
  704. setr
  705. sfml
  706. sha < "1.12"
  707. shared-secret < "0.4"
  708. shcaml
  709. shine < "0.2.2"
  710. sid
  711. simple-diff
  712. simple_pam
  713. slap
  714. smart-print < "0.3.0"
  715. smtp
  716. socketcan
  717. sodium
  718. sosa
  719. soundtouch < "0.1.9"
  720. spelll < "0.3"
  721. spirv
  722. spotlib < "4.1.0"
  723. spreadsheet
  724. sqlgg < "20200521"
  725. sqlite3 < "4.2.0"
  726. srt
  727. ssl < "0.5.6"
  728. starterkit
  729. statverif
  730. stb_image
  731. stb_image_write
  732. stb_truetype
  733. stdcompat < "14"
  734. stdint < "0.5.1"
  735. stemmer
  736. stemming
  737. stog < "0.20.0"
  738. stone < "0.5.2"
  739. stringCodepointSplitter
  740. stringext < "1.5.0"
  741. strymonas-pure
  742. sturgeon < "0.4.2"
  743. subtype-refinement < "0.2"
  744. sundialsml
  745. symkat
  746. syndic < "1.6.0"
  747. syslog-message < "1.0.0"
  748. systemverilog < "0.0.2"
  749. TCSLib
  750. taglib < "0.3.7"
  751. tallgeese
  752. tcx
  753. tdk
  754. tensorflow
  755. termbox
  756. terminal_size < "0.1.4"
  757. text
  758. textwrap < "0.2.1"
  759. tgls
  760. timed < "1.1"
  761. tiny_json < "1.1.6"
  762. tip-parser < "0.4"
  763. tjr_simple_earley
  764. tls < "0.12.8"
  765. tophide
  766. topkg
  767. topkg-care
  768. toplevel_backend
  769. toplevel_expect_test
  770. touist < "3.5.0"
  771. tplib
  772. tptp
  773. tree_layout < "0.2"
  774. treeprint < "2.2.0"
  775. tsdl
  776. ttweetnacl
  777. type_conv
  778. typerep < "v0.13.0"
  779. typerex-binutils
  780. tyre < "0.4"
  781. tyxml < "4.3.0"
  782. ubpf < "0.2"
  783. uint < "2.0.1"
  784. ulex
  785. ulex-camlp5
  786. unionFind >= "20250818"
  787. unison-gui
  788. unix-dirent
  789. unix-errno < "0.6.0"
  790. unix-sys-resource
  791. unix-sys-stat
  792. unix-time
  793. unix-type-representations < "0.1.3"
  794. unix-unistd
  795. usb
  796. user-setup
  797. utop
  798. uucd
  799. uucp
  800. uuidm
  801. uunf
  802. uuseg
  803. uutf
  804. uuuu >= "0.2.0" & < "0.4.0"
  805. uwt
  806. valentine
  807. variantslib < "v0.13.0"
  808. vector3 < "1.0.0"
  809. vg
  810. vhdlib
  811. visitors < "20200207"
  812. vlt
  813. voaacenc
  814. volt
  815. vscoq-language-server < "2.3.3"
  816. vsrocq-language-server
  817. wamp < "1.2"
  818. wasm < "2.0.2"
  819. wcs-lib < "2017-05-26.02"
  820. webbrowser
  821. webidl
  822. webmachine < "0.5.0"
  823. websocketml
  824. why3
  825. why3-coq
  826. why3-ide
  827. win-error < "0.3"
  828. win-eventlog < "0.2"
  829. wiringpi
  830. wxOCaml
  831. xapi-inventory < "1.2.3"
  832. xenstore_transport < "1.1.0" | >= "1.5.0"
  833. xml-light < "2.5"
  834. xmldiff < "0.7.0"
  835. xmlm
  836. xmlplaylist < "0.1.5"
  837. xtmpl < "0.19.0"
  838. yajl
  839. yices2
  840. yices2_bindings
  841. yurt < "0.6"
  842. z3
  843. zarith
  844. zipc
  845. zlist < "0.4.0"
  846. zmq < "5.0.0"
  847. zstd < "0.3"
  848. zxcvbn < "2.3+2"

Conflicts (1)

  1. relocatable