package ocamlfind

  1. Overview
  2. No Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.3.2.tar.gz
sha256=056450c2449aee2a61335cfa1d96f2fb1a14ad50bcd99d7ddf9308307ba90bc3
md5=672e3a644015dda74daf89b7fcdec904

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: 21 Nov 2013

Dependencies (3)

  1. num = "0"
  2. conf-m4 build
  3. ocaml > "3.12.2" & <= "4.01.0"

Dev Dependencies

None

  1. ANSITerminal < "0.7"
  2. aacplus
  3. abella < "2.0.8"
  4. abt
  5. acme
  6. aez
  7. afl-persistent != "1.1" & < "1.3"
  8. agrep
  9. aifad < "2.1.0"
  10. aio
  11. alba < "0.4.1"
  12. alberto
  13. alcotest < "0.8.0"
  14. aliases
  15. alphaCaml
  16. alsa < "0.3.0"
  17. amqp-client < "1.1.0"
  18. ancient
  19. angstrom < "0.6.0"
  20. annexlib
  21. ansi-parse < "0.4.0"
  22. ansicolor
  23. anycache < "0.7.4"
  24. ao < "0.2.2"
  25. aperf
  26. apron
  27. arakoon
  28. archimedes
  29. archsat
  30. argon2 < "1.0.0"
  31. argot
  32. arp < "1.0.0"
  33. ascii85 < "0.4"
  34. asetmap
  35. asl
  36. asli < "0.2.0"
  37. asn1-combinators < "0.2.2"
  38. assertions
  39. assimp
  40. astring
  41. async < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  42. async-mvar
  43. async-zmq
  44. async_core < "108.00.02" | >= "109.19.00"
  45. async_extended < "v0.9.0"
  46. async_extra < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  47. async_find >= "113.24.00" & < "v0.9.0"
  48. async_graphics < "0.7.0"
  49. async_inotify >= "113.24.00" & < "v0.9.0"
  50. async_kernel < "v0.9.0"
  51. async_parallel < "v0.9.0"
  52. async_rpc_kernel < "v0.9.0"
  53. async_shell >= "113.24.00" & < "v0.9.0"
  54. async_smtp >= "113.24.00" & < "v0.9.0"
  55. async_ssl >= "113.24.00" & < "v0.9.0"
  56. async_unix < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  57. atd < "1.2.1"
  58. atd2cconv
  59. atdgen < "1.10.2"
  60. augeas
  61. avroc
  62. aws < "1.2"
  63. aws-autoscaling < "1.2"
  64. aws-cloudformation < "1.2"
  65. aws-cloudtrail < "1.2"
  66. aws-ec2 < "1.2"
  67. aws-elasticloadbalancing < "1.2"
  68. aws-sdb < "1.2"
  69. aws-ssm < "1.2"
  70. aws-sts < "1.2"
  71. BetterErrors
  72. b0
  73. baardskeerder
  74. baby
  75. bamboo
  76. bap-build >= "2.2.0"
  77. bap-byteweight-frontend >= "2.2.0"
  78. bap-frontend >= "2.2.0"
  79. bap-plugins >= "2.2.0"
  80. bap-toplevel
  81. base58
  82. base64 < "2.2.0"
  83. batsh < "0.0.5"
  84. batteries < "2.3.0"
  85. bau
  86. bdd
  87. bddapron
  88. bear
  89. beluga < "1.0"
  90. bench
  91. benchmark < "1.5"
  92. bencode < "2.0"
  93. bes
  94. bheap < "2.0.0"
  95. bigarray-overlap
  96. bigbro
  97. bignum < "v0.9.0"
  98. bigstring < "0.2"
  99. bin_prot < "v0.9.0"
  100. bindlib < "6.0.0"
  101. biniou < "1.1.0"
  102. binsec < "0.4.0"
  103. biocaml < "0.9.0"
  104. bisect
  105. bisect-summary
  106. bisect_ppx < "1.3.0" | >= "1.3.3" & < "2.6.0"
  107. bistro < "0.3.0"
  108. bitmasks < "1.1.0"
  109. bitstring < "3.0.0"
  110. bitv >= "1.1" & < "1.4"
  111. bjack < "0.1.6"
  112. blahcaml
  113. bn128
  114. bolt
  115. bookaml
  116. boomerang
  117. bos
  118. bpf
  119. bracetax
  120. broken
  121. brotli < "2.0.3"
  122. brozip
  123. brr
  124. bsdowl
  125. bson
  126. bt
  127. bulletml
  128. Camldiets
  129. CamlGI
  130. cache
  131. cairo
  132. cairo2 < "0.6"
  133. calculon < "0.2"
  134. calendar < "3.0.0"
  135. caml2html
  136. camlbz2 < "transition"
  137. camldm
  138. camlgpc
  139. camlhighlight
  140. camlimages
  141. camllib
  142. camlon < "2.0.1"
  143. camlp4 >= "4.02+1" & < "4.02+6" | = "4.02.0-1modular-implicits" | >= "5.0"
  144. camlp5 >= "8.00.03"
  145. camlpdf
  146. camlprime
  147. camltc < "0.9.8"
  148. camltemplate
  149. camlzip
  150. camomile < "0.8.6"
  151. caper
  152. captureio
  153. caqti < "1.0.0"
  154. caqti-dynload
  155. caradoc
  156. caravan
  157. catala >= "0.8.0"
  158. cbor < "0.3"
  159. cconv < "0.5"
  160. cconv-ppx
  161. ccss
  162. cdrom < "0.9.3"
  163. cduce
  164. certify < "0.3.0"
  165. cfg < "2.1.0"
  166. cfstream < "1.2.3"
  167. cgi
  168. cgroups
  169. chalk
  170. chamo < "4.0"
  171. channel
  172. charrua-client < "0.9"
  173. charrua-core < "0.8"
  174. charrua-unix < "0.9"
  175. checkseum >= "0.2.0"
  176. choice < "0.4"
  177. cil
  178. clangml < "4.0.0"
  179. clarity < "0.4.0"
  180. cloudi < "1.7.4"
  181. cmark
  182. cmarkit
  183. cmdliner < "0.9.7" | >= "1.0.0" & < "1.0.3"
  184. cmdtui
  185. coccinelle
  186. coclobas
  187. cohttp < "0.99.0"
  188. coin >= "0.1.2"
  189. combine < "0.42"
  190. commonjs_of_ocaml
  191. comparelib
  192. conduit < "1.0.0"
  193. conex < "0.10.0"
  194. config-file < "1.2.1"
  195. configuration
  196. containers < "2.0"
  197. cookie-js
  198. coq >= "8.6" & < "8.16.0"
  199. coq-serapi < "8.9.0+0.6.0"
  200. coqide >= "8.11.2" & < "8.16.0" | >= "8.17.0"
  201. cordova
  202. cordova-plugin-activity-indicator
  203. cordova-plugin-background-mode
  204. cordova-plugin-barcode-scanner
  205. cordova-plugin-battery-status
  206. cordova-plugin-camera
  207. cordova-plugin-clipboard
  208. cordova-plugin-datepicker
  209. cordova-plugin-device
  210. cordova-plugin-device-motion
  211. cordova-plugin-device-orientation
  212. cordova-plugin-dialogs
  213. cordova-plugin-email-composer
  214. cordova-plugin-fcm
  215. cordova-plugin-file
  216. cordova-plugin-file-opener
  217. cordova-plugin-file-transfer
  218. cordova-plugin-geolocation
  219. cordova-plugin-globalization
  220. cordova-plugin-image-picker
  221. cordova-plugin-inappbrowser
  222. cordova-plugin-insomnia
  223. cordova-plugin-keyboard
  224. cordova-plugin-loading-spinner
  225. cordova-plugin-local-notifications
  226. cordova-plugin-media
  227. cordova-plugin-media-capture
  228. cordova-plugin-network-information
  229. cordova-plugin-progress
  230. cordova-plugin-push-notifications
  231. cordova-plugin-qrscanner
  232. cordova-plugin-screen-orientation
  233. cordova-plugin-sim-card
  234. cordova-plugin-sms
  235. cordova-plugin-social-sharing
  236. cordova-plugin-statusbar
  237. cordova-plugin-toast
  238. cordova-plugin-touch-id
  239. cordova-plugin-vibration
  240. cordova-plugin-videoplayer
  241. core < "v0.9.0"
  242. core_bench >= "113.24.00" & < "v0.9.0"
  243. core_extended < "108.00.02" | >= "109.19.00" & < "v0.9.0"
  244. core_kernel < "v0.9.0"
  245. core_profiler >= "113.24.00" & < "v0.9.0"
  246. corecount
  247. cow < "2.3.0"
  248. cowabloga < "0.4.0"
  249. cpdf
  250. cpm < "4.0.0"
  251. cppo >= "0.9.4" & < "1.6.0"
  252. cppo_ocamlbuild
  253. cpuid < "0.1.2"
  254. crc = "1.0.0"
  255. crdt-ml
  256. crunch < "2.1.0"
  257. cry < "0.6.5"
  258. crypt
  259. cryptgps
  260. cryptodbm < "0.84.2"
  261. cryptohash
  262. cryptokit < "1.16.1"
  263. cryptoverif
  264. cstruct < "3.0.0"
  265. csv < "1.4"
  266. csvprovider
  267. ctypes < "0.21.1"
  268. ctypes-build
  269. cubicle
  270. cudf >= "0.7" & < "0.10"
  271. curses < "1.0.9"
  272. custom_printf
  273. DAGaml
  274. DrawGrammar < "0.2.1"
  275. d3
  276. datakit < "0.10.0"
  277. datakit-bridge-github < "0.10.0"
  278. datakit-bridge-local-git < "0.10.0"
  279. datakit-ci < "0.10.0"
  280. datakit-client < "0.10.0"
  281. datakit-github < "0.10.0"
  282. datakit-server < "0.10.0"
  283. datalog < "0.6"
  284. dbforge
  285. dbm
  286. debian-formats < "0.1.2"
  287. decompress < "0.8"
  288. dedukti < "2.7"
  289. delimcc
  290. depext < "0.3"
  291. depgraph
  292. depyt < "0.2.0"
  293. deriving
  294. deriving-ocsigen
  295. deriving-yojson
  296. devkit < "1.0"
  297. dht
  298. digestif < "0.6.1" | >= "0.8.1"
  299. dispatch < "0.4.0"
  300. distributed < "0.5.0"
  301. distwit
  302. dlist < "0.0.3"
  303. dns < "1.0.0"
  304. dns-forward < "0.9.0"
  305. dnscurve
  306. doc-ock
  307. doc-ock-html
  308. doc-ock-xml
  309. dockerfile < "3.0.0"
  310. docout
  311. dog >= "0.2.0"
  312. dolmen < "0.4"
  313. dolog < "4.0.0"
  314. domain-name < "0.1.2"
  315. dose3 < "6.1"
  316. down
  317. dropbox < "0.2"
  318. dsfo
  319. dssi < "0.1.3"
  320. dtoa < "0.3.0"
  321. dtools < "0.4.2"
  322. dum < "1.0.2"
  323. dumpast
  324. duppy < "0.9.0"
  325. duration < "0.1.2"
  326. dyntype
  327. dypgen
  328. earley < "2.0.0"
  329. earley-ocaml
  330. easy-format < "1.3.0"
  331. edn < "0.1.6-1-gff9db95"
  332. efl
  333. eigen < "0.1.0"
  334. elasticsearch-cli < "0.5"
  335. electrod < "0.1.6"
  336. electrumAnalyzer >= "0.3.5-2"
  337. elf2json
  338. elina
  339. eliom
  340. elpi >= "1.2.0" & < "1.4.0"
  341. email_message >= "113.24.00" & < "v0.9.0"
  342. emoji
  343. enumerate
  344. enumerators
  345. erm_xml
  346. erm_xmpp
  347. erssical < "1.1.0"
  348. estring
  349. exenum < "0.86"
  350. exn-source
  351. expect
  352. extlib < "1.7.9"
  353. extlib-compat
  354. extprot
  355. extunix < "0.3.1"
  356. ezirmin
  357. ezjsonm < "1.0.0"
  358. ezjsonm-lwt < "1.0.0"
  359. ezsqlite < "0.4"
  360. ezxmlm < "1.0.2"
  361. FrontC < "3.4.2"
  362. faad < "0.5.0"
  363. fadbadml < "0.1.2"
  364. faillib
  365. faraday < "0.3.0"
  366. farfadet
  367. farmhash < "0.4"
  368. fat-filesystem < "0.12.1"
  369. fd-send-recv < "1.0.5"
  370. fdkaac < "0.3.2"
  371. ffmpeg < "1.0.0~beta1"
  372. fftw3 < "0.8"
  373. fieldslib < "v0.9.0"
  374. fileutils < "0.6.1"
  375. fix < "20181206"
  376. flac < "0.3.0"
  377. flock
  378. flow
  379. flow_parser < "0.229.1"
  380. flowtype >= "0.72.0"
  381. fluent-logger < "1.1.0"
  382. fmt
  383. forkwork
  384. format
  385. fpath
  386. frag
  387. frama-c >= "16.0" & < "28.0~beta"
  388. frama-c-base
  389. freetds < "0.5.2"
  390. freetennis
  391. frei0r < "0.1.2"
  392. frenetic < "5.0.0"
  393. fstar
  394. fstreams
  395. ftp
  396. functoria < "2.1.0"
  397. functoria-runtime < "2.1.0" | = "4.3.5"
  398. functory
  399. funfields
  400. fury-puyo
  401. future
  402. General < "0.4.0"
  403. GT
  404. GuaCaml
  405. gamepad
  406. gammu < "0.9.4"
  407. gapi-ocaml < "0.3.6"
  408. gasoline
  409. gavl
  410. gd < "1.1"
  411. gdal < "0.10.0"
  412. gdb
  413. gdbprofiler < "0.2"
  414. gedcom
  415. gen < "0.5.1"
  416. gen_js_api < "1.0.6"
  417. gen_server
  418. genet
  419. genlet
  420. genspio < "0.0.1"
  421. genspir < "1.0.0"
  422. gensqlite
  423. geoip
  424. getopt < "20230213"
  425. getopts
  426. gettext < "0.4.1"
  427. gg
  428. github < "3.0.0"
  429. github-hooks < "0.2.0"
  430. gles3
  431. glical >= "0.0.4"
  432. glMLite
  433. glpk
  434. glsurf
  435. gmap < "0.2.1"
  436. gnuplot < "0.5.3"
  437. goblint < "1.1.1"
  438. goblint-cil
  439. google-drive-ocamlfuse < "0.6.23"
  440. gospel >= "0.2.0"
  441. gperftools < "0.4"
  442. gpr < "1.3.0"
  443. gpx
  444. grain_dypgen
  445. grain_wasm_spec
  446. graphicspdf
  447. graphql_ppx < "0.7.1"
  448. grenier < "0.7"
  449. grib
  450. gsl < "1.20.0"
  451. gstreamer < "0.3.1"
  452. gtk-light
  453. gtktop
  454. gufo
  455. gxl-light
  456. h2-lwt-unix < "0.4.0"
  457. hacl-star-raw
  458. hamt
  459. hardcaml < "v0.12.0"
  460. hardcaml-affirm
  461. hardcaml-bloop
  462. hardcaml-llvmsim >= "0.3.0"
  463. hardcaml-reedsolomon
  464. hardcaml-vpi >= "0.3.0"
  465. hardcaml-waveterm >= "0.2.0"
  466. hardcaml-yosys
  467. hashcons < "1.4.0"
  468. hashset
  469. haxe
  470. hdf
  471. hdf5 < "0.1.5"
  472. hector
  473. heptagon
  474. herdtools7 >= "7.55" & < "7.56.1"
  475. herelib
  476. hevea < "2.25"
  477. hex < "1.1.0"
  478. higher != "0.3.0"
  479. higlo < "0.8"
  480. hiredis < "0.8"
  481. hkdf < "1.0.3"
  482. hlarp
  483. hll
  484. hmap
  485. htmlit
  486. http2https
  487. http_router
  488. humane-re
  489. hvsock < "1.0.0"
  490. hydro
  491. ISO8601 < "0.2.6"
  492. i3ipc < "0.1.4"
  493. ibx
  494. igvxml
  495. imagelib < "20200929"
  496. imagemagick
  497. imaplet-lwt
  498. incremental < "v0.9.0"
  499. incremental_kernel < "v0.9.0"
  500. indexmap
  501. inferno < "20190924"
  502. inotify < "2.4"
  503. inspect
  504. integers < "0.3.0"
  505. integration1d < "0.5"
  506. interval < "1.4"
  507. inuit < "0.4.1"
  508. io
  509. io-page < "2.0.0"
  510. io-page-unix < "2.0.0"
  511. io-page-xen < "2.0.0"
  512. iocaml
  513. iocaml-kernel
  514. iocamljs-kernel
  515. ipaddr < "2.8.0"
  516. ipv6-multicast < "0.9"
  517. irc-client >= "0.3.0" & < "0.6.0"
  518. iri < "0.6.0"
  519. irmin >= "0.9.6" & < "1.2.0"
  520. irmin-chunk < "1.3.0"
  521. irmin-git < "1.2.0"
  522. irmin-http < "1.2.0"
  523. irmin-mirage < "1.2.0"
  524. irmin-unix >= "1.0.0" & < "1.2.0"
  525. irmin-watcher < "0.3.0"
  526. irrlicht
  527. iso-filesystem
  528. itv-tree < "2.2"
  529. ivy
  530. JsOfOCairo < "1.0.1"
  531. jasmin
  532. javalib
  533. javascriptcore
  534. jbuilder >= "1.0+beta5" & < "1.0+beta19"
  535. jekyll-format < "0.2.0"
  536. jemalloc < "0.2"
  537. jenga >= "109.19.00" & < "v0.9.0"
  538. jhupllib < "0.2.2"
  539. jingoo < "1.3.0"
  540. jitsu
  541. joolog
  542. js-build-tools
  543. js_of_ocaml < "2.5"
  544. js_of_ocaml-compiler < "3.5.0"
  545. js_of_ocaml-ocamlbuild < "3.5.0"
  546. json-static
  547. json-wheel
  548. jsondiff
  549. jsonm
  550. jsoo_broadcastchannel < "2.0.0"
  551. jsoo_router
  552. jsoo_storage < "1.0.1"
  553. junit < "2.0"
  554. KaSim >= "4.0.0"
  555. kafka < "0.3"
  556. kaputt
  557. karamel
  558. ketrew
  559. key-parsers < "0.10.0"
  560. kinetic-client < "0.0.11"
  561. kremlin < "transition"
  562. lablgl >= "1.07"
  563. lablgtk
  564. lablgtk-extras
  565. lablgtk3 < "3.0.beta4" | >= "3.1.3"
  566. lablgtk3-extras < "3.0.1"
  567. lablqml
  568. labltk
  569. lacc
  570. ladspa < "0.2.0"
  571. lambda-term < "1.11"
  572. lambdapi < "2.0.0"
  573. lambdasoup < "0.6.1"
  574. lambdoc
  575. lame < "0.3.4"
  576. landmarks < "1.3"
  577. lascar < "0.6-alpha"
  578. lastfm < "0.3.3"
  579. launchd < "1.3"
  580. lazy-trie < "1.2.0"
  581. lbfgs < "0.8.6"
  582. learn-ocaml
  583. learn-ocaml-client
  584. ledit >= "2.06"
  585. lemonade
  586. lemonade-sqlite
  587. lens < "1.2.1"
  588. leveldb < "1.3.0"
  589. levenshtein < "1.1.3"
  590. libevent
  591. libra-tk
  592. libres3
  593. libssh
  594. libsvm < "0.9.4"
  595. libudev
  596. libvhd
  597. libvirt
  598. lilis
  599. linenoise < "1.1.0"
  600. linkage
  601. links != "0.7.2"
  602. linksem
  603. lipsum
  604. liquidsoap < "2.2.0"
  605. litiom
  606. llvm >= "3.9" & < "15.0.7+nnp-2"
  607. llvmgraph
  608. lmdb < "1.0"
  609. lo < "0.2.0"
  610. loga < "0.0.5"
  611. logger-p5
  612. logs
  613. logs-syslog < "0.2.0"
  614. logtk < "1.5.1"
  615. lpd < "1.2.2"
  616. lpi
  617. lru < "0.3.0"
  618. lru-cache
  619. lua-ml >= "0.9.1" & < "0.9.3"
  620. lua_pattern
  621. lustre-v6
  622. lutils
  623. lutin
  624. lwt < "2.4.6"
  625. lwt-parallel < "1.0.0"
  626. lwt-zmq
  627. lwt_glib < "1.1.0"
  628. lwt_named_threads
  629. lymp
  630. lz4 < "1.2.0"
  631. lzo < "0.0.3"
  632. m17n
  633. macaque
  634. macaque_lwt
  635. macaroons
  636. mad < "0.5.0"
  637. magic
  638. magic-mime < "1.1.0"
  639. maildir
  640. maki
  641. malfunction
  642. mariadb
  643. markup < "0.7.6"
  644. mascot
  645. maxminddb
  646. mbr-format < "1.0.0"
  647. mdx >= "1.11.0"
  648. mechaml < "1.1.0"
  649. memcpy
  650. menhir < "20200123"
  651. mergeable-vector
  652. merlin < "2.1.0"
  653. merlin-extend < "0.4"
  654. merlin-of-pds
  655. mesh < "0.8.7"
  656. message-switch
  657. meta_conv
  658. mezzo
  659. mikmatch
  660. milter < "1.0.4"
  661. mindstorm < "0.5.4"
  662. minicli < "5.0.0"
  663. minima-theme
  664. minisat < "0.2"
  665. minivpt
  666. mirage < "0.9.1" | >= "3.0.0" & < "3.1.0"
  667. mirage-block < "1.2.0"
  668. mirage-block-ccm < "1.1.0"
  669. mirage-block-lwt < "1.2.0"
  670. mirage-block-ramdisk < "0.4"
  671. mirage-block-solo5 < "0.6.0"
  672. mirage-block-unix < "2.8.3"
  673. mirage-block-xen < "1.6.0"
  674. mirage-bootvar-solo5 >= "0.2.0" & < "0.6.0"
  675. mirage-bootvar-xen = "0.4.0"
  676. mirage-btrees
  677. mirage-channel < "3.1.0"
  678. mirage-channel-lwt < "3.1.0"
  679. mirage-clock < "1.3.0"
  680. mirage-clock-freestanding < "1.3.0"
  681. mirage-clock-lwt < "1.3.0"
  682. mirage-clock-unix < "1.3.0"
  683. mirage-clock-xen
  684. mirage-console < "2.3.2"
  685. mirage-console-lwt < "2.3.2"
  686. mirage-console-solo5 < "0.6.0"
  687. mirage-console-unix < "2.3.2"
  688. mirage-console-xen != "2.3.2" & < "2.3.4"
  689. mirage-console-xen-backend != "2.3.2" & < "2.3.4"
  690. mirage-console-xen-cli
  691. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
  692. mirage-device < "1.1.0"
  693. mirage-dns < "3.0.0"
  694. mirage-entropy < "0.5.1"
  695. mirage-entropy-unix
  696. mirage-entropy-xen
  697. mirage-flow < "1.3.0"
  698. mirage-flow-lwt < "1.3.0"
  699. mirage-flow-unix < "1.3.0"
  700. mirage-fs < "0.4.0" | = "1.0.0"
  701. mirage-fs-lwt < "1.1.1"
  702. mirage-fs-unix < "1.4.0"
  703. mirage-http < "3.2.0"
  704. mirage-http-unix
  705. mirage-http-xen
  706. mirage-kv < "1.1.1"
  707. mirage-kv-lwt < "1.1.0"
  708. mirage-logs < "1.0.0"
  709. mirage-net < "0.9.1" | = "1.0.0"
  710. mirage-net-direct
  711. mirage-net-fd < "0.2.1"
  712. mirage-net-lwt < "1.1.0"
  713. mirage-net-macosx < "1.5.0"
  714. mirage-net-socket
  715. mirage-net-solo5 < "0.4.3"
  716. mirage-net-unix < "2.4.1"
  717. mirage-net-xen < "1.7.1"
  718. mirage-os-shim
  719. mirage-profile < "0.8.1"
  720. mirage-profile-unix < "0.8.1"
  721. mirage-profile-xen < "0.8.1"
  722. mirage-protocols < "1.2.0"
  723. mirage-protocols-lwt < "1.2.0"
  724. mirage-qubes != "0.5" & < "0.7.0"
  725. mirage-qubes-ipv4 = "0.6"
  726. mirage-random < "1.1.0"
  727. mirage-runtime < "3.0.5"
  728. mirage-solo5 < "0.6.2"
  729. mirage-stack < "1.1.0"
  730. mirage-stack-lwt < "1.1.0"
  731. mirage-tcpip-unix
  732. mirage-tcpip-xen
  733. mirage-time < "1.1.0"
  734. mirage-time-lwt < "1.1.0"
  735. mirage-types < "3.0.5"
  736. mirage-types-lwt < "3.0.5"
  737. mirage-unix < "3.2.0"
  738. mirage-vnetif = "0.3.1"
  739. mirage-www < "1.0.0"
  740. mirage-xen < "3.2.0"
  741. mirage-xen-ocaml >= "2.3.1"
  742. mirari
  743. mirror
  744. missinglib
  745. misuja
  746. mixture
  747. mkaudio < "1.1.0"
  748. ml2mxml
  749. mlbdd < "0.7.2"
  750. mlcuddidl
  751. mld
  752. mlgmp
  753. mlgmpidl < "1.2.14"
  754. mlmpfr < "4.0.2+dune"
  755. mlpost
  756. mm < "0.7.0"
  757. mmseg < "transition"
  758. modelica_ml
  759. monadlib
  760. mongo
  761. monomorphic < "1.3"
  762. mopsa
  763. more-ocaml
  764. mparser < "1.3"
  765. mpi
  766. mpp < "0.3.4"
  767. mpris = "0.1.1"
  768. mqtt < "0.2.2"
  769. mqtt_client
  770. mrt-format
  771. msat < "0.8"
  772. msgpack
  773. msgpck < "1.3"
  774. mstruct < "1.3.3"
  775. mtime
  776. mtl
  777. multipart-form-data < "0.2.0"
  778. murmur3 < "0.3"
  779. mustache < "3.0.2"
  780. mvar
  781. mybuild < "7"
  782. mysql
  783. mysql_protocol < "3.0.1"
  784. named-pipe
  785. namespaces
  786. nanomsg
  787. nbd != "2.2.0" & < "4.0.3"
  788. netamqp
  789. netlink < "0.3.4"
  790. netml
  791. nlopt-ocaml < "transition"
  792. nlp
  793. noCanren < "0.3.0~alpha1"
  794. nocrypto
  795. nonstd
  796. nosetup
  797. note
  798. notty < "0.2.3"
  799. nproc
  800. npy < "0.0.8"
  801. nunchaku < "0.5.1"
  802. OCanren
  803. oasis
  804. oasis-mirage
  805. oasis2debian
  806. oasis2opam < "0.6.1"
  807. obandit
  808. obeanstalk
  809. obelisk < "0.5.0"
  810. obigstore
  811. objsize
  812. obrowser
  813. obuild >= "0.1.11"
  814. obus < "1.2.0"
  815. ocal < "0.2.2"
  816. ocaml-arg
  817. ocaml-basics < "0.5.0"
  818. ocaml-buddy
  819. ocaml-data-notation
  820. ocaml-expat
  821. ocaml-freestanding
  822. ocaml-freestanding-cross-aarch64
  823. ocaml-gist
  824. ocaml-http
  825. ocaml-indent
  826. ocaml-inifiles
  827. ocaml-js-stdlib
  828. ocaml-lua < "1.8"
  829. ocaml-markdown < "transition"
  830. ocaml-migrate-parsetree < "1.1.0"
  831. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  832. ocaml-monadic < "0.4.0"
  833. ocaml-protoc < "2.0.1"
  834. ocaml-protoc-yojson
  835. ocaml-r < "0.1.0"
  836. ocaml-sat-solvers
  837. ocaml-solo5
  838. ocaml-solo5-cross-aarch64
  839. ocaml-systemd < "1.3"
  840. ocaml-topexpect
  841. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
  842. ocaml-webworker
  843. ocaml-xdg-basedir < "transition"
  844. ocaml-xml-rpc
  845. ocaml-zmq
  846. ocaml9p
  847. ocaml_at_p
  848. ocaml_plugin >= "109.32.00" & < "v0.9.0"
  849. ocamlbrowser
  850. ocamlbuild >= "0.15.0"
  851. ocamlbuild-atdgen
  852. ocamlbuild-protoc
  853. ocamlclean < "2.1"
  854. ocamldap < "transition"
  855. ocamldbi
  856. ocamldiff < "1.2"
  857. ocamldot
  858. ocamlfind-lint
  859. ocamlfuse < "2.7.1-cvs6"
  860. ocamlgraph < "2.0.0"
  861. ocamlify
  862. ocamlmod
  863. ocamlnet
  864. ocamlpp < "1.1"
  865. ocamlrss
  866. ocamlscript
  867. ocamlsdl
  868. ocamlsdl2
  869. ocamlsdl2-image
  870. ocamlsdl2-ttf
  871. ocamltter
  872. ocamlyices
  873. ocb-stubblr
  874. ocephes
  875. ocf < "0.8.0"
  876. oci
  877. oclaunch
  878. oclock
  879. ocp-build != "1.99.17-beta"
  880. ocp-indent >= "1.7.0"
  881. ocp-index-top
  882. ocp-ocamlres
  883. ocp-reloc
  884. ocplib-concur
  885. ocplib-endian < "1.1"
  886. ocplib-json-typed < "0.7"
  887. ocplib-resto
  888. ocplib-simplex < "0.5"
  889. ocs
  890. ocsfml
  891. ocsigen-i18n < "4.0.0"
  892. ocsigenserver
  893. octavius < "1.2.1"
  894. ocurl
  895. ocveralls
  896. odate < "0.6"
  897. odbc
  898. odds < "1.1"
  899. odepack < "0.6.9"
  900. odiff-gtk
  901. odig
  902. odisco
  903. odoc != "1.3.0"
  904. ofx
  905. ogen
  906. ogg != "0.6.0" & < "0.7.0"
  907. ojquery
  908. ojs-base
  909. ojwidgets
  910. olinq < "0.3"
  911. ollvm
  912. ollvm-tapir
  913. olmi
  914. omake
  915. omd < "1.3.1"
  916. oml
  917. omod
  918. omonad
  919. oni
  920. oolc
  921. opa-base
  922. opal
  923. opam-build-revdeps
  924. opam-bundle
  925. opam-core < "2.0.0~beta5"
  926. opam-depext >= "1.2.1"
  927. opam-doc
  928. opam-dune-lint < "0.2"
  929. opam-ed < "0.4"
  930. opam-lib
  931. opam-publish != "0.3.0+transition" & < "2.0.0~beta"
  932. opam-query
  933. opam-sync-github-prs
  934. opam2web >= "1.3.0" & < "2.0"
  935. opamfind
  936. opamfu
  937. opass
  938. opasswd < "1.3.1"
  939. opencc < "transition"
  940. openflow
  941. operf-macro
  942. opium < "0.16.0"
  943. oplay
  944. optcomp
  945. optimization1d < "0.6"
  946. opus < "0.2.0"
  947. orakuda
  948. ordma < "0.0.5"
  949. orm
  950. orocksdb
  951. osbx < "1.2.1"
  952. osc = "0.1.4"
  953. osdp
  954. oseq < "0.2"
  955. ospec
  956. ostap
  957. osx-acl
  958. osx-attr
  959. osx-cf
  960. osx-fsevents
  961. osx-membership
  962. osx-mount
  963. osx-plutil
  964. osx-secure-transport < "0.1.1"
  965. osx-xattr
  966. otfm
  967. oth
  968. otr < "0.3.6"
  969. ott >= "0.32"
  970. otto
  971. ounit != "2.1.2"
  972. ounit-lwt >= "2.2.0"
  973. owebl
  974. owee < "0.3"
  975. owl < "0.3.0"
  976. ox
  977. oxylc
  978. pa_bench
  979. pa_bin_prot
  980. pa_comprehension
  981. pa_do
  982. pa_fields_conv
  983. pa_monad_custom
  984. pa_ounit
  985. pa_ovisitor
  986. pa_qualified
  987. pa_sexp_conv
  988. pa_solution
  989. pa_structural_sexp
  990. pa_test
  991. pa_typerep_conv
  992. pa_variants_conv
  993. pa_where
  994. packet
  995. papi < "0.1.1"
  996. parany < "5.0.0"
  997. pareto
  998. parmap < "1.1.1"
  999. parse-argv < "0.1.0"
  1000. patdiff >= "113.24.00" & < "v0.9.0"
  1001. patience_diff < "v0.9.0"
  1002. patoline
  1003. pbkdf < "0.3.0"
  1004. pbs
  1005. pcap-format < "0.5.1"
  1006. pcf-format
  1007. pci
  1008. pci-db
  1009. pcre < "7.1.2"
  1010. pds
  1011. pds-reachability < "0.2.3"
  1012. perf
  1013. pfff < "0.37.1" | >= "0.37.6"
  1014. pgocaml < "4.0"
  1015. pgsolver
  1016. phox
  1017. pilat
  1018. pipebang
  1019. piqi < "0.7.8"
  1020. piqilib < "0.6.16"
  1021. pkcs11 < "0.18.0"
  1022. planck
  1023. plasma
  1024. plist
  1025. plotkicadsch < "0.2.0"
  1026. plplot < "5.11.0-1"
  1027. podge
  1028. polka
  1029. polyglot
  1030. pomap < "4.0.0"
  1031. portaudio < "0.2.2"
  1032. portia
  1033. posix-getopt < "2.0.0"
  1034. posix-types < "2.0.0"
  1035. pprint < "20200226"
  1036. ppx_assert < "v0.9.0"
  1037. ppx_bench < "v0.9.0"
  1038. ppx_bin_prot < "v0.9.0"
  1039. ppx_bitstring < "2.0.0"
  1040. ppx_compare < "v0.9.0"
  1041. ppx_const < "2.0"
  1042. ppx_conv_func < "v0.9.0"
  1043. ppx_core < "v0.9.0"
  1044. ppx_cstubs < "0.5.0"
  1045. ppx_csv_conv < "v0.9.0"
  1046. ppx_curried_constr
  1047. ppx_custom_printf < "v0.9.0"
  1048. ppx_debugger
  1049. ppx_defer < "0.3.0"
  1050. ppx_deriving < "0.3" | >= "5.0"
  1051. ppx_deriving_argparse
  1052. ppx_deriving_cmdliner < "0.6.0"
  1053. ppx_deriving_crowbar
  1054. ppx_deriving_encoding >= "0.2.3"
  1055. ppx_deriving_hardcaml < "v0.12.0"
  1056. ppx_deriving_madcast < "0.2"
  1057. ppx_deriving_morphism
  1058. ppx_deriving_protobuf < "2.7"
  1059. ppx_deriving_yojson >= "2.0" & < "3.3"
  1060. ppx_distr_guards < "0.2"
  1061. ppx_dotbracket
  1062. ppx_driver < "v0.9.0"
  1063. ppx_enumerate < "v0.9.0"
  1064. ppx_expect < "v0.9.0"
  1065. ppx_fail < "v0.9.0"
  1066. ppx_fields_conv < "v0.9.0"
  1067. ppx_fun < "0.0.9"
  1068. ppx_hardcaml < "1.3.0"
  1069. ppx_here < "v0.9.0"
  1070. ppx_implicits
  1071. ppx_import < "1.5-3-gbd627d5"
  1072. ppx_include
  1073. ppx_inline_test < "v0.9.0"
  1074. ppx_jane < "v0.9.0"
  1075. ppx_jsobject_conv < "0.5.1"
  1076. ppx_json_types
  1077. ppx_let < "v0.9.0"
  1078. ppx_measure
  1079. ppx_meta_conv < "4.0.0"
  1080. ppx_monadic < "2.3.0"
  1081. ppx_monoid < "0.3.2"
  1082. ppx_optcomp < "v0.9.0"
  1083. ppx_orakuda < "3.3.0"
  1084. ppx_overload = "1.0.1"
  1085. ppx_pattern_guard
  1086. ppx_pipebang < "v0.9.0"
  1087. ppx_poly_record < "1.3.0"
  1088. ppx_relit
  1089. ppx_sexp
  1090. ppx_sexp_conv < "v0.9.0"
  1091. ppx_sexp_message < "v0.9.0"
  1092. ppx_sexp_value < "v0.9.0"
  1093. ppx_test < "1.0.1"
  1094. ppx_tools < "0.99"
  1095. ppx_type_conv < "v0.9.0"
  1096. ppx_typerep_conv < "v0.9.0"
  1097. ppx_variants_conv < "v0.9.0"
  1098. ppx_where
  1099. ppx_xml_conv < "v0.9.0"
  1100. ppxlib >= "0.4.0"
  1101. ppxx < "2.4.0"
  1102. primes
  1103. pringo
  1104. printbox < "0.2"
  1105. prob-cache
  1106. process
  1107. procord
  1108. prof_spacetime < "0.2.0"
  1109. profound
  1110. proj4
  1111. promela
  1112. prometheus < "0.3"
  1113. prometheus-app < "0.3"
  1114. protobuf
  1115. protocol-9p < "0.11.1"
  1116. protocol-9p-tool < "0.11.2"
  1117. protocol-9p-unix < "0.11.2"
  1118. proverif
  1119. psmt2-frontend < "0.3.0"
  1120. psq < "0.1.1"
  1121. psyche
  1122. ptime
  1123. ptmap < "2.0.5"
  1124. ptset < "1.0.1"
  1125. publish < "0.3.4+transition"
  1126. pulseaudio < "0.1.4"
  1127. pumping
  1128. pvem
  1129. pvem_lwt_unix
  1130. pxp
  1131. py < "1.1"
  1132. pyml
  1133. qbf < "0.3"
  1134. qcheck < "0.8"
  1135. qcow < "0.10.2"
  1136. qcow-format
  1137. qcow-tool < "0.11.0"
  1138. qcstm
  1139. qmp < "0.19.0"
  1140. qocamlbrowser >= "0.2.9"
  1141. qrc
  1142. qrencode < "0.2"
  1143. qtest < "2.9"
  1144. quickcheck
  1145. r2pipe
  1146. radare2 < "0.0.3"
  1147. randomconv < "0.1.1"
  1148. ranger
  1149. rashell
  1150. rawlink < "1.0"
  1151. raygun4ocaml
  1152. rdbg
  1153. rdf < "0.13.0"
  1154. rdr
  1155. re < "1.7.2"
  1156. re2 >= "113.24.00" & < "v0.9.0"
  1157. react
  1158. reactiveData < "0.3.0"
  1159. reason != "3.5.0"
  1160. reason-parser
  1161. records < "1.0.0"
  1162. redis < "0.3.4"
  1163. reedsolomon < "0.3"
  1164. regstab
  1165. reins
  1166. release
  1167. relit-reason < "0.0.2"
  1168. resource-pooling < "1.1"
  1169. revops
  1170. rfc6287 < "1.0.4"
  1171. rfsm < "1.6-alpha-3"
  1172. riak
  1173. riak-pb
  1174. riakc
  1175. riakc_ppx
  1176. river < "0.2"
  1177. rlp
  1178. rml >= "1.09.00" & < "1.09.03"
  1179. root1d < "0.5.1"
  1180. rope < "0.6"
  1181. rotor
  1182. rpc < "5.9.0"
  1183. rpc_parallel < "v0.9.0"
  1184. rresult
  1185. rtime
  1186. rubytt
  1187. runtime_events_tools < "0.5.1"
  1188. Snowflake
  1189. safa
  1190. safepass < "3.0"
  1191. sail < "0.15"
  1192. salsa20 < "1.0.0"
  1193. salsa20-core < "1.0.0"
  1194. samplerate < "0.1.5"
  1195. sanlock
  1196. sattools
  1197. sawja
  1198. schoca
  1199. schroedinger
  1200. scid
  1201. scrypt
  1202. scrypt-kdf < "1.0.0"
  1203. secp256k1 < "0.2.5"
  1204. sedlex != "1.99.2" & < "2.0"
  1205. semver < "0.2.1"
  1206. sendmsg
  1207. seq < "0.2"
  1208. sequence < "1.0"
  1209. sequoia
  1210. session < "0.4.0"
  1211. sessions
  1212. setr
  1213. sexplib < "113.33.03"
  1214. sfml
  1215. sgf < "1.0.1"
  1216. sha < "1.12"
  1217. shared-block-ring < "3.0.0"
  1218. shared-memory-ring < "3.0.1"
  1219. shared-memory-ring-lwt < "3.1.0"
  1220. shared-secret < "0.4"
  1221. shcaml
  1222. shine < "0.2.2"
  1223. should
  1224. sibylfs
  1225. sibylfs-lem
  1226. sid
  1227. sill
  1228. simple-bmc
  1229. simple-diff
  1230. simple_pam
  1231. skkserv-lite
  1232. slack-backup
  1233. slacko < "0.14.1"
  1234. slap < "2.0.1"
  1235. smart-print < "0.3.0"
  1236. smbc < "0.4.2"
  1237. smtp
  1238. snabela
  1239. snappy < "0.1.2"
  1240. sodium
  1241. solvuu-build
  1242. solvuu_build
  1243. sonet
  1244. sosa
  1245. soundtouch < "0.1.9"
  1246. spacetime_lib < "0.3.0"
  1247. sparrow
  1248. spatial_index
  1249. speex < "0.4.0"
  1250. spelll < "0.3"
  1251. spf < "2.0.2"
  1252. sphinxcontrib-ocaml < "0.3.0"
  1253. spirv
  1254. spotinstall
  1255. spotlib < "4.1.0"
  1256. spotlib_js
  1257. spreadsheet
  1258. sqlexpr < "0.9.0"
  1259. sqlgg < "20200521"
  1260. sqlite3 < "4.2.0"
  1261. sqlite3EZ
  1262. srs < "2.0.0"
  1263. srt >= "0.2.0"
  1264. ssl < "0.5.6"
  1265. starterkit
  1266. stationary
  1267. statmemprof-emacs
  1268. statsd-client
  1269. statverif
  1270. stb_image
  1271. stb_image_write
  1272. stb_truetype
  1273. stdcompat < "5"
  1274. stdint >= "0.4.0" & < "0.4.2"
  1275. stemmer
  1276. stemming
  1277. stog < "0.20.0"
  1278. stone
  1279. stringCodepointSplitter
  1280. stringext < "1.5.0"
  1281. sturgeon < "0.4.2"
  1282. subtype-refinement < "0.2"
  1283. sundialsml
  1284. swdogen
  1285. symkat
  1286. syndic < "1.6.0"
  1287. syslog < "2.0.0"
  1288. syslog-message < "1.0.0"
  1289. systemverilog < "0.0.2"
  1290. TCSLib
  1291. taglib < "0.3.7"
  1292. taglog
  1293. tallgeese
  1294. tar < "0.9.0"
  1295. tar-format
  1296. tar-mirage < "0.9.0"
  1297. tar-unix < "0.9.0"
  1298. tcpip < "3.2.0"
  1299. tcx
  1300. tdk
  1301. telegraml < "2.2.0"
  1302. tensorflow
  1303. termbox
  1304. terminal_size < "0.1.4"
  1305. testrunner
  1306. testsimple
  1307. text
  1308. textutils >= "113.24.00" & < "v0.9.0"
  1309. textwrap < "0.2.1"
  1310. tftp
  1311. tgls
  1312. themoviedb
  1313. theora < "0.4.0"
  1314. thrift < "0.10.0"
  1315. tidy < "5-0.2"
  1316. timed < "1.1"
  1317. tiny_json < "1.1.6"
  1318. tiny_json_conv
  1319. tip-parser < "0.4"
  1320. tjr_simple_earley
  1321. tls < "0.11.0"
  1322. tlstunnel
  1323. toml < "5.0.0"
  1324. tophide
  1325. toplevel_expect_test < "v0.9.1"
  1326. topology
  1327. touist < "3.5.0"
  1328. tplib
  1329. tptp
  1330. trakeva
  1331. transmission-rpc
  1332. travis-senv
  1333. tree_layout < "0.2"
  1334. treeprint < "2.2.0"
  1335. trie < "1.0.0"
  1336. tryocaml
  1337. tsdl
  1338. ttweetnacl
  1339. tuntap < "1.5.0"
  1340. type-beat
  1341. type_conv
  1342. typehashlib
  1343. typerep < "v0.9.0"
  1344. typerep_extended < "v0.9.0"
  1345. typerex-binutils
  1346. typerex-build
  1347. typerex-clibs
  1348. typerex-system
  1349. typpx < "1.4.3"
  1350. tyre < "0.4"
  1351. tyxml < "4.3.0"
  1352. ubpf < "0.2"
  1353. ucorelib
  1354. udunits
  1355. uint < "1.2.1"
  1356. ulex
  1357. ulex-camlp5
  1358. unison-gui
  1359. unix-dirent
  1360. unix-errno < "0.6.0"
  1361. unix-fcntl
  1362. unix-sys-resource
  1363. unix-sys-stat
  1364. unix-time
  1365. unix-type-representations
  1366. unix-unistd
  1367. unmagic < "1.0.4"
  1368. uri < "1.9.6"
  1369. usb
  1370. usbmux
  1371. user-setup
  1372. utop < "1.16"
  1373. utp
  1374. uucd
  1375. uucp
  1376. uuidm
  1377. uunf
  1378. uuseg
  1379. uutf
  1380. uuuu >= "0.2.0"
  1381. uwt
  1382. valentine
  1383. variantslib < "v0.9.0"
  1384. vchan < "4.0.0"
  1385. vchan-unix < "4.0.0"
  1386. vchan-xen < "4.0.0"
  1387. vector3 < "1.0.0"
  1388. vg
  1389. vhd-format < "0.9.1"
  1390. vhd-tool
  1391. vhdlib
  1392. visitors < "20200207"
  1393. vlt
  1394. vmnet < "1.3.0"
  1395. voaacenc
  1396. volt
  1397. vorbis < "0.8.0"
  1398. vpnkit < "0.1.1"
  1399. vrt
  1400. vscoq-language-server
  1401. wamp < "1.2"
  1402. wasm
  1403. wcs-lib < "2017-05-26.02"
  1404. wdialog
  1405. webbrowser
  1406. webdav
  1407. weberizer < "0.7.8"
  1408. webmachine < "0.5.0"
  1409. websocketml
  1410. webtest < "2.0.0"
  1411. why3 >= "1.0.0"
  1412. why3-base
  1413. why3-coq
  1414. why3-ide
  1415. win-error < "0.3"
  1416. win-eventlog < "0.2"
  1417. wiringpi
  1418. wxOCaml
  1419. x509 < "0.6.3"
  1420. xapi-backtrace < "0.5"
  1421. xapi-forkexecd
  1422. xapi-idl
  1423. xapi-inventory < "1.2.3"
  1424. xapi-libs-transitional
  1425. xapi-rrd < "1.8.2"
  1426. xapi-rrdd
  1427. xapi-stdext
  1428. xapi-tapctl
  1429. xe
  1430. xe-unikernel-upload
  1431. xen-api-client
  1432. xen-block-driver
  1433. xen-disk
  1434. xen-evtchn < "2.1.0"
  1435. xen-evtchn-unix < "2.1.0"
  1436. xen-gnt >= "2.2.0" & < "3.0.1"
  1437. xen-gnt-unix < "3.0.1"
  1438. xenbigarray
  1439. xenctrl
  1440. xenstore < "2.0.0"
  1441. xenstore_transport < "1.1.0"
  1442. xentropyd
  1443. xml-light < "2.5"
  1444. xmldiff < "0.7.0"
  1445. xmlm
  1446. xmlplaylist < "0.1.5"
  1447. xstr
  1448. xstrp4
  1449. xtmpl < "0.19.0"
  1450. yajl
  1451. yajl-extra
  1452. yices2
  1453. yices2_bindings
  1454. yojson < "1.4.0"
  1455. yurt < "0.6"
  1456. z3
  1457. zarith
  1458. zarith-freestanding
  1459. zarith-xen
  1460. zed < "1.5"
  1461. zero >= "109.19.00" & < "109.28.00"
  1462. zipc
  1463. zipperposition < "1.5.1"
  1464. zlib < "0.6"
  1465. zmq < "5.0.0"
  1466. zstd < "0.3"
  1467. zxcvbn < "2.3+2"

Conflicts

None

OCaml

Innovation. Community. Security.