package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.8.1.tar.gz
sha256=8e85cfa57e8745715432df3116697c8f41cb24b5ec16d1d5acd25e0196d34303
md5=18ca650982c15536616dea0e422cbd8c

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: 29 Jul 2019

Dependencies (2)

  1. conf-m4 build
  2. ocaml >= "4.00.0" & < "4.13"

Dev Dependencies

None

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

Conflicts

None

OCaml

Innovation. Community. Security.