package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

findlib-1.6.2.tar.gz
sha256=3917904342ffbb66089f9fec1adc023b8854178bc21f303e4cbf96b8b164c946
md5=530ff275d6b96e140f0d3a03ed14b68e

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: 10 Mar 2016

Dependencies (3)

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

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

Conflicts

None

OCaml

Innovation. Community. Security.