package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install 

dune-project
 Dependency

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

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.

Added to opam-repository:

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

Conflicts (1)

  1. relocatable