package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

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

Conflicts

None

OCaml

Innovation. Community. Security.