package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

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

Conflicts

None

OCaml

Innovation. Community. Security.