package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.8.0.tar.gz
sha256=2b7b7d6d65bb0f3f8a2c51c63c02b0bcf1fea4c23513f866140dc7dc24fe27ad
md5=a710c559667672077a93d34eb6a42e5b

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: 17 Apr 2018

Dependencies (2)

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

Conflicts

None

OCaml

Innovation. Community. Security.