package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.9.6.tar.gz
md5=96c6ee50a32cca9ca277321262dbec57
sha512=cfaf1872d6ccda548f07d32cc6b90c3aafe136d2aa6539e03143702171ee0199add55269bba894c77115535dc46a5835901a5d7c75768999e72db503bfd83027

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: 08 Mar 2023

Dependencies (1)

  1. ocaml >= "3.08.0"

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

Conflicts

None

OCaml

Innovation. Community. Security.