package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.9.3.tar.gz
md5=24047dd8a0da5322253de9b7aa254e42
sha512=27cc4ce141576bf477fb9d61a82ad65f55478740eed59fb43f43edb794140829fd2ff89ad27d8a890cfc336b54c073a06de05b31100fc7c01cacbd7d88e928ea

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: 25 Jan 2022

Dependencies (1)

  1. ocaml >= "4.00.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
  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 < "0.5"
  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" & < "0.2.3+8.17" | >= "0.2.3+9.0"
  122. coq-of-ocaml
  123. coq-serapi
  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 < "0.2.1"
  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-unikraft-arm64
  568. ocaml-unikraft-default-arm64
  569. ocaml-unikraft-default-x86_64
  570. ocaml-unikraft-x86_64
  571. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
  572. ocaml-xdg-basedir < "transition"
  573. ocamlbrowser
  574. ocamlbuild >= "0.15.0"
  575. ocamlbuild-atdgen
  576. ocamlbuild-pkg
  577. ocamlbuild-protoc
  578. ocamldap < "transition"
  579. ocamldiff < "1.2"
  580. ocamldot
  581. ocamleditor
  582. ocamlfind-lint
  583. ocamlfuse < "2.7.1-cvs6"
  584. ocamlgraph < "2.0.0"
  585. ocamlify < "0.1.0"
  586. ocamlmod
  587. ocamlnet
  588. ocamlrss
  589. ocamlscript
  590. ocamlsdl
  591. ocamlsdl2
  592. ocamlsdl2-image
  593. ocamlsdl2-ttf
  594. ocamlyices
  595. ocb-stubblr
  596. ocephes
  597. ocf < "0.8.0"
  598. oclock
  599. ocp-build
  600. ocp-indent >= "1.7.0"
  601. ocp-index-top
  602. ocp-ocamlres
  603. ocp-reloc
  604. ocplib-endian < "1.1"
  605. ocplib-json-typed < "0.7"
  606. ocplib-resto
  607. ocplib-simplex != "0.5"
  608. ocsfml
  609. ocsigen-i18n < "4.0.0"
  610. ocsigenserver
  611. octavius < "1.2.1"
  612. ocurl < "transition"
  613. ocveralls
  614. odbc
  615. odds < "1.1"
  616. odep
  617. odepack < "0.6.9"
  618. odig
  619. odoc
  620. odoc-driver
  621. ofx
  622. ogen
  623. ogg != "0.6.0" & < "0.7.0"
  624. ojs-base
  625. olinq < "0.3"
  626. ollvm
  627. ollvm-tapir
  628. olmi
  629. omake
  630. omd < "1.3.2"
  631. oml
  632. omod
  633. omonad
  634. oolc
  635. opal
  636. opam-bundle
  637. opam-depext >= "1.2.1"
  638. opam-dune-lint < "0.2"
  639. opam-ed < "0.4"
  640. opam-lib
  641. opam-publish = "0.3.5"
  642. opamfu
  643. opencc < "transition"
  644. opus < "0.2.0"
  645. ordma < "0.0.5"
  646. orm
  647. orocksdb
  648. osc < "0.2.0"
  649. osdp
  650. oseq < "0.2"
  651. ostap
  652. osx-acl
  653. osx-attr
  654. osx-cf
  655. osx-fsevents
  656. osx-membership
  657. osx-mount
  658. osx-plutil
  659. osx-xattr
  660. otfm
  661. otr < "0.3.6"
  662. ott >= "0.32"
  663. otto
  664. ounit != "2.1.2"
  665. ounit-lwt >= "2.2.0"
  666. pa_comprehension
  667. pa_monad_custom
  668. pa_qualified
  669. pa_solution
  670. pa_where
  671. papi < "0.1.1"
  672. parany < "5.0.0"
  673. pareto
  674. parmap < "1.1.1"
  675. parse-argv < "0.1.0"
  676. pbkdf < "0.3.0"
  677. pbs
  678. pcap-format < "0.5.2"
  679. pci
  680. pci-db
  681. pcre < "7.3.0"
  682. pds
  683. pds-reachability < "0.2.3"
  684. pfff >= "0.37.6"
  685. pgocaml < "4.0"
  686. pgsolver
  687. pilat
  688. piqi < "0.7.8"
  689. piqilib < "0.6.16"
  690. pkcs11 < "0.18.0"
  691. pla < "1.2"
  692. plist
  693. plplot < "5.11.0-1"
  694. podge
  695. polka
  696. polyglot
  697. portaudio < "0.2.2"
  698. portia
  699. posix-clock
  700. posix-getopt < "2.0.0"
  701. posix-math
  702. posix-mqueue
  703. posix-semaphore
  704. posix-time
  705. posix-types < "2.0.0"
  706. postgresql < "4.1.0"
  707. pprint < "20200226"
  708. ppx_blob < "0.3.0"
  709. ppx_const < "2.0"
  710. ppx_cstubs
  711. ppx_defer < "0.3.0"
  712. ppx_deriving >= "5.0"
  713. ppx_deriving_argparse
  714. ppx_deriving_cmdliner < "0.6.0"
  715. ppx_deriving_encoding >= "0.2.3" & < "0.4.0"
  716. ppx_deriving_madcast < "0.2"
  717. ppx_distr_guards < "0.2"
  718. ppx_monoid < "0.3.2"
  719. ppx_tools < "6.0+4.08.0"
  720. ppxfind
  721. ppxlib
  722. primes
  723. pringo
  724. printbox < "0.2"
  725. process
  726. proj4
  727. prometheus < "0.3"
  728. protocol-9p < "0.11.1"
  729. protocol-9p-tool < "0.11.2"
  730. protocol-9p-unix < "0.11.2"
  731. proverif
  732. psmt2-frontend < "0.3.0"
  733. psq < "0.1.1"
  734. psyche
  735. ptime
  736. ptmap < "2.0.5"
  737. pulseaudio < "0.1.4"
  738. pumping
  739. pvem
  740. pxp
  741. py < "1.1"
  742. pyml
  743. qbf < "0.3"
  744. qcheck < "0.8"
  745. qcow < "0.10.2"
  746. qcow-tool < "0.11.0"
  747. qcstm
  748. qfs
  749. qmp < "0.19.0"
  750. qocamlbrowser
  751. qrc
  752. qtest < "2.9"
  753. r2pipe
  754. radare2 < "0.0.3"
  755. randomconv < "0.1.1"
  756. ranger
  757. raw_spacetime
  758. raygun4ocaml
  759. rdbg
  760. rdf < "0.13.0"
  761. rdr
  762. re < "1.7.2"
  763. react
  764. reactiveData < "0.2.4"
  765. reason >= "3.5.2"
  766. records < "1.0.0"
  767. res < "5.0.0"
  768. resource-pooling < "1.1"
  769. revops
  770. rfc6287 < "1.0.4"
  771. rfsm < "1.6-alpha-3"
  772. riak
  773. riak-pb
  774. rlp
  775. rml < "1.09.03"
  776. rocq-runtime
  777. rocqide
  778. root1d < "0.5.1"
  779. rotor
  780. rresult
  781. runtime_events_tools < "0.5.1"
  782. Snowflake
  783. safa
  784. safepass < "3.0"
  785. sail < "0.15"
  786. salsa20 < "1.0.0"
  787. salsa20-core < "1.0.0"
  788. samplerate < "0.1.6"
  789. sanlock
  790. sattools
  791. sawja
  792. schroedinger
  793. scid
  794. scrypt
  795. scrypt-kdf < "1.0.0"
  796. secp256k1 < "0.2.5"
  797. sedlex < "2.0"
  798. selfie
  799. semver < "0.2.1"
  800. sendmsg
  801. sequence
  802. session < "0.4.0"
  803. sessions
  804. setr
  805. sfml
  806. sgf < "1.0.1"
  807. sha < "1.12"
  808. shared-memory-ring < "3.0.1"
  809. shared-memory-ring-lwt < "3.1.0"
  810. shared-secret < "0.4"
  811. shcaml
  812. shine < "0.2.2"
  813. sid
  814. simple-diff
  815. simple_pam
  816. slap
  817. smart-print < "0.3.0"
  818. smtp
  819. snappy < "0.1.2"
  820. socketcan
  821. sodium
  822. sosa
  823. soundtouch < "0.1.9"
  824. speex < "0.4.0"
  825. spelll < "0.3"
  826. spirv
  827. spotlib < "4.1.0"
  828. spreadsheet
  829. sqlgg < "20200521"
  830. sqlite3 < "4.2.0"
  831. srt >= "0.2.0"
  832. ssl < "0.5.6"
  833. starterkit
  834. statmemprof-emacs
  835. statverif
  836. stb_image
  837. stb_image_write
  838. stb_truetype
  839. stdcompat < "7"
  840. stdint < "0.5.1"
  841. stemmer
  842. stemming
  843. stog < "0.20.0"
  844. stone
  845. stringCodepointSplitter
  846. stringext < "1.5.0"
  847. strymonas-pure
  848. sturgeon < "0.4.2"
  849. subtype-refinement < "0.2"
  850. sundialsml
  851. symkat
  852. syndic < "1.6.0"
  853. syslog-message < "1.0.0"
  854. systemverilog < "0.0.2"
  855. TCSLib < "0.5"
  856. taglib < "0.3.7"
  857. tallgeese
  858. tcx
  859. tdk
  860. tensorflow
  861. termbox
  862. terminal_size < "0.1.4"
  863. text
  864. textwrap < "0.2.1"
  865. tgls
  866. theora < "0.4.0"
  867. tidy < "5-0.2"
  868. timed < "1.1"
  869. tiny_json < "1.1.6"
  870. tip-parser < "0.4"
  871. tjr_simple_earley
  872. tls < "0.11.0"
  873. tlstunnel
  874. tophide
  875. topkg
  876. topkg-care
  877. toplevel_backend
  878. toplevel_expect_test
  879. touist < "3.5.0"
  880. tplib
  881. tptp
  882. tree_layout < "0.2"
  883. treeprint < "2.2.0"
  884. tsdl
  885. ttweetnacl
  886. tuntap < "1.5.0"
  887. type_conv
  888. typerep < "v0.12.0"
  889. typerex-binutils
  890. tyre < "0.4"
  891. tyxml < "4.3.0"
  892. ubpf < "0.2"
  893. uint < "2.0.1"
  894. ulex
  895. ulex-camlp5
  896. unison-gui
  897. unix-dirent
  898. unix-errno < "0.6.0"
  899. unix-sys-resource
  900. unix-sys-stat
  901. unix-time
  902. unix-type-representations
  903. unix-unistd
  904. uri < "1.9.6"
  905. usb
  906. user-setup
  907. utop
  908. uucd
  909. uucp
  910. uuidm
  911. uunf
  912. uuseg
  913. uutf
  914. uuuu >= "0.2.0"
  915. uwt
  916. valentine
  917. variantslib < "v0.12.0"
  918. vector3 < "1.0.0"
  919. vg
  920. vhdlib
  921. visitors < "20200207"
  922. vlt
  923. voaacenc
  924. volt
  925. vorbis < "0.8.0"
  926. vscoq-language-server
  927. wamp < "1.2"
  928. wasm < "2.0.2"
  929. wcs-lib < "2017-05-26.02"
  930. webbrowser
  931. webidl
  932. webmachine < "0.5.0"
  933. websocketml
  934. why3
  935. why3-coq
  936. why3-ide
  937. win-error < "0.3"
  938. win-eventlog < "0.2"
  939. wiringpi
  940. wxOCaml
  941. xapi-inventory < "1.2.3"
  942. xen-evtchn < "2.1.0"
  943. xen-evtchn-unix < "2.1.0"
  944. xen-gnt < "3.0.1"
  945. xen-gnt-unix < "3.0.1"
  946. xenstore_transport < "1.1.0"
  947. xml-light < "2.5"
  948. xmldiff < "0.7.0"
  949. xmlm
  950. xmlplaylist < "0.1.5"
  951. xtmpl < "0.19.0"
  952. yajl
  953. yices2
  954. yices2_bindings
  955. yurt < "0.6"
  956. z3
  957. zarith
  958. zarith-freestanding
  959. zarith-xen
  960. zipc
  961. zlist < "0.4.0"
  962. zmq < "5.0.0"
  963. zstd < "0.3"
  964. zxcvbn < "2.3+2"

Conflicts

None

OCaml

Innovation. Community. Security.