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.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"

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

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct