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 < "9.0.0"
  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" | >= "18-shared"
  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 < "0.1.0"
  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.2.4"
  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. rocq-runtime
  773. rocqide
  774. root1d < "0.5.1"
  775. rotor
  776. rresult
  777. runtime_events_tools < "0.5.1"
  778. Snowflake
  779. safa
  780. safepass < "3.0"
  781. sail < "0.15"
  782. salsa20 < "1.0.0"
  783. salsa20-core < "1.0.0"
  784. samplerate < "0.1.6"
  785. sanlock
  786. sattools
  787. sawja
  788. schroedinger
  789. scid
  790. scrypt
  791. scrypt-kdf < "1.0.0"
  792. secp256k1 < "0.2.5"
  793. sedlex < "2.0"
  794. selfie
  795. semver < "0.2.1"
  796. sendmsg
  797. sequence
  798. session < "0.4.0"
  799. sessions
  800. setr
  801. sfml
  802. sgf < "1.0.1"
  803. sha < "1.12"
  804. shared-memory-ring < "3.0.1"
  805. shared-memory-ring-lwt < "3.1.0"
  806. shared-secret < "0.4"
  807. shcaml
  808. shine < "0.2.2"
  809. sid
  810. simple-diff
  811. simple_pam
  812. slap
  813. smart-print < "0.3.0"
  814. smtp
  815. snappy < "0.1.2"
  816. socketcan
  817. sodium
  818. sosa
  819. soundtouch < "0.1.9"
  820. speex < "0.4.0"
  821. spelll < "0.3"
  822. spirv
  823. spotlib < "4.1.0"
  824. spreadsheet
  825. sqlgg < "20200521"
  826. sqlite3 < "4.2.0"
  827. srt >= "0.2.0"
  828. ssl < "0.5.6"
  829. starterkit
  830. statmemprof-emacs
  831. statverif
  832. stb_image
  833. stb_image_write
  834. stb_truetype
  835. stdcompat < "7"
  836. stdint < "0.5.1"
  837. stemmer
  838. stemming
  839. stog < "0.20.0"
  840. stone
  841. stringCodepointSplitter
  842. stringext < "1.5.0"
  843. strymonas-pure
  844. sturgeon < "0.4.2"
  845. subtype-refinement < "0.2"
  846. sundialsml
  847. symkat
  848. syndic < "1.6.0"
  849. syslog-message < "1.0.0"
  850. systemverilog < "0.0.2"
  851. TCSLib
  852. taglib < "0.3.7"
  853. tallgeese
  854. tcx
  855. tdk
  856. tensorflow
  857. termbox
  858. terminal_size < "0.1.4"
  859. text
  860. textwrap < "0.2.1"
  861. tgls
  862. theora < "0.4.0"
  863. tidy < "5-0.2"
  864. timed < "1.1"
  865. tiny_json < "1.1.6"
  866. tip-parser < "0.4"
  867. tjr_simple_earley
  868. tls < "0.11.0"
  869. tlstunnel
  870. tophide
  871. topkg
  872. topkg-care
  873. toplevel_backend
  874. toplevel_expect_test
  875. touist < "3.5.0"
  876. tplib
  877. tptp
  878. tree_layout < "0.2"
  879. treeprint < "2.2.0"
  880. tsdl
  881. ttweetnacl
  882. tuntap < "1.5.0"
  883. type_conv
  884. typerep < "v0.12.0"
  885. typerex-binutils
  886. tyre < "0.4"
  887. tyxml < "4.3.0"
  888. ubpf < "0.2"
  889. uint < "2.0.1"
  890. ulex
  891. ulex-camlp5
  892. unison-gui
  893. unix-dirent
  894. unix-errno < "0.6.0"
  895. unix-sys-resource
  896. unix-sys-stat
  897. unix-time
  898. unix-type-representations
  899. unix-unistd
  900. uri < "1.9.6"
  901. usb
  902. user-setup
  903. utop
  904. uucd
  905. uucp
  906. uuidm
  907. uunf
  908. uuseg
  909. uutf
  910. uuuu >= "0.2.0"
  911. uwt
  912. valentine
  913. variantslib < "v0.12.0"
  914. vector3 < "1.0.0"
  915. vg
  916. vhdlib
  917. visitors < "20200207"
  918. vlt
  919. voaacenc
  920. volt
  921. vorbis < "0.8.0"
  922. vscoq-language-server
  923. wamp < "1.2"
  924. wasm
  925. wcs-lib < "2017-05-26.02"
  926. webbrowser
  927. webidl
  928. webmachine < "0.5.0"
  929. websocketml
  930. why3
  931. why3-coq
  932. why3-ide
  933. win-error < "0.3"
  934. win-eventlog < "0.2"
  935. wiringpi
  936. wxOCaml
  937. xapi-inventory < "1.2.3"
  938. xen-evtchn < "2.1.0"
  939. xen-evtchn-unix < "2.1.0"
  940. xen-gnt < "3.0.1"
  941. xen-gnt-unix < "3.0.1"
  942. xenstore_transport < "1.1.0"
  943. xml-light < "2.5"
  944. xmldiff < "0.7.0"
  945. xmlm
  946. xmlplaylist < "0.1.5"
  947. xtmpl < "0.19.0"
  948. yajl
  949. yices2
  950. yices2_bindings
  951. yurt < "0.6"
  952. z3
  953. zarith
  954. zarith-freestanding
  955. zarith-xen
  956. zipc
  957. zlist < "0.4.0"
  958. zmq < "5.0.0"
  959. zstd < "0.3"
  960. zxcvbn < "2.3+2"

Conflicts

None

OCaml

Innovation. Community. Security.