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

1faecd4016c615e1d8806643c8e4eb3d08dcdf97.tar.gz
sha256=7ffd8b8003bc0596cae2d9da65b859303f80336df1e1f5e9ae5eef86359e8d88
sha512=1995b65c58b1df217d0e439dc8f8d54537abc17ffc514d3d0d289c3a70c6f66ae73cb6470b6577b508f30973cd6c80de279e475a6f0c177299f27be0e641b377

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

None