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.8.tar.gz
md5=ca770e5806032a96131b670f6e07f146
sha512=8967986de2ab4ec5993f437b0a4206742adf37aa7a292a3bba0a04438d78539b84d001191e60b2d5bde98a695b38cba2593b7051f7749adbdb964a0df3c4b661

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: 05 Feb 2025

Dependencies (1)

  1. ocaml >= "3.08.0" & (os != "cygwin" & os-distribution != "msys2" | < "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. catala >= "0.8.0"
  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 < "8.16.0+0.16.0" | >= "8.20.0+0.20.0"
  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. diffast-misc = "0.3.5.1"
  189. digestif != "0.6.1"
  190. dispatch < "0.4.0"
  191. docker-api < "0.2"
  192. docout
  193. dolmen < "0.4"
  194. dolog < "4.0.0"
  195. dose3 < "6.1"
  196. dot-merlin-reader
  197. down
  198. dssi < "0.1.3"
  199. dtoa < "0.3.0"
  200. dum < "1.0.3"
  201. dune >= "3.17.2"
  202. dyntype
  203. earley < "3.0.0"
  204. easy-format < "1.3.0"
  205. efl
  206. eigen < "0.1.0"
  207. elasticsearch-cli < "0.5"
  208. elina
  209. eliom
  210. emoji < "2.0.0"
  211. enumerators
  212. exenum < "0.86"
  213. exn-source
  214. expect < "0.1.0"
  215. extlib < "1.7.9"
  216. extprot
  217. extunix < "0.3.1"
  218. ezjsonm < "1.0.0"
  219. ezsqlite < "0.4"
  220. FrontC < "3.4.2"
  221. faad < "0.5.0"
  222. fadbadml < "0.1.2"
  223. faraday < "0.3.0"
  224. farfadet
  225. farmhash < "0.4"
  226. fdkaac < "0.3.2"
  227. ffmpeg < "1.0.0~beta1"
  228. fieldslib < "v0.13.0"
  229. fileutils < "0.6.1"
  230. fix < "20181206"
  231. flock
  232. flow_parser < "0.229.1"
  233. fmt
  234. format
  235. fpath
  236. frama-c < "28.0~beta"
  237. freetds < "0.5.2"
  238. freetennis
  239. frei0r < "0.1.2"
  240. fstar < "2025.02.17"
  241. fstreams
  242. functory
  243. funfields
  244. GT
  245. GuaCaml
  246. gammu < "0.9.4"
  247. gavl
  248. gd < "1.1"
  249. gdal < "0.10.0"
  250. gedcom
  251. gen < "0.5.3"
  252. gen-bs
  253. genlet
  254. genspir < "1.0.0"
  255. geoip
  256. getopt < "20230213"
  257. getopts
  258. gettext < "0.4.2"
  259. gg
  260. git-unix >= "3.2.0" & < "3.16.1"
  261. gles3
  262. glical >= "0.0.4"
  263. glicko2
  264. glMLite
  265. glpk
  266. goblint-cil
  267. gospel >= "0.2.0"
  268. gpx
  269. grain_dypgen < "0.2.1"
  270. grain_wasm_spec
  271. graphicspdf
  272. grib
  273. gsl < "1.22.0"
  274. gstreamer < "0.3.1"
  275. gufo
  276. gxl-light
  277. h2-lwt-unix < "0.4.0"
  278. hachis
  279. hacl-star-raw
  280. hamt
  281. hashcons < "1.4.0"
  282. hashset < "1.0.1"
  283. haxe
  284. hdfs
  285. hector < "20241208"
  286. heptagon
  287. herdtools7 >= "7.55" & < "7.56.1"
  288. higher != "0.3.0"
  289. higlo < "0.8"
  290. hiredis < "0.8"
  291. hlarp
  292. hll
  293. hmap
  294. htmlit
  295. humane-re
  296. ISO8601 < "0.2.6"
  297. i2c
  298. igvxml
  299. inferno < "20190924"
  300. inotify < "2.4"
  301. inspect
  302. integers < "0.3.0"
  303. interval < "1.4"
  304. intPQueue
  305. inuit < "0.4.1"
  306. io
  307. irc-client < "0.6.0"
  308. iri < "0.6.0"
  309. itv-tree < "2.2"
  310. jasmin
  311. javalib
  312. javascriptcore
  313. jekyll-format < "0.2.0"
  314. jemalloc < "0.2"
  315. jingoo < "1.3.0"
  316. joolog
  317. js-build-tools
  318. js_of_ocaml-ocamlbuild < "3.5.0"
  319. js_of_ocaml-toplevel
  320. json-rpc
  321. json-static
  322. json-wheel
  323. jsondiff
  324. jsonm
  325. jsont
  326. junit < "2.0"
  327. kaputt
  328. karamel
  329. key-parsers < "0.10.1"
  330. kinetic-client < "0.0.11"
  331. kot
  332. kremlin < "transition"
  333. lablgl >= "1.07"
  334. lablgtk
  335. lablgtk-extras
  336. lablgtk3 >= "3.1.3"
  337. lablgtk3-extras < "3.0.1"
  338. lablqml
  339. labltk
  340. lacaml < "10.0.1"
  341. ladspa < "0.2.0"
  342. lambdasoup < "0.6.2"
  343. lame < "0.3.4"
  344. lascar < "0.6-alpha"
  345. lastfm < "0.3.3"
  346. launchd < "1.3"
  347. learn-ocaml
  348. learn-ocaml-client
  349. ledit >= "2.06"
  350. lem
  351. lemonade
  352. lemonade-sqlite
  353. lens < "1.2.4"
  354. libdash
  355. libevent
  356. libssh
  357. libsvm < "0.9.4"
  358. libudev
  359. linenoise < "1.3.1"
  360. linkage
  361. links
  362. linksem
  363. lipsum
  364. liquidsoap < "2.3.3"
  365. llvm >= "3.9" & < "15.0.7+nnp-2" | >= "18-shared"
  366. llvmgraph
  367. lmdb < "1.0"
  368. lo < "0.2.0"
  369. logger-p5
  370. logs
  371. lpi
  372. lru < "0.3.0"
  373. lru-cache
  374. lua-ml >= "0.9.1" & < "0.9.3"
  375. lua_pattern
  376. lustre-v6
  377. lutils
  378. lutin
  379. lwt
  380. lwt-zmq
  381. lwt_glib < "1.1.0"
  382. lwt_named_threads
  383. lymp
  384. lz4 < "1.2.0"
  385. lzo < "0.0.3"
  386. macaque
  387. macaroons
  388. mad < "0.5.0"
  389. magic
  390. magic-mime < "1.1.0"
  391. maildir
  392. malfunction
  393. mariadb < "1.2.0"
  394. markup < "0.7.6"
  395. maxminddb
  396. mdx
  397. mecab
  398. memcpy
  399. menhir < "20200123"
  400. mergeable-vector
  401. merlin-of-pds
  402. mesh < "0.9.3"
  403. mesh-display
  404. mesh-easymesh < "0.9.3"
  405. mesh-graphics < "0.9.3"
  406. mesh-triangle < "0.9.3"
  407. metapp
  408. metaquot < "0.6.0"
  409. mikmatch
  410. mindstorm < "0.8"
  411. minicli < "5.0.0"
  412. minima-theme
  413. minisat < "0.2"
  414. minivpt
  415. mirage-btrees
  416. mirage-channel < "3.1.0"
  417. mirage-kv < "1.1.1"
  418. mirage-kv-lwt < "1.1.0"
  419. mirage-net-macosx < "1.6.0"
  420. mirage-types < "3.6.0"
  421. mirage-types-lwt < "3.6.0"
  422. misuja
  423. mixture
  424. mkaudio < "1.1.0"
  425. mlbdd < "0.7.2"
  426. mlcuddidl
  427. mlgmpidl
  428. mlmpfr < "4.0.2+dune"
  429. mlpost
  430. mm < "0.7.0"
  431. monadlib
  432. monomorphic < "1.3"
  433. mopsa
  434. more-ocaml
  435. mosquitto
  436. mparser < "1.3"
  437. mpi
  438. mpp < "0.3.4"
  439. msat < "0.8"
  440. msgpack
  441. msgpck < "1.3"
  442. mtime
  443. mtl
  444. murmur3 < "0.3"
  445. mustache < "3.1.0"
  446. mvar
  447. mybuild < "7"
  448. mysql
  449. named-pipe
  450. namespaces
  451. nbd < "4.0.3"
  452. netlink < "0.3.4"
  453. nlopt-ocaml < "transition"
  454. nlp
  455. nocrypto
  456. nonstd
  457. nosetup
  458. not-ocamlfind
  459. note
  460. notty < "0.2.3"
  461. nproc
  462. npy < "0.0.8"
  463. OCanren
  464. oasis
  465. oasis2debian
  466. oasis2opam
  467. obandit
  468. obelisk < "0.5.0"
  469. objsize
  470. obuild >= "0.1.11"
  471. obus < "1.2.1"
  472. ocal < "0.2.2"
  473. ocaml-basics < "0.5.0"
  474. ocaml-buddy
  475. ocaml-expat
  476. ocaml-freestanding
  477. ocaml-http
  478. ocaml-inifiles
  479. ocaml-js-stdlib
  480. ocaml-lsp-server < "1.9.0"
  481. ocaml-migrate-parsetree-ocamlbuild
  482. ocaml-monadic < "0.4.0"
  483. ocaml-protoc < "2.0.1"
  484. ocaml-protoc-yojson
  485. ocaml-sat-solvers < "0.8"
  486. ocaml-solo5
  487. ocaml-solo5-cross-aarch64
  488. ocaml-systemd < "1.3"
  489. ocaml-unikraft-arm64
  490. ocaml-unikraft-default-arm64
  491. ocaml-unikraft-default-x86_64
  492. ocaml-unikraft-x86_64
  493. ocaml-xdg-basedir < "transition"
  494. ocamlbrowser
  495. ocamlbuild >= "0.15.0"
  496. ocamlbuild-atdgen
  497. ocamlbuild-pkg
  498. ocamlbuild-protoc
  499. ocamldap < "transition"
  500. ocamldiff < "1.2"
  501. ocamldot
  502. ocamleditor
  503. ocamlfind-lint
  504. ocamlgraph < "2.0.0"
  505. ocamlify < "0.1.0"
  506. ocamlmod < "0.1.1"
  507. ocamlnet
  508. ocamlrss
  509. ocamlscript
  510. ocamlsdl
  511. ocamlsdl2
  512. ocamlsdl2-image
  513. ocamlsdl2-ttf
  514. ocamlyices
  515. ocb-stubblr
  516. ocephes
  517. ocf < "0.8.0"
  518. oclock
  519. ocp-build
  520. ocp-indent >= "1.7.0"
  521. ocp-ocamlres
  522. ocp-reloc
  523. ocplib-endian < "1.1"
  524. ocplib-json-typed < "0.7"
  525. ocplib-resto
  526. ocplib-simplex != "0.5"
  527. ocsfml
  528. ocsigen-i18n < "4.0.0"
  529. ocsigenserver
  530. octavius < "1.2.1"
  531. ocurl < "transition"
  532. ocveralls
  533. odbc
  534. odds < "1.1"
  535. odep
  536. odepack < "0.6.9"
  537. odig
  538. odoc
  539. odoc-driver
  540. ofx
  541. ogg < "1.0.0"
  542. ojs-base
  543. olinq < "0.3"
  544. ollvm
  545. ollvm-tapir
  546. olmi
  547. omake
  548. omd < "1.3.2"
  549. oml
  550. omod
  551. omonad
  552. oolc
  553. opal
  554. opam-bundle
  555. opam-depext >= "1.2.1"
  556. opam-ed < "0.4"
  557. opam-lib
  558. opam-publish = "0.3.5"
  559. opamfu
  560. opencc < "transition"
  561. ordma < "0.0.5"
  562. orm
  563. orocksdb
  564. osc < "0.2.0"
  565. osdp
  566. oseq < "0.2"
  567. ostap
  568. osx-acl
  569. osx-attr
  570. osx-cf
  571. osx-fsevents
  572. osx-membership
  573. osx-mount
  574. osx-plutil
  575. osx-xattr
  576. otfm
  577. otp
  578. ott >= "0.32"
  579. otto
  580. ounit != "2.1.2"
  581. ounit-lwt >= "2.2.0"
  582. pa_comprehension
  583. pa_monad_custom
  584. pa_qualified
  585. pa_solution
  586. pa_where
  587. papi < "0.1.1"
  588. parany < "9.0.0"
  589. pareto
  590. parmap < "1.1.1"
  591. pbs
  592. pcap-format < "0.5.2"
  593. pci
  594. pci-db
  595. pcre < "7.3.0"
  596. pds
  597. pds-reachability < "0.2.3"
  598. pfff
  599. pgocaml < "4.0"
  600. pgsolver < "4.4"
  601. pilat
  602. piqi < "0.7.8"
  603. piqilib < "0.6.16"
  604. pkcs11 < "0.18.0"
  605. plist
  606. plplot < "5.11.0-1"
  607. podge
  608. polka
  609. polyglot
  610. portaudio < "0.2.2"
  611. portia
  612. posix-clock
  613. posix-getopt < "2.0.0"
  614. posix-math
  615. posix-mqueue
  616. posix-semaphore
  617. posix-time
  618. posix-types < "2.0.0"
  619. postgresql < "4.1.0"
  620. pprint < "20200226"
  621. ppx_blob < "0.3.0"
  622. ppx_cstubs
  623. ppx_defer < "0.3.0"
  624. ppx_deriving >= "5.0"
  625. ppx_deriving_argparse
  626. ppx_deriving_cmdliner < "0.6.0"
  627. ppx_deriving_encoding >= "0.2.3" & < "0.4.0"
  628. ppx_deriving_madcast < "0.2"
  629. ppx_distr_guards < "0.2"
  630. ppx_monoid < "0.3.2"
  631. ppxfind
  632. ppxlib
  633. primes
  634. pringo
  635. printbox < "0.2"
  636. process
  637. proj4
  638. prometheus < "0.3"
  639. protocol-9p < "0.11.1"
  640. protocol-9p-tool < "0.11.2"
  641. protocol-9p-unix < "0.11.2"
  642. proverif
  643. psmt2-frontend < "0.3.0"
  644. psq < "0.1.1"
  645. psyche
  646. ptime
  647. ptmap < "2.0.5"
  648. pulseaudio < "0.1.4"
  649. pumping
  650. pvem
  651. pxp
  652. py < "1.1"
  653. pyml
  654. qbf < "0.3"
  655. qcheck < "0.13"
  656. qcstm
  657. qfs
  658. qmp < "0.19.0"
  659. qrc
  660. qtest < "2.9"
  661. quickterface
  662. r2pipe
  663. radare2 < "0.0.3"
  664. ranger
  665. raw_spacetime
  666. raygun4ocaml
  667. rdbg
  668. rdf < "0.13.0"
  669. rdr
  670. re < "1.7.2"
  671. react
  672. reactiveData < "0.2.4"
  673. reason
  674. records < "1.0.0"
  675. res < "5.0.0"
  676. resource-pooling < "1.1"
  677. revops
  678. rfc6287 < "1.0.4"
  679. rfsm < "1.6-alpha-3"
  680. rlp
  681. rml < "1.09.03"
  682. rocq-runtime
  683. rocqide
  684. root1d < "0.5.1"
  685. rresult
  686. runtime_events_tools < "0.5.1"
  687. Snowflake
  688. safa
  689. safepass < "3.0"
  690. sail < "0.15"
  691. salsa20 < "1.0.0"
  692. salsa20-core < "1.0.0"
  693. samplerate < "0.1.6"
  694. sanlock
  695. sattools
  696. sawja
  697. schroedinger
  698. scid
  699. scrypt
  700. secp256k1 < "0.2.5"
  701. selfie
  702. semver < "0.2.1"
  703. sendmsg
  704. sequence
  705. session < "0.4.0"
  706. sessions
  707. setr
  708. sfml
  709. sha < "1.12"
  710. shared-secret < "0.4"
  711. shcaml
  712. shine < "0.2.2"
  713. sid
  714. simple-diff
  715. simple_pam
  716. slap
  717. smart-print < "0.3.0"
  718. smtp
  719. socketcan
  720. sodium
  721. sosa
  722. soundtouch < "0.1.9"
  723. spelll < "0.3"
  724. spirv
  725. spotlib < "4.1.0"
  726. spreadsheet
  727. sqlgg < "20200521"
  728. sqlite3 < "4.2.0"
  729. srt
  730. ssl < "0.5.6"
  731. starterkit
  732. statverif
  733. stb_image
  734. stb_image_write
  735. stb_truetype
  736. stdcompat < "14"
  737. stdint < "0.5.1"
  738. stemmer
  739. stemming
  740. stog < "0.20.0"
  741. stone < "0.5.2"
  742. stringCodepointSplitter
  743. stringext < "1.5.0"
  744. strymonas-pure
  745. sturgeon < "0.4.2"
  746. subtype-refinement < "0.2"
  747. sundialsml
  748. symkat
  749. syndic < "1.6.0"
  750. syslog-message < "1.0.0"
  751. systemverilog < "0.0.2"
  752. TCSLib
  753. taglib < "0.3.7"
  754. tallgeese
  755. tcx
  756. tdk
  757. tensorflow
  758. termbox
  759. terminal_size < "0.1.4"
  760. text
  761. textwrap < "0.2.1"
  762. tgls
  763. timed < "1.1"
  764. tiny_json < "1.1.6"
  765. tip-parser < "0.4"
  766. tjr_simple_earley
  767. tls < "0.12.8"
  768. tophide
  769. topkg
  770. topkg-care
  771. toplevel_backend
  772. toplevel_expect_test
  773. touist < "3.5.0"
  774. tplib
  775. tptp
  776. tree_layout < "0.2"
  777. treeprint < "2.2.0"
  778. tsdl
  779. ttweetnacl
  780. type_conv
  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. unionFind >= "20250818"
  790. unison-gui
  791. unix-dirent
  792. unix-errno < "0.6.0"
  793. unix-sys-resource
  794. unix-sys-stat
  795. unix-time
  796. unix-type-representations
  797. unix-unistd
  798. usb
  799. user-setup
  800. utop
  801. uucd
  802. uucp
  803. uuidm
  804. uunf
  805. uuseg
  806. uutf
  807. uuuu >= "0.2.0" & < "0.4.0"
  808. uwt
  809. valentine
  810. variantslib < "v0.13.0"
  811. vector3 < "1.0.0"
  812. vg
  813. vhdlib
  814. visitors < "20200207"
  815. vlt
  816. voaacenc
  817. volt
  818. vscoq-language-server < "2.3.3"
  819. vsrocq-language-server
  820. wamp < "1.2"
  821. wasm < "2.0.2"
  822. wcs-lib < "2017-05-26.02"
  823. webbrowser
  824. webidl
  825. webmachine < "0.5.0"
  826. websocketml
  827. why3
  828. why3-coq
  829. why3-ide
  830. win-error < "0.3"
  831. win-eventlog < "0.2"
  832. wiringpi
  833. wxOCaml
  834. xapi-inventory < "1.2.3"
  835. xenstore_transport < "1.1.0" | >= "1.5.0"
  836. xml-light < "2.5"
  837. xmldiff < "0.7.0"
  838. xmlm
  839. xmlplaylist < "0.1.5"
  840. xtmpl < "0.19.0"
  841. yajl
  842. yices2
  843. yices2_bindings
  844. yurt < "0.6"
  845. z3
  846. zarith
  847. zipc
  848. zlist < "0.4.0"
  849. zmq < "5.0.0"
  850. zstd < "0.3"
  851. zxcvbn < "2.3+2"

Conflicts (1)

  1. relocatable