package ocaml

  1. Overview
  2. No Docs
The OCaml compiler (virtual package)

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (82)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp

Description

This package requires a matching implementation of OCaml, and polls it to initialise specific variables like ocaml:native-dynlink

Published: 28 Mar 2018

Dependencies (4)

  1. ocaml-system >= "4.04.2" & < "4.04.3~"
  2. ocaml-variants >= "4.04.2" & < "4.04.3~"
  3. ocaml-base-compiler = "4.04.2"
  4. ocaml-config

Dev Dependencies

None

  1. 0install < "2.15.1"
  2. ANSITerminal
  3. aacplus
  4. abella < "2.0.8"
  5. acpc < "2.0.0"
  6. aez
  7. afl
  8. afl-persistent >= "1.2" & < "1.4"
  9. ago
  10. aifad
  11. aio
  12. alba < "0.4.1"
  13. alcotest < "1.7.0"
  14. alcotest-async < "1.7.0"
  15. aliases
  16. alsa
  17. alt-ergo < "2.4.1"
  18. alt-ergo-free < "2.4.3"
  19. alt-ergo-lib < "2.4.1"
  20. alt-ergo-parsers < "2.4.1"
  21. altgr-ergo < "2.4.1"
  22. amqp-client < "2.3.0"
  23. amqp-client-async < "2.3.0"
  24. amqp-client-lwt < "2.3.0"
  25. ancient
  26. angstrom
  27. angstrom-async
  28. angstrom-lwt-unix
  29. angstrom-unix
  30. ansi-parse
  31. ansicolor
  32. anycache
  33. anycache-async
  34. anycache-lwt
  35. ao < "0.2.2"
  36. apero-core
  37. apero-net
  38. apero-time
  39. apron
  40. archimedes
  41. arg-complete >= "0.2.1"
  42. argon2
  43. ascii85
  44. asetmap
  45. asl
  46. asn1-combinators < "0.2.5"
  47. assertions
  48. assimp
  49. astring < "0.8.5"
  50. async-uri >= "0.4.0"
  51. atd < "2.3.3"
  52. atd2cconv
  53. atdgen < "2.3.3"
  54. atdgen-codec-runtime < "2.3.3"
  55. atdgen-runtime < "2.3.3"
  56. atdj < "2.3.3"
  57. atds < "2.3.3"
  58. atomic < "base"
  59. augeas
  60. aws
  61. aws-async
  62. aws-autoscaling
  63. aws-cloudformation
  64. aws-cloudtrail
  65. aws-cloudwatch
  66. aws-ec2
  67. aws-elasticache
  68. aws-elasticloadbalancing
  69. aws-lwt
  70. aws-rds
  71. aws-route53
  72. aws-s3-async < "4.4.0"
  73. aws-s3-lwt < "4.4.0"
  74. aws-sdb
  75. aws-sqs
  76. aws-ssm
  77. aws-sts
  78. BetterErrors
  79. balancer
  80. bap-emacs-dot
  81. bap-emacs-goodies
  82. bap-emacs-mode
  83. bap-frames
  84. bap-signatures < "2.4.0"
  85. base < "v0.14.0"
  86. base-bytes >= "base"
  87. base-implicits
  88. base-metaocaml-ocamlfind
  89. base-native-int63
  90. base-num
  91. base32
  92. base58
  93. base64 != "2.3.0" & < "3.5.2"
  94. base_quickcheck < "v0.15.0"
  95. batch_jaro_winkler
  96. batteries < "3.7.2"
  97. bdd < "0.5"
  98. bddapron
  99. bddrand < "2.71.15"
  100. bear
  101. beluga < "1.0"
  102. benchmark
  103. benchpress
  104. benchpress-server
  105. bencode
  106. bestline
  107. bheap
  108. bibtex2html
  109. bigarray-compat
  110. bigstring
  111. bigstring-unix
  112. bigstringaf < "0.9.0"
  113. bimage < "0.2.1"
  114. bimage-gtk < "0.2.1"
  115. bimage-sdl < "0.2.1"
  116. bin_prot < "v0.14.1"
  117. bin_tree
  118. binaryen_dsl
  119. binbin
  120. bindlib < "6.0.0"
  121. biniou
  122. biocaml
  123. bip32
  124. bisect
  125. bisect-summary
  126. bisect_ppx
  127. bisect_ppx-ocamlbuild
  128. bitcoin < "3.0"
  129. bitmasks
  130. bitstring < "5.0.0"
  131. bitv < "2.1"
  132. bjack < "0.1.6"
  133. bloomf < "0.2.0"
  134. bn128
  135. bogue-tutorials < "0.2.0"
  136. bolt
  137. bookaml
  138. bos < "0.2.1"
  139. bpf
  140. bracetax
  141. broken
  142. brotli
  143. brozip
  144. bsdowl
  145. bson2
  146. bst
  147. build_path_prefix_map
  148. bun < "0.3.1"
  149. bwrap
  150. bytearray
  151. bytepdf
  152. cairo2
  153. cairo2-gtk
  154. cairo2-pango
  155. calculon < "0.7"
  156. calculon-web
  157. calendar
  158. callipyge
  159. camelsnakekebab
  160. caml-mode
  161. camlbz2
  162. camldiets
  163. camlgpc
  164. camlidl < "1.12"
  165. camllib
  166. camlmix
  167. camlon < "3.0.0"
  168. camlp-streams
  169. camlp4 = "4.02.0-1modular-implicits" | >= "4.04+1" & < "4.05+1"
  170. camlp5 < "8.00.04"
  171. camlpdf < "2.5"
  172. camlprime
  173. camltc
  174. camlzip < "1.11"
  175. camomile != "1.0.0" & < "2.0.0"
  176. capnp < "3.6.0"
  177. captureio
  178. caqti < "2.0.1"
  179. caqti-async
  180. caqti-driver-mariadb
  181. caqti-driver-pgx < "2.1.1"
  182. caqti-driver-postgresql
  183. caqti-driver-sqlite3 != "1.7.0"
  184. caqti-dynload
  185. caqti-lwt
  186. caqti-mirage
  187. caqti-tls
  188. caqti-type-calendar
  189. catala-format >= "0.2.0"
  190. cbor < "0.5"
  191. cconv
  192. cconv-ppx
  193. cdrom
  194. ceph
  195. certify < "0.3.3"
  196. cf_workers
  197. cfg < "2.3.0"
  198. cfgen
  199. cfstream
  200. cgi
  201. cgroups
  202. chacha
  203. chalk
  204. charInfo_width
  205. checkseum < "0.1.1"
  206. choice
  207. cinaps < "v0.12.0" | >= "v0.15.0"
  208. clangml < "4.3.0"
  209. clangml-transforms < "0.26"
  210. cloudi
  211. cmark
  212. cmarker
  213. cmdliner < "1.3.0"
  214. cmdtui
  215. cmdtui-lambda-term
  216. cmitomli
  217. coccinelle < "1.3.0"
  218. codept < "0.12.1"
  219. codept-lib
  220. cohttp < "4.0.0"
  221. cohttp-async < "4.1.2"
  222. cohttp-lwt < "4.0.0"
  223. cohttp-lwt-jsoo < "5.3.0"
  224. cohttp-lwt-unix < "4.0.0"
  225. coin < "0.1.5"
  226. colombe != "0.2.0"
  227. color-brewery
  228. combic
  229. combine
  230. conduit < "6.1.0"
  231. conduit-async < "6.2.3"
  232. conduit-lwt < "6.1.0"
  233. conduit-lwt-unix < "2.2.2"
  234. conex < "0.11.0"
  235. conf-bap-llvm < "1.7"
  236. conf-binutils < "0.3"
  237. conf-cuda
  238. conf-ida
  239. conf-libev
  240. conf-radare2
  241. config >= "0.0.3"
  242. config-file
  243. configuration
  244. configurator
  245. conjury < "2.1"
  246. containers < "3.13"
  247. containers-data < "3.13"
  248. containers-thread
  249. coq < "8.10.0"
  250. coq-lsp >= "0.1.9+8.17" & < "0.2.5+8.20"
  251. coq-shell
  252. coqide < "8.10.0"
  253. cordova
  254. cordova-plugin-activity-indicator
  255. cordova-plugin-background-mode
  256. cordova-plugin-barcode-scanner
  257. cordova-plugin-battery-status
  258. cordova-plugin-camera
  259. cordova-plugin-clipboard
  260. cordova-plugin-datepicker
  261. cordova-plugin-device
  262. cordova-plugin-device-motion
  263. cordova-plugin-device-orientation
  264. cordova-plugin-dialogs
  265. cordova-plugin-email-composer
  266. cordova-plugin-fcm
  267. cordova-plugin-file
  268. cordova-plugin-file-opener
  269. cordova-plugin-file-transfer
  270. cordova-plugin-geolocation
  271. cordova-plugin-globalization
  272. cordova-plugin-image-picker
  273. cordova-plugin-inappbrowser
  274. cordova-plugin-insomnia
  275. cordova-plugin-keyboard
  276. cordova-plugin-loading-spinner
  277. cordova-plugin-local-notifications
  278. cordova-plugin-media
  279. cordova-plugin-media-capture
  280. cordova-plugin-network-information
  281. cordova-plugin-progress
  282. cordova-plugin-push-notifications
  283. cordova-plugin-qrscanner
  284. cordova-plugin-screen-orientation
  285. cordova-plugin-sim-card
  286. cordova-plugin-sms
  287. cordova-plugin-social-sharing
  288. cordova-plugin-statusbar
  289. cordova-plugin-toast
  290. cordova-plugin-touch-id
  291. cordova-plugin-vibration
  292. cordova-plugin-videoplayer
  293. corecount
  294. cow
  295. cowabloga
  296. cpdf < "2.4"
  297. cpm
  298. cppo
  299. cppo_ocamlbuild
  300. cpu
  301. cpuid
  302. craml
  303. crc
  304. crdt-ml
  305. crlibm
  306. crontab
  307. crowbar < "0.2"
  308. cry < "1.0.0"
  309. crypt
  310. cryptodbm
  311. cryptohash
  312. cryptokit < "1.20"
  313. cryptoverif < "2.08"
  314. csexp
  315. cstruct < "6.2.0"
  316. cstruct-lwt < "6.2.0"
  317. cstruct-sexp < "6.2.0"
  318. csv
  319. csv-lwt
  320. csvtool
  321. ctypes < "0.24.0"
  322. ctypes-build
  323. ctypes-foreign >= "0.21.1" & < "0.24.0"
  324. cubicle < "1.2.0"
  325. cudf < "0.10"
  326. cuid
  327. curly
  328. curses
  329. curve-sampling
  330. daft < "0.0.4"
  331. datakit-server
  332. datakit-server-9p
  333. datalog < "0.7"
  334. dbm
  335. debian-formats
  336. decoders
  337. decoders-bencode
  338. decoders-cbor
  339. decoders-ezjsonm
  340. decoders-ezxmlm
  341. decoders-jsonm
  342. decoders-msgpck
  343. decoders-sexplib
  344. decoders-yojson
  345. decompress < "0.9.1"
  346. dedukti < "2.7"
  347. delimcc < "2020.10.08"
  348. depext
  349. depgraph
  350. deriving
  351. devkit < "0.7"
  352. diet
  353. digestif < "1.1.2"
  354. disml
  355. dispatch
  356. dispatch-js
  357. distributed
  358. distributed-lwt
  359. distributed-uwt
  360. diy
  361. dkml-runtime-common >= "2.0.3"
  362. dlist
  363. dlm
  364. dns < "4.4.1"
  365. dns-forward
  366. dns-forward-lwt-unix
  367. dns-lwt
  368. dnssd
  369. docker-api
  370. dockerfile < "8.1.0"
  371. dockerfile-cmd < "8.2.7"
  372. dockerfile-opam < "8.2.7"
  373. docout
  374. dokeysto
  375. dokeysto_camltc
  376. dokeysto_lz4
  377. dolmen < "0.5"
  378. dolmen_bin
  379. dolmen_loop
  380. dolmen_lsp
  381. dolmen_model
  382. dolmen_type
  383. dolog
  384. domain-name
  385. domainslib < "0.3.2"
  386. dose3
  387. dose3-extra
  388. down < "0.3.0"
  389. dream-inertia
  390. dryunit
  391. dssi < "0.1.3"
  392. dtoa
  393. duff < "0.5"
  394. dum
  395. dune < "3.18.2"
  396. dune-configurator >= "2.9.3" & < "3.18.2"
  397. dune-deps < "1.4.0"
  398. dune_deps_extra
  399. duration
  400. dynload-sys
  401. dyntype
  402. earley < "3.0.0"
  403. easy-format < "1.3.3"
  404. easy_logging < "0.8.1"
  405. easy_logging_yojson < "0.8.1"
  406. edn < "0.2.0"
  407. efl
  408. ego
  409. eigen
  410. either
  411. elasticsearch-cli
  412. electrumAnalyzer
  413. elina
  414. elpi-option-legacy-parser
  415. emile
  416. emoji
  417. encore < "0.6"
  418. enumerators
  419. epictetus
  420. eqaf < "0.8"
  421. errpy < "0.0.10"
  422. esgg
  423. exenum
  424. exn-source
  425. expect < "0.1.0"
  426. extlib
  427. extprot
  428. extunix < "0.3.1"
  429. ez-conf-lib
  430. ez_cmdliner < "0.2.0"
  431. ez_config < "0.2.0"
  432. ez_file < "0.2.0"
  433. ez_hash >= "0.5.3"
  434. ezcurl
  435. ezcurl-lwt
  436. ezdl < "2.71.15"
  437. ezgzip
  438. ezjsonm < "1.3.0"
  439. ezjsonm-lwt
  440. ezsqlite
  441. ezxmlm
  442. FrontC < "4.0.0"
  443. faad < "0.5.0"
  444. facile
  445. faraday
  446. faraday-async < "0.7.2"
  447. faraday-lwt
  448. faraday-lwt-unix
  449. farfadet
  450. farmhash
  451. fasmifra < "2.1.0"
  452. fat-filesystem < "0.14.0"
  453. fd-send-recv < "2.0.2"
  454. fdkaac < "0.3.2"
  455. feat
  456. feat-core
  457. feat-num
  458. feather < "0.2.0"
  459. febusy
  460. ffmpeg < "0.2.0"
  461. fftw3
  462. fieldslib < "v0.15.0"
  463. fileutils < "0.6.6"
  464. findlib_top
  465. fix
  466. flac
  467. flex-array
  468. flock
  469. fm-simplex-plugin
  470. fmt < "0.8.8"
  471. forester < "3.0.0"
  472. format
  473. fpath
  474. frama-c < "20.0"
  475. freetds < "0.7"
  476. freetennis
  477. frei0r < "0.1.2"
  478. frontmatter_extractor
  479. fstar < "2025.02.17"
  480. fstreams
  481. fswatch
  482. fswatch_async
  483. fswatch_lwt
  484. functory
  485. funfields
  486. General
  487. gadelac
  488. gammu
  489. gavl
  490. gbddml < "2.71.15"
  491. gd < "1.1"
  492. gdal
  493. gdbprofiler
  494. gedcom
  495. gen
  496. gen-bs
  497. genlet
  498. genprint
  499. genspio
  500. genspir
  501. geoip
  502. get_line < "5.0.0"
  503. getopt < "20230213"
  504. getopts
  505. gettext < "0.5.0"
  506. gettext-camomile < "0.5.0"
  507. gettext-stub < "0.5.0"
  508. github < "4.4.0"
  509. github-hooks
  510. github-hooks-unix
  511. github-jsoo < "4.4.0"
  512. github-unix < "4.4.0"
  513. gitlab_pipeline_notifier
  514. gles3
  515. glfw-ocaml
  516. glical
  517. glicko2
  518. globlon
  519. glpk
  520. gluten-async < "0.4.0"
  521. gluten-lwt < "0.4.0"
  522. gluten-lwt-unix < "0.4.0"
  523. gluten-mirage < "0.4.0"
  524. gmap
  525. gmp
  526. gnuplot
  527. gobject-introspection
  528. goblint-cil < "1.8.2"
  529. gperftools
  530. gpr < "1.5.0"
  531. gptar
  532. gpx
  533. graft
  534. graphicspdf
  535. graphql < "0.14.0"
  536. graphql-async < "0.14.0"
  537. graphql-cohttp < "0.9.0"
  538. graphql-lwt < "0.14.0"
  539. graphql_jsoo_client
  540. graphql_parser < "0.14.0"
  541. grenier < "0.12"
  542. grib
  543. grid
  544. gsl < "1.22.0"
  545. gstreamer
  546. gxl-light
  547. h2 < "0.5.0"
  548. h2-lwt < "0.5.0"
  549. h2-lwt-unix < "0.5.0"
  550. h2-mirage < "0.5.0"
  551. hack_parallel
  552. hacl_x25519
  553. hamt
  554. hashcons < "1.4.0"
  555. hashids
  556. hashset
  557. haxe
  558. hdf5
  559. hdfs
  560. headache >= "1.06" & < "1.08"
  561. heptagon
  562. herdtools7 < "7.54"
  563. heroicons-reason-react
  564. hevea < "2.35"
  565. hex < "1.5.0"
  566. hidapi
  567. hidapi-lwt
  568. higher
  569. higlo < "0.8"
  570. hiredis
  571. hiredis-value
  572. hlarp
  573. hll < "4.3"
  574. hmap
  575. hol_light
  576. horned_worm
  577. hpack < "0.10.0"
  578. hts_shrink
  579. httpaf
  580. httpaf-async
  581. httpaf-lwt-unix
  582. huffman
  583. humane-re
  584. huml
  585. huml-cli
  586. hvsock
  587. hweak
  588. hyper < "1.0.0~alpha2"
  589. ISO3166
  590. ISO8601
  591. i2c
  592. i3ipc
  593. idd
  594. idds
  595. igvxml
  596. index-bench
  597. inferno < "20211222"
  598. influxdb
  599. influxdb-async
  600. influxdb-lwt
  601. inifiles
  602. inotify
  603. inquirer_oc
  604. inspect
  605. integers != "0.5.0"
  606. integration1d
  607. interface-prime
  608. interface-prime-lwt
  609. interval < "1.6"
  610. interval_base < "1.6"
  611. interval_crlibm < "1.6"
  612. interval_intel < "1.6"
  613. inuit
  614. io
  615. io-page < "3.0.0"
  616. io-page-unix
  617. ipaddr < "5.6.0"
  618. ipv6-multicast
  619. ipv6-multicast-lwt
  620. irc-client
  621. irc-client-lwt
  622. irc-client-lwt-ssl
  623. irc-client-tls
  624. irc-client-unix
  625. iri < "0.5.0"
  626. irmin-chunk
  627. irmin-cli
  628. irmin-containers
  629. irmin-fs
  630. irmin-git
  631. irmin-graphql
  632. irmin-http
  633. irmin-layers
  634. irmin-pack-tools
  635. irmin-test
  636. irmin-unix
  637. irmin-watcher
  638. irrlicht
  639. iso639
  640. iter < "1.7"
  641. itv-tree
  642. jane-street-headers < "v0.16.0"
  643. javalib < "3.2.2"
  644. javascriptcore
  645. jbuilder
  646. jekyll-format < "0.2.0"
  647. jemalloc
  648. jhupllib < "0.2.2"
  649. jingoo
  650. joolog
  651. js-build-tools
  652. js_of_ocaml < "5.1.0"
  653. js_of_ocaml-camlp4
  654. js_of_ocaml-compiler < "5.1.0"
  655. js_of_ocaml-lwt < "5.1.0"
  656. js_of_ocaml-ocamlbuild != "3.5.2"
  657. js_of_ocaml-ppx < "5.1.0"
  658. js_of_ocaml-ppx_deriving_json < "5.1.0"
  659. js_of_ocaml-toplevel < "5.1.0"
  660. js_of_ocaml-tyxml < "5.1.0"
  661. json-data-encoding < "0.9"
  662. json-data-encoding-browser < "0.9"
  663. json-data-encoding-bson < "0.9"
  664. json-derivers
  665. json-rpc
  666. json-static
  667. json_decoder
  668. json_of_jsonm
  669. jsondiff
  670. jsonxt
  671. jsoo_broadcastchannel
  672. jsoo_storage
  673. jst-config < "v0.15.0"
  674. junit < "2.0.1" | = "2.2.0"
  675. junit_alcotest < "2.0.1"
  676. junit_ounit < "2.0.1"
  677. jupyter < "2.7.8"
  678. jupyter-archimedes
  679. jupyter-kernel < "0.8"
  680. jwt
  681. kafka
  682. kafka_async
  683. kafka_lwt
  684. kappa-agents < "4.1.3"
  685. kappa-binaries < "4.1.3"
  686. kappa-server
  687. kaputt
  688. ke < "0.6"
  689. key-parsers < "1.2.1"
  690. kicadsch < "0.4.0"
  691. kinetic-client
  692. kyotocabinet
  693. lablgl < "1.07"
  694. lablgtk-extras
  695. lablgtkosx
  696. lablqml < "0.7"
  697. labrys
  698. lacaml < "11.0.1"
  699. ladspa < "0.2.0"
  700. lambda-term < "3.2.0"
  701. lambdasoup
  702. lame < "0.3.4"
  703. landmarks < "1.4"
  704. lascar < "0.6-alpha"
  705. lastfm < "0.3.3"
  706. launchd
  707. lazy-trie
  708. lbfgs
  709. lbvs_consent < "2.0.0"
  710. ldap
  711. ledit
  712. lem < "2022-12-10"
  713. lemonade
  714. lemonade-sqlite
  715. lens < "1.2.4"
  716. letters < "0.1.1"
  717. leveldb < "1.3.0"
  718. levenshtein
  719. libdash < "0.3"
  720. libevent
  721. libsail < "0.19"
  722. libssh
  723. libsvm
  724. libudev
  725. libzipperposition < "2.0"
  726. line_oriented
  727. linenoise
  728. linkage
  729. lipsum
  730. liquidsoap-daemon
  731. llhttp
  732. llopt
  733. llvm
  734. llvmgraph
  735. lmdb = "1.0"
  736. lo < "0.2.0"
  737. logical
  738. logs < "0.8.0"
  739. logs-async >= "1.3"
  740. logs-async-reporter >= "1.3"
  741. logs-syslog
  742. logtk < "2.0"
  743. lpd
  744. lpi
  745. lru != "0.3.0-1"
  746. lru-cache
  747. lua_pattern
  748. lustre-v6 < "6.101.7"
  749. lutils
  750. lutin != "2.70.4" & < "2.71.15"
  751. luv
  752. luv_unix
  753. lwd
  754. lwt < "5.6.0"
  755. lwt-binio
  756. lwt-canceler
  757. lwt-dllist
  758. lwt-pipe
  759. lwt-pipeline
  760. lwt-watcher
  761. lwt-zmq
  762. lwt_camlp4
  763. lwt_domain < "0.2.0"
  764. lwt_eio < "0.2"
  765. lwt_glib
  766. lwt_log
  767. lwt_named_threads
  768. lwt_ppx < "2.1.0"
  769. lwt_react < "1.2.0"
  770. lwt_ssl
  771. lymp
  772. lz4
  773. lz4_chans >= "3.0.0"
  774. lzo
  775. macaddr < "5.6.0"
  776. macaque
  777. macaroons
  778. mad < "0.5.0"
  779. magic < "0.7.4"
  780. magic-mime
  781. maildir
  782. make-random
  783. malfunction < "0.5"
  784. markdown
  785. markup
  786. mastodon-archive-viewer < "0.2"
  787. maxminddb
  788. mc2
  789. mccs
  790. mdx < "2.0.0"
  791. mecab
  792. mechaml
  793. mel
  794. melange-atdgen-codec-runtime
  795. melange-fest
  796. melange-fetch
  797. melange-json >= "1.1.0"
  798. melange-moment
  799. melange-numeral
  800. melange-react-dates
  801. melange-recharts
  802. melange-testing-library
  803. melange-webapi >= "0.21.0"
  804. meldep
  805. memcpy < "0.2.2"
  806. menhir != "20211125" & < "20260122"
  807. menhirLib < "20260122"
  808. menhirSdk < "20260122"
  809. mergeable-vector
  810. merlin < "4.5-411"
  811. merlin-extend
  812. merlin-of-pds
  813. mesh
  814. mesh-display
  815. mesh-easymesh
  816. mesh-graphics
  817. mesh-triangle
  818. metapp < "0.3.0"
  819. metaquot < "0.3.0"
  820. metrics
  821. mew
  822. mew_vi
  823. milter
  824. mindstorm
  825. mindstorm-lwt
  826. minicaml < "0.3.1"
  827. minicli
  828. minilight
  829. minima-theme
  830. minisat != "0.3"
  831. minivpt
  832. mirage < "4.0.0"
  833. mirage-block < "2.0.1"
  834. mirage-block-lwt
  835. mirage-block-unix < "2.12.1"
  836. mirage-btrees
  837. mirage-channel < "4.0.1"
  838. mirage-channel-lwt
  839. mirage-clock < "4.2.0"
  840. mirage-clock-lwt
  841. mirage-clock-unix < "4.2.0"
  842. mirage-conduit
  843. mirage-console
  844. mirage-console-lwt
  845. mirage-device < "2.0.0"
  846. mirage-flow < "3.0.0"
  847. mirage-flow-lwt
  848. mirage-fs < "4.0.0"
  849. mirage-kv < "2.0.0"
  850. mirage-kv-lwt < "2.0.0"
  851. mirage-net < "4.0.0"
  852. mirage-net-lwt
  853. mirage-net-macosx < "1.8.0"
  854. mirage-no-solo5
  855. mirage-no-xen
  856. mirage-profile
  857. mirage-protocols < "7.0.0"
  858. mirage-protocols-lwt
  859. mirage-random < "3.0.0"
  860. mirage-seal
  861. mirage-stack < "3.0.0"
  862. mirage-stack-lwt
  863. mirage-tc
  864. mirage-time < "3.0.0"
  865. mirage-time-lwt
  866. mirage-types < "3.6.0"
  867. mirage-types-lwt < "3.6.0"
  868. misuja
  869. mixture
  870. mkaudio
  871. mkocaml >= "1.2"
  872. mlbdd
  873. mlcuddidl
  874. mldonkey
  875. mlgmpidl
  876. mlgpx
  877. mlmpfr
  878. mm < "0.5.0" | >= "0.7.0" & < "0.7.4"
  879. mmap
  880. mmdb
  881. mmseg
  882. mock < "1.0.0"
  883. mock-ounit < "1.0.0"
  884. molenc < "15.4.0"
  885. monadlib
  886. monolith < "20230604"
  887. monomorphic < "2.0"
  888. morbig < "0.11.0"
  889. more-ocaml
  890. morsmall
  891. mosquitto
  892. moss
  893. mparser
  894. mparser-pcre
  895. mparser-re
  896. mpg123
  897. mpp
  898. mpris
  899. mpris-clients
  900. msat
  901. msat-bin
  902. mset
  903. msgpack
  904. msgpck < "1.5"
  905. mstruct
  906. mtime < "1.4.0"
  907. mtl
  908. multicodec
  909. multipart-form-data < "0.3.0"
  910. murmur3
  911. mustache < "3.2.0"
  912. mvar
  913. mwt
  914. mybuild
  915. mysql
  916. naboris < "0.1.0"
  917. named-pipe
  918. namespaces
  919. nanoev_tiny_httpd
  920. nbd < "6.0.0"
  921. netlink
  922. nlopt-ocaml
  923. nlp
  924. nocoiner
  925. nocrypto
  926. noise
  927. nonstd
  928. nosetup
  929. notty < "0.2.2"
  930. nproc
  931. nsq
  932. numalib
  933. OCanren-ppx < "0.3.0"
  934. oasis
  935. oasis2debian
  936. oasis2opam
  937. obandit
  938. obeam < "0.1.0" | = "0.1.2"
  939. obelisk < "0.5.0"
  940. objsize
  941. obuild
  942. obus < "1.2.5"
  943. obytelib != "1.5"
  944. oc45
  945. ocal
  946. ocaml-base-compiler = "4.04.2"
  947. ocaml-basics
  948. ocaml-buddy
  949. ocaml-canvas
  950. ocaml-compiler-libs < "v0.17.0"
  951. ocaml-expat < "1.3.0"
  952. ocaml-http
  953. ocaml-inifiles
  954. ocaml-js-stdlib
  955. ocaml-logicalform
  956. ocaml-makefile < "6.39.2"
  957. ocaml-markdown
  958. ocaml-migrate-parsetree
  959. ocaml-migrate-parsetree-ocamlbuild
  960. ocaml-monadic
  961. ocaml-print-intf < "1.1.0"
  962. ocaml-protoc < "3.0.0"
  963. ocaml-protoc-yojson
  964. ocaml-r < "0.4.0"
  965. ocaml-sat-solvers < "0.7"
  966. ocaml-src = "4.04.2"
  967. ocaml-syntax-shims
  968. ocaml-system < "4.13.0"
  969. ocaml-systemd
  970. ocaml-top < "1.2.0"
  971. ocaml-twt
  972. ocaml-variants >= "4.04.2+32bit" & < "4.04.3+trunk"
  973. ocaml-version < "3.5.0"
  974. ocaml-xdg-basedir < "transition"
  975. ocamlapi
  976. ocamlapi_async
  977. ocamlapi_lwt_unix
  978. ocamlapi_ppx
  979. ocamlbuild < "0.15.0"
  980. ocamlbuild-atdgen
  981. ocamlbuild-pkg
  982. ocamlbuild-protoc
  983. ocamlclean
  984. ocamldap
  985. ocamldiff < "1.2"
  986. ocamldsort
  987. ocamlfind
  988. ocamlfind-lint
  989. ocamlfuse
  990. ocamlgraph < "2.1.0"
  991. ocamlgraph_gtk < "2.2.0"
  992. ocamlify < "0.1.0"
  993. ocamline
  994. ocamlmod < "0.1.1"
  995. ocamlnet
  996. ocamlog
  997. ocamlpp
  998. ocamlrss
  999. ocamlscript < "3.0.0"
  1000. ocamlsdl
  1001. ocamlsdl2
  1002. ocamlsdl2-image
  1003. ocamlsdl2-ttf
  1004. ocamlwc
  1005. ocamlyices
  1006. ocb-stubblr
  1007. ocephes
  1008. ockt
  1009. oclock
  1010. ocolor
  1011. ocp-browser != "1.2.1" & < "1.3.4"
  1012. ocp-build
  1013. ocp-indent < "1.9.0"
  1014. ocp-indent-nlfork
  1015. ocp-index < "1.3.4"
  1016. ocp-index-top
  1017. ocp-ocamlres
  1018. ocp-pack-split
  1019. ocp-pp
  1020. ocp-reloc
  1021. ocplib-endian
  1022. ocplib-json-typed
  1023. ocplib-json-typed-browser
  1024. ocplib-json-typed-bson
  1025. ocplib-resto
  1026. ocplib-simplex
  1027. ocplib_stuff < "0.3.0"
  1028. ocsfml
  1029. octavius
  1030. ocurl < "transition"
  1031. ocveralls
  1032. odash
  1033. odbc
  1034. odds < "1.1"
  1035. odepack
  1036. odnnr
  1037. odoc < "3.1.0"
  1038. odoc-depgraph
  1039. odoc-parser < "3.1.0"
  1040. ofx
  1041. ogen
  1042. ogg < "1.0.0"
  1043. olinq
  1044. ollvm
  1045. ollvm-tapir
  1046. olmi
  1047. omake
  1048. omd < "2.0.0~alpha3"
  1049. oml
  1050. omlr
  1051. oolc
  1052. opaca
  1053. opal
  1054. opam-build < "0.2.3"
  1055. opam-bundle
  1056. opam-client < "2.2.0"
  1057. opam-core < "2.2.0"
  1058. opam-depext
  1059. opam-devel < "2.2.0"
  1060. opam-ed
  1061. opam-file-format
  1062. opam-format < "2.2.0"
  1063. opam-installer < "2.2.0"
  1064. opam-lib
  1065. opam-lock
  1066. opam-package-upgrade < "0.2"
  1067. opam-publish < "2.5.1"
  1068. opam-repository < "2.2.0"
  1069. opam-solver < "2.2.0"
  1070. opam-state < "2.2.0"
  1071. opam-test < "0.2.3"
  1072. opam_bin_lib < "0.9.5"
  1073. opamconfig
  1074. opamfu
  1075. opasswd
  1076. open
  1077. openai-gym
  1078. openbsd
  1079. opencc
  1080. opencc0
  1081. opencc1
  1082. opencc1_1
  1083. operf-micro < "1.1.3"
  1084. opium < "0.19.0"
  1085. opium_kernel
  1086. oplsr
  1087. opti
  1088. optimization1d
  1089. oqamldebug
  1090. orandforest
  1091. ordma
  1092. orf < "1.0.1"
  1093. orm
  1094. orocksdb
  1095. orpie
  1096. orrandomForest
  1097. orsvm_e1071
  1098. orxgboost
  1099. osbx
  1100. osc < "0.2.0"
  1101. osdp < "1.1.1"
  1102. oseq < "0.5"
  1103. ostap < "0.6"
  1104. osx-acl
  1105. osx-attr
  1106. osx-cf
  1107. osx-fsevents
  1108. osx-membership
  1109. osx-mount
  1110. osx-plutil
  1111. osx-secure-transport
  1112. osx-xattr
  1113. ott < "0.33"
  1114. otto
  1115. ounit < "2.2.0"
  1116. ounit-lwt < "2.2.0"
  1117. ounit2
  1118. ounit2-lwt
  1119. override < "0.4.0"
  1120. owork
  1121. pa_comprehension
  1122. pa_monad_custom
  1123. pa_qualified
  1124. pa_solution
  1125. pa_where
  1126. pacomb < "1.4.3"
  1127. pandoc-abbreviations
  1128. papi
  1129. parany
  1130. pareto
  1131. parmap
  1132. parsexp < "v0.15.0"
  1133. parsexp_io < "v0.15.0"
  1134. patch < "3.0.0~alpha1"
  1135. path_glob
  1136. pattern = "0.2.0"
  1137. pbrt < "3.0.0"
  1138. pbs
  1139. pcap-format < "0.6.0"
  1140. pci
  1141. pci-db
  1142. pcre < "7.4.2"
  1143. pds < "5.42"
  1144. pds-reachability < "0.2.3"
  1145. pecu
  1146. petr4
  1147. pfff < "0.39.1"
  1148. pgocaml < "3.1"
  1149. pgx < "1.0"
  1150. pgx_async < "1.0"
  1151. pgx_lwt < "1.0"
  1152. pgx_unix < "1.0"
  1153. phantom-algebra < "1.0.1"
  1154. phashtbl
  1155. pilat < "1.6"
  1156. piqi
  1157. piqilib
  1158. pixel_pusher
  1159. pkcs11 < "1.0.1"
  1160. pkcs11-driver < "1.0.1"
  1161. pla < "2.0"
  1162. plist
  1163. plplot
  1164. podge
  1165. polars
  1166. polka < "2.71.15"
  1167. polly < "0.4.1"
  1168. polyglot
  1169. pomap < "4.1.2"
  1170. portaudio < "0.2.2"
  1171. portia
  1172. posix-clock
  1173. posix-getopt < "2.0.0"
  1174. posix-math
  1175. posix-mqueue
  1176. posix-semaphore
  1177. posix-time
  1178. posix-types
  1179. postgresql < "4.4.1"
  1180. pp < "1.1.2"
  1181. pprint
  1182. ppx_assert < "v0.15.0"
  1183. ppx_base < "v0.15.0"
  1184. ppx_bench < "v0.15.0"
  1185. ppx_bin_prot < "v0.15.0"
  1186. ppx_blob < "0.9.0"
  1187. ppx_cold < "v0.15.0"
  1188. ppx_compare < "v0.15.0"
  1189. ppx_compose
  1190. ppx_const
  1191. ppx_cstruct < "6.0.0"
  1192. ppx_cstubs
  1193. ppx_custom_printf < "v0.15.0"
  1194. ppx_defer < "0.5.0"
  1195. ppx_derivers
  1196. ppx_deriving < "5.0"
  1197. ppx_deriving_argparse
  1198. ppx_deriving_cmdliner < "0.6.0"
  1199. ppx_deriving_madcast
  1200. ppx_deriving_protobuf < "3.0.0"
  1201. ppx_deriving_protocol
  1202. ppx_deriving_variant_string
  1203. ppx_deriving_yojson < "3.6.0"
  1204. ppx_distr_guards < "0.3"
  1205. ppx_dream_eml
  1206. ppx_enumerate < "v0.15.0"
  1207. ppx_expect < "v0.15.0"
  1208. ppx_fail
  1209. ppx_fields_conv < "v0.15.0"
  1210. ppx_fixed_literal < "v0.15.0"
  1211. ppx_gen_rec
  1212. ppx_getenv
  1213. ppx_hash < "v0.15.0"
  1214. ppx_here < "v0.15.0"
  1215. ppx_import < "1.9.0"
  1216. ppx_inline_test < "v0.15.0"
  1217. ppx_jane < "v0.15.0"
  1218. ppx_js_style < "v0.15.0"
  1219. ppx_let < "v0.15.0"
  1220. ppx_log < "v0.15.0"
  1221. ppx_matches < "0.1.0"
  1222. ppx_module_timer < "v0.15.0"
  1223. ppx_monoid
  1224. ppx_nanocaml
  1225. ppx_optcomp < "v0.14.3"
  1226. ppx_optint
  1227. ppx_optional < "v0.15.0"
  1228. ppx_pipebang < "v0.15.0"
  1229. ppx_protocol_conv < "5.2.0"
  1230. ppx_protocol_conv_json < "5.2.1"
  1231. ppx_protocol_conv_jsonm < "5.2.1"
  1232. ppx_protocol_conv_msgpack < "5.2.1"
  1233. ppx_protocol_conv_xml_light < "5.2.1"
  1234. ppx_protocol_conv_xmlm < "5.2.1"
  1235. ppx_protocol_conv_yaml < "5.2.1"
  1236. ppx_python < "v0.15.0"
  1237. ppx_regexp
  1238. ppx_seq >= "0.2.0"
  1239. ppx_sexp_conv < "v0.15.0"
  1240. ppx_sexp_message < "v0.15.0"
  1241. ppx_sexp_value < "v0.15.0"
  1242. ppx_stable < "v0.15.0"
  1243. ppx_string < "v0.15.0"
  1244. ppx_string_interpolation < "1.1.0"
  1245. ppx_system
  1246. ppx_there
  1247. ppx_tools_versioned
  1248. ppx_traverse_builtins
  1249. ppx_type_conv
  1250. ppx_typerep_conv < "v0.15.0"
  1251. ppx_tyre >= "0.4.3"
  1252. ppx_unreachable
  1253. ppx_variants_conv < "v0.15.0"
  1254. ppx_wideopen
  1255. ppx_yojson < "1.2.0"
  1256. ppx_yojson_conv < "v0.15.0"
  1257. ppx_yojson_conv_lib < "v0.16.0"
  1258. ppxfind
  1259. ppxlib < "0.14.0" | = "0.17.0" | >= "0.21.1" & < "0.35.0"
  1260. pratter >= "1.1" & < "2.0.0"
  1261. primes
  1262. printbox < "0.7"
  1263. printbox-text < "0.8"
  1264. process
  1265. prof_spacetime
  1266. profiler-plugin
  1267. proj4
  1268. prometheus
  1269. prometheus-app < "1.2"
  1270. promise
  1271. protocell
  1272. protocol-9p < "2.1.0"
  1273. protocol-9p-tool < "2.1.0"
  1274. protocol-9p-unix < "2.1.0"
  1275. proverif
  1276. psmt2-frontend
  1277. psq
  1278. psyche
  1279. ptime < "1.2.0"
  1280. ptmap != "2.0.4"
  1281. ptset
  1282. publish
  1283. pulseaudio < "0.1.4"
  1284. pumping
  1285. pure-splitmix
  1286. pvem
  1287. pxp
  1288. py < "1.1"
  1289. pyast
  1290. pyml < "20250807"
  1291. qbf < "0.3"
  1292. qcheck < "0.25"
  1293. qcheck-core < "0.25"
  1294. qcheck-ounit < "0.25"
  1295. qcow < "0.12.1"
  1296. qcow-tool < "0.12.1"
  1297. qcstm < "0.1.1"
  1298. qfs < "0.12"
  1299. qmp
  1300. qrencode
  1301. qtest
  1302. quest
  1303. quick_print
  1304. r2pipe
  1305. radare2
  1306. raga
  1307. randomconv < "0.2.0"
  1308. range
  1309. ranger
  1310. rangeSet
  1311. raw_spacetime
  1312. rawlink < "2.1"
  1313. raygun4ocaml
  1314. rdbg < "1.184.1"
  1315. rdf < "0.12.0"
  1316. rdr
  1317. re != "1.9.0" & < "1.12.0"
  1318. reactiveData < "0.2.2"
  1319. reactjs-jsx-ppx
  1320. reason < "3.12.0"
  1321. reason-react >= "0.14.0"
  1322. reason-react-day-picker
  1323. received < "0.5.2"
  1324. records < "1.0.0"
  1325. redirect >= "0.1.1"
  1326. redis
  1327. redis-lwt
  1328. redis-sync
  1329. reedsolomon
  1330. refl < "0.4.0"
  1331. regenerate
  1332. remu_ts
  1333. res < "5.0.2"
  1334. rescript-syntax
  1335. reshowcase
  1336. resource-pooling < "0.5"
  1337. result
  1338. revops
  1339. rfc1951 < "0.9.1"
  1340. rfc6287 < "1.0.4"
  1341. rfc7748
  1342. rfsm < "1.6-alpha-3"
  1343. rhythm
  1344. riak
  1345. riak-pb
  1346. rlp
  1347. rml < "1.09.06"
  1348. rmlbuild
  1349. roman
  1350. root1d
  1351. rope < "0.6.3"
  1352. rosetta
  1353. rotor
  1354. rpc
  1355. rpclib-async < "10.0.0"
  1356. rpclib-html
  1357. rpclib-js
  1358. rpclib-lwt
  1359. rresult < "0.7.0"
  1360. rtop < "3.13.0"
  1361. rtree
  1362. rungen
  1363. rusage
  1364. rust-staticlib-virtual
  1365. safa
  1366. safepass
  1367. salsa20 < "1.1.0"
  1368. salsa20-core
  1369. samplerate < "0.1.6"
  1370. sanddb < "0.3.0"
  1371. sanlock
  1372. satML-plugin
  1373. sattools
  1374. savvy
  1375. sawja < "1.5.8"
  1376. schroedinger
  1377. scid
  1378. scrypt
  1379. secp256k1 < "0.5.0"
  1380. secp256k1-internal < "0.2.0"
  1381. sedlex < "2.6"
  1382. sek
  1383. selfie
  1384. semaphore-compat
  1385. semver < "0.2.1"
  1386. semver2
  1387. sendmail >= "0.2.0"
  1388. sendmail-lwt >= "0.2.0"
  1389. sendmail-mirage
  1390. sendmsg
  1391. seq = "0.3.1"
  1392. sequence
  1393. session < "0.5.0"
  1394. session-cohttp < "0.5.0"
  1395. session-cohttp-async < "0.5.0"
  1396. session-cohttp-lwt < "0.5.0"
  1397. session-postgresql < "0.5.0"
  1398. session-postgresql-async < "0.5.0"
  1399. session-postgresql-lwt < "0.5.0"
  1400. session-redis-lwt < "0.5.0"
  1401. session-webmachine < "0.5.0"
  1402. sessions
  1403. setcore
  1404. setr
  1405. sexplib >= "v0.10.0" & < "v0.15.0"
  1406. sexplib0 < "v0.15.1"
  1407. sgf
  1408. sha
  1409. shades
  1410. shapefile
  1411. shared-secret
  1412. shcaml
  1413. shellwords
  1414. sherlodoc
  1415. shine
  1416. sid
  1417. simlog < "0.0.4"
  1418. simple-diff
  1419. simple_pam
  1420. slacko < "0.15.0"
  1421. slap
  1422. smart-print
  1423. smbc
  1424. smtlib-utils < "0.4"
  1425. smtp
  1426. snappy
  1427. snf_mcp
  1428. socketcan
  1429. sodium
  1430. sosa
  1431. soundtouch
  1432. spacetime_lib
  1433. spawn < "v0.15.0"
  1434. spdx_licenses < "1.1.0"
  1435. spelll != "0.3"
  1436. spf
  1437. spirv
  1438. splittable_random < "v0.15.0"
  1439. spotify_ml
  1440. spotlib < "4.1.0"
  1441. spreadsheet
  1442. sqlgg
  1443. sqlite3 < "4.4.0"
  1444. sqlite3_utils < "0.4"
  1445. srs
  1446. ssh-agent < "0.4.0"
  1447. ssl
  1448. sslconf
  1449. starred_ml
  1450. starterkit
  1451. statmemprof-emacs
  1452. statocaml
  1453. statocaml_changelog
  1454. statocaml_community
  1455. statocaml_db
  1456. statocaml_github
  1457. statocaml_go
  1458. statocaml_gui
  1459. statocaml_html
  1460. statocaml_plots
  1461. statocaml_profile
  1462. statverif
  1463. stb_image
  1464. stb_image_write
  1465. stb_truetype < "0.7"
  1466. stdcompat < "20.0"
  1467. stdint != "0.6.0"
  1468. stdio < "v0.15.0"
  1469. stdlib-shims
  1470. stemmer
  1471. stemming
  1472. stog < "0.19.0"
  1473. stog-rdf
  1474. stog-writing < "0.19.0"
  1475. stone < "0.5.2"
  1476. string_dict < "v0.15.0"
  1477. stringext
  1478. sturgeon
  1479. subscriptions-transport-ws
  1480. subtype-refinement
  1481. sugar
  1482. sundialsml
  1483. swhid_core
  1484. symkat
  1485. syndic < "1.8.0"
  1486. sys-socket
  1487. sys-socket-unix
  1488. syslog
  1489. syslog-message < "1.2.0"
  1490. syslog-rfc5424 >= "0.2"
  1491. systemverilog < "0.0.2"
  1492. TCSLib
  1493. tablecloth-native != "0.0.8"
  1494. tabr
  1495. tacit
  1496. taglib < "0.3.7"
  1497. tallgeese
  1498. tcx
  1499. tdk
  1500. telegraml
  1501. termbox
  1502. terminal
  1503. terminal_size < "0.2.0"
  1504. text
  1505. textrazor
  1506. textwrap
  1507. tezt-bam
  1508. thrift
  1509. tidy
  1510. time_now < "v0.15.0"
  1511. timed < "1.1"
  1512. tiny_httpd < "0.14"
  1513. tiny_httpd_camlzip < "0.14"
  1514. tinyfiledialogs
  1515. tip-parser < "0.5"
  1516. tjr_simple_earley
  1517. tls < "0.10.6"
  1518. tm-grammars
  1519. toc
  1520. tofn
  1521. toml < "7.0.0"
  1522. toml-cconv
  1523. toml_cconv < "7.0.0"
  1524. tophide < "1.1.0"
  1525. topkg < "1.0.8"
  1526. topkg-jbuilder
  1527. touist
  1528. tplib
  1529. tptp
  1530. traildb
  1531. trampoline
  1532. traverse
  1533. trax < "0.4.0"
  1534. tree_layout
  1535. treeprint < "2.3.0"
  1536. trie
  1537. tsdl < "1.1.0"
  1538. tsdl-image
  1539. tsdl-mixer
  1540. tsdl-ttf
  1541. tsort
  1542. tuareg
  1543. tube
  1544. type_conv
  1545. type_eq
  1546. type_id
  1547. typerep < "v0.15.0"
  1548. typerex-binutils
  1549. tyre < "1.0"
  1550. tyxml
  1551. tyxml-jsx
  1552. tyxml-ppx
  1553. tyxml-syntax
  1554. ubpf
  1555. ucaml
  1556. uchar
  1557. uecc >= "0.3"
  1558. uint < "2.0.1"
  1559. ulex
  1560. ulex-camlp5 < "1.3"
  1561. unionFind < "20220107"
  1562. unison < "2.52.0"
  1563. unix-dirent
  1564. unix-errno
  1565. unix-sys-resource
  1566. unix-sys-stat
  1567. unix-time
  1568. unix-type-representations
  1569. unix-unistd
  1570. uri < "4.4.0"
  1571. uri-re < "4.4.0"
  1572. uring-trace
  1573. uritemplate >= "0.2.0"
  1574. usb
  1575. user-setup
  1576. utop < "2.11.0"
  1577. uucd < "16.0.0"
  1578. uucp < "16.0.0"
  1579. uuidm < "0.9.8"
  1580. uunf < "16.0.0"
  1581. uuseg < "16.0.0"
  1582. uutf < "1.0.4"
  1583. uuuu < "0.4.0"
  1584. uwt
  1585. valentine
  1586. variantslib < "v0.15.0"
  1587. varint
  1588. vcardgen < "1.2"
  1589. vchan < "6.0.1"
  1590. vecosek
  1591. vecosek-engine
  1592. vecosek-scene
  1593. vector
  1594. vector3
  1595. vg < "0.9.5"
  1596. vhd-format < "0.13.0"
  1597. vhd-format-lwt < "0.13.0"
  1598. vhdlib
  1599. visitors < "20210127"
  1600. vlq
  1601. vmnet
  1602. voaacenc
  1603. volt
  1604. vorbis
  1605. vpt
  1606. wall
  1607. wamp
  1608. wamp-msgpck
  1609. wamp-yojson
  1610. wasm < "1.1"
  1611. wcs
  1612. wcs-api
  1613. wcs-lib
  1614. webbrowser < "0.6.2"
  1615. weberizer
  1616. webidl
  1617. webmachine
  1618. websocket < "2.12"
  1619. websocketaf
  1620. webtest
  1621. webtest-js
  1622. why3 < "1.3.0"
  1623. why3-coq < "1.3.0"
  1624. why3-ide < "1.3.0"
  1625. win-error
  1626. win-eventlog < "0.4"
  1627. wiringpi
  1628. wseg
  1629. wtf8
  1630. wxOCaml
  1631. wyrd
  1632. x509 < "0.8.1"
  1633. xapi-backtrace
  1634. xapi-inventory >= "1.2.3"
  1635. xapi-stdext-encodings < "4.22.0"
  1636. xapi-stdext-pervasives < "4.16.0"
  1637. xapi-stdext-threads
  1638. xapi-stdext-unix = "4.20.0"
  1639. xapi-stdext-zerocheck
  1640. xdg-basedir < "0.0.5"
  1641. xen-evtchn
  1642. xen-evtchn-unix
  1643. xenstore-tool
  1644. xenstore_transport
  1645. xml-light
  1646. xmlplaylist
  1647. xtmpl < "0.18.0"
  1648. xtmpl_ppx = "1.1.0"
  1649. xxhash
  1650. yajl
  1651. yaml != "0.2.1" & < "3.0.0"
  1652. yara
  1653. yices2
  1654. yojson < "3.0.0"
  1655. yosqlite
  1656. yurt
  1657. yuscii
  1658. z3 < "4.8.14"
  1659. zarith < "1.14"
  1660. zarith-ppx
  1661. zarith_stubs_js < "v0.16.0"
  1662. zbar
  1663. zed
  1664. zeit
  1665. zenon < "0.8.5"
  1666. zipperposition < "2.0"
  1667. zipperposition-tools < "2.0"
  1668. zlib
  1669. zlist
  1670. zmq
  1671. zmq-async
  1672. zmq-eio
  1673. zmq-lwt
  1674. zstd
  1675. zxcvbn

Conflicts

None