package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.8.0.tar.gz
sha256=2b7b7d6d65bb0f3f8a2c51c63c02b0bcf1fea4c23513f866140dc7dc24fe27ad
md5=a710c559667672077a93d34eb6a42e5b

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: 17 Apr 2018

Dependencies (2)

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

Conflicts

None

OCaml

Innovation. Community. Security.