ocamlversion
The OCaml compiler (virtual package)
This package requires a matching implementation of OCaml,
and polls it to initialise specific variables like ocaml:native-dynlink
| Authors | Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon |
|---|---|
| Published | |
| Homepage | https://ocaml.org |
| Issue Tracker | https://caml.inria.fr/mantis/ |
| Maintainer | platform@lists.ocaml.org |
| Dependencies |
|
| Conflicts |
|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocaml/ocaml.4.03.0/opam |
Required by
- 0install!=2.8 & <2.15.1
- aacplus
- abella
- abt
- acgtk<1.5.1
- acme
- acpc
- aez
- afl
- afl-persistent>=1.2
- ago
- agrep
- aifad<2.1.0
- aio
- alba<0.4.1
- alcotest<0.4.6 | >=0.4.10
- alcotest-async
- alcotest-lwt
- aliases
- alphaCaml
- alsa
- alt-ergo<2.0.0
- altgr-ergo<2.3.0
- amf<0.1.2
- amqp-client>=1.0.0 & <2.0.0
- amqp-client-async<2.0.2
- amqp-client-lwt<2.0.2
- ancient>=0.9.1
- angstrom<0.13.0
- angstrom-async<0.11.1
- angstrom-lwt-unix
- angstrom-unix
- annexlib
- annot
- ansi-parse
- ansicolor
- ANSITerminal
- anycache
- anycache-async
- anycache-lwt
- ao
- apalogretrieve
- aperf
- apero-core
- apero-net
- apero-time
- apron
- arakoon>=1.8.6
- archimedes>=0.4.18
- argon2
- arp<0.2.1
- ascii85
- asetmap
- asl
- asn1-combinators<0.2.2
- assertions
- assimp
- astring<0.8.4
- async<109.19.00 | >=113.24.00 & !=113.33.03 & <v0.10.0
- async-mvar
- async-zmq
- async_core<109.19.00
- async_extended>=113.24.00 & !=113.33.03 & <v0.10.0
- async_extra<109.19.00 | =113.24.00 | =113.33.00+4.03 | =v0.9.0
- async_find!=111.28.00 & !=113.33.03 & <v0.10.0
- async_graphics<0.7.0
- async_inotify!=113.00.00 & !=113.33.03 & <v0.10.0
- async_interactive<v0.10.0
- async_js<v0.10.0
- async_kernel>=113.24.00 & !=113.33.03 & <v0.10.0
- async_parallel>=113.24.00 & !=113.33.03 & <v0.10.0
- async_rpc_kernel>=113.24.00 & !=113.33.03 & <v0.10.0
- async_shell!=109.28.03 & !=113.33.03 & <v0.10.0
- async_smtp<112.35.00 | >=113.24.00 & !=113.33.03 & <v0.10.0
- async_ssl<112.35.00 | =113.24.00 | >=113.33.06 & <v0.10.0
- async_unix<109.19.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.10.0
- atd
- atd2cconv
- atdgen>=1.9.1
- atdgen-codec-runtime
- atdgen-runtime
- atdj
- atds
- augeas
- aws
- aws-autoscaling
- aws-cloudformation
- aws-cloudtrail
- aws-ec2
- aws-elasticloadbalancing
- aws-s3<2.0.0
- aws-sdb
- aws-ssm
- aws-sts
- b0<0.0.1
- balancer
- bamboo
- bap=0.9.5 | >=1.0.0 & <1.6.0
- bap-abi<1.6.0
- bap-api<1.6.0
- bap-arm<1.6.0
- bap-beagle<1.6.0
- bap-bil<1.6.0
- bap-byteweight<1.6.0
- bap-byteweight-frontend<1.6.0
- bap-c<1.6.0
- bap-cache<1.6.0
- bap-callsites<1.6.0
- bap-constant-tracker<1.6.0
- bap-cxxfilt<1.6.0
- bap-dead-code-elimination
- bap-demangle<1.6.0
- bap-dump-symbols<1.6.0
- bap-dwarf<1.6.0
- bap-elf<1.5.0
- bap-emacs-dot
- bap-emacs-goodies
- bap-emacs-mode
- bap-frames<2.1.2
- bap-frontc<1.6.0
- bap-frontend<1.6.0
- bap-fsi-benchmark<1.6.0
- bap-future<1.6.0
- bap-ida<1.6.0
- bap-ida-plugin<1.6.0
- bap-ida-python<1.6.0
- bap-llvm<1.6.0
- bap-mc<1.6.0
- bap-microx<1.6.0
- bap-mips<1.6.0
- bap-objdump<1.6.0
- bap-optimization<1.6.0
- bap-phoenix<1.6.0
- bap-piqi<1.6.0
- bap-powerpc<1.6.0
- bap-primus<1.6.0
- bap-primus-dictionary<1.6.0
- bap-primus-lisp<1.6.0
- bap-primus-region<1.6.0
- bap-primus-support<1.6.0
- bap-primus-test<1.6.0
- bap-primus-x86<1.6.0
- bap-print<1.6.0
- bap-relocatable<1.6.0
- bap-report<1.6.0
- bap-run<1.6.0
- bap-saluki
- bap-server<0.3.0
- bap-signatures
- bap-ssa<1.6.0
- bap-std<1.6.0
- bap-strings<1.6.0
- bap-symbol-reader<1.6.0
- bap-taint<1.6.0
- bap-taint-propagator<1.6.0
- bap-term-mapper<1.6.0
- bap-trace<1.6.0
- bap-traces<1.6.0
- bap-trivial-condition-form<1.6.0
- bap-veri<0.2.3
- bap-warn-unused<1.6.0
- bap-x86<1.6.0
- bare<1.6.0
- base<v0.10.0
- base-bytes>=base
- base-implicits
- base-metaocaml-ocamlfind
- base-native-int63
- base-num
- base-unsafe-string
- base58
- base64!=2.3.0
- batch_jaro_winkler
- batsh
- batteries>=2.5.0
- bau>=0.0.2
- bdd
- bddapron
- bear
- beluga>=0.8.1
- bench
- benchmark>=1.3.1
- bencode
- bes
- BetterErrors
- bheap
- bibtex2html
- bigarray-compat
- bigbro
- bignum<112.35.00 | >=113.24.00 & !=113.33.03 & <v0.10.0
- bigstring
- bigstring-unix
- bigstringaf
- bimage<0.2.1
- bimage-gtk<0.2.1
- bimage-sdl<0.2.1
- bin_prot<109.15.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.10.0
- binbin
- bindlib
- biniou
- biocaml!=0.10.0 & <0.11.0
- bip32
- bisect>=1.3
- bisect-summary
- bisect_ppx>=1.1.0
- bisect_ppx-ocamlbuild
- bistro<0.5.0
- bitcoin
- bitcoinml<0.4.1
- bitmasks
- bitstring>=2.0.4
- bitv
- bjack
- blahcaml
- bloomf
- bn128
- bogue<20200630
- bolt>=1.3
- bookaml
- boomerang
- bos
- bpf
- bracetax
- broken
- brotli<1.3.0
- brozip
- bsdowl
- bson
- bst
- bt
- bulletml
- bwrap
- bytearray
- bytepdf
- c3
- cairo>=0.4.2
- cairo2
- cairo2-gtk
- cairo2-pango
- calculon
- calculon-web
- calendar>=2.03.2
- callipyge
- caml-mode
- caml2html>=1.4.4
- camlbz2
- Camldiets
- camldm
- CamlGI
- camlgpc
- camlhighlight
- camlidl
- camlimages>=4.1.2 & !=4.2.1 & <4.2.5
- camllib>=1.3.1
- camlmix
- camlon<3.0.0
- camlp4>=4.02.0-1modular-implicits & <4.04+1
- camlp5>=6.15 & !=7.09
- camlpdf>=2.1.1
- camlprime
- camltc!=0.9.2
- camltemplate
- camlzip>=1.05
- camomile!=1.0.0
- capnp<2.1.0 | >=3.0.0
- capnp-rpc
- capnp-rpc-lwt
- capnp-rpc-mirage
- capnp-rpc-net
- capnp-rpc-unix
- captureio
- caqti<0.10.0
- caqti-async
- caqti-driver-mariadb
- caqti-driver-postgresql
- caqti-driver-sqlite3
- caqti-dynload<0.10.2
- caqti-lwt
- caqti-type-calendar
- caradoc
- cbat-explicit-edge
- cbat-tools
- cbat-vsa
- cbor
- cconv
- cconv-ppx
- ccss
- cdrom
- certify<0.3.0
- cfg<2.1.0
- cfgen
- cfstream<1.3.0
- cgi
- cgroups
- chacha
- chalk
- chamo>=2.03
- channel
- charInfo_width
- charrua-client<0.11.0
- charrua-client-lwt<0.11.0
- charrua-client-mirage<0.11.0
- charrua-core
- charrua-unix<1.0.0
- checkseum<0.1.1
- choice
- cil>=1.7.3
- cinaps<v0.10.0
- clangml!=3.8.0 & <4.0.0 | >=4.1.0
- clangml-transforms
- cloudi
- cmark
- cmarker
- cmdliner
- cmdtui
- cmdtui-lambda-term
- cmitomli
- coccinelle!=1.0.0-rc23
- coclobas
- codept>=0.9.1
- cohttp<1.2.0
- cohttp-async<1.1.1
- cohttp-lwt<1.2.0
- cohttp-lwt-jsoo<1.2.0
- cohttp-lwt-unix<1.2.0
- cohttp-mirage<1.2.0
- cohttp-top<1.2.0
- coin
- colombe!=0.2.0
- color-brewery
- combine
- command_rpc<v0.10.0
- commonjs_of_ocaml
- comparelib<113.00.00
- conduit
- conduit-async
- conduit-lwt
- conduit-lwt-unix<2.1.0
- conduit-mirage<2.1.0
- conex<0.11.0
- conex-nocrypto<0.11.0
- conf-bap-llvm
- conf-binutils
- conf-ida
- config-file
- configuration
- configurator<v0.10.0
- containers
- cookie-js
- coq>=8.5.0~camlp4 & <8.10.0
- coq-shell
- coqide<8.10.0
- cordova
- cordova-plugin-activity-indicator
- cordova-plugin-background-mode
- cordova-plugin-barcode-scanner
- cordova-plugin-battery-status
- cordova-plugin-camera
- cordova-plugin-clipboard
- cordova-plugin-datepicker
- cordova-plugin-device
- cordova-plugin-device-motion
- cordova-plugin-device-orientation
- cordova-plugin-dialogs
- cordova-plugin-email-composer
- cordova-plugin-fcm
- cordova-plugin-file
- cordova-plugin-file-opener
- cordova-plugin-file-transfer
- cordova-plugin-geolocation
- cordova-plugin-globalization
- cordova-plugin-image-picker
- cordova-plugin-inappbrowser
- cordova-plugin-insomnia
- cordova-plugin-keyboard
- cordova-plugin-loading-spinner
- cordova-plugin-local-notifications
- cordova-plugin-media
- cordova-plugin-media-capture
- cordova-plugin-network-information
- cordova-plugin-progress
- cordova-plugin-push-notifications
- cordova-plugin-qrscanner
- cordova-plugin-screen-orientation
- cordova-plugin-sim-card
- cordova-plugin-sms
- cordova-plugin-social-sharing
- cordova-plugin-statusbar
- cordova-plugin-toast
- cordova-plugin-touch-id
- cordova-plugin-vibration
- cordova-plugin-videoplayer
- core>=113.24.00 & !=113.33.00 & !=113.33.02 & !=113.33.03 & <v0.10.0
- core-lwt<0.3.0
- core_bench!=112.35.00 & !=113.33.00 & !=113.33.03 & <v0.10.0
- core_extended>=108.00.02 & <109.19.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.10.0
- core_kernel=113.24.00 | =113.33.01+4.03 | >=v0.9.0 & <v0.10.0
- core_profiler>=113.24.00 & !=113.33.03 & <v0.10.0
- corecount
- cow>=1.0.0 & !=2.0.0
- cowabloga
- cpdf
- cpm
- cppo
- cppo_ocamlbuild
- cpu
- cpuid
- craml
- crc
- crdt-ml
- crlibm
- crontab
- crowbar<0.2
- crunch<2.2.0
- cry<0.6.5
- crypt
- cryptgps
- cryptodbm
- cryptohash
- cryptokit>=1.10
- cryptoverif
- csexp>=1.1.0
- cstruct<1.8.0 | >=2.0.0
- cstruct-async
- cstruct-lwt
- cstruct-sexp
- cstruct-unix<3.5.0
- csv>=1.2.4
- csv-lwt
- csvfields<v0.10.0
- csvprovider>=1.2
- csvtool
- ctypes>=0.4.0
- ctypes-build
- ctypes-foreign
- cubicle>=1.0.2
- cudf
- cuid
- curly
- curses
- curve-sampling
- custom_printf>=111.21.00 & <113.00.00
- d3
- daft
- datakit
- datakit-bridge-github
- datakit-bridge-local-git
- datakit-ci
- datakit-client
- datakit-client-9p
- datakit-client-git
- datakit-github
- datakit-server
- datakit-server-9p
- datalog
- dbforge
- dbm
- dead_code_analyzer
- debian-formats
- decoders
- decoders-bencode
- decoders-cbor
- decoders-ezjsonm
- decoders-jsonm
- decoders-sexplib
- decoders-yojson
- decompress<0.9.1
- dedukti
- depext
- depgraph
- depyt
- deriving>=0.7.1
- deriving-yojson
- devkit=0.4
- dht
- diet
- digestif
- dispatch
- dispatch-js
- distributed
- distributed-lwt
- distributed-uwt
- distwit
- diy
- dlist
- dlm
- dns<4.0.0
- dns-async
- dns-forward
- dns-forward-lwt-unix
- dns-lwt
- dns-lwt-unix
- dnscurve
- dnssd
- doc-ock
- doc-ock-html
- doc-ock-xml
- docker-api
- dockerfile
- dockerfile-cmd
- dockerfile-opam
- docout
- dog
- dokeysto
- dokeysto_camltc
- dokeysto_lz4
- dolmen
- dolog
- dose
- dose3
- DrawGrammar
- dropbox<0.2
- dryunit
- dsfo
- dssi
- dtoa
- dtools<0.4.2
- duff
- dum
- dumpast
- dune
- dune-build-info<2.0.0
- dune-configurator=1.11.4
- dune-deps
- duppy
- duration<0.1.2
- dynload-sys
- dyntype>=0.8.3
- dypgen
- earley
- earley-ocaml
- easy-format
- ecaml<v0.10.0
- edn
- efl
- eigen<0.1.4 | >=0.1.6
- elasticsearch-cli
- electrumAnalyzer
- elf2json
- elina
- eliom<6.4.0
- elpi<1.3.1
- email_message<112.35.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.10.0
- emile
- encore<0.6
- enumerate<111.08.00
- enumerators
- eqaf
- erm_xml
- erm_xmpp
- erssical
- estring
- exenum
- exn-source
- expect
- expect_test_helpers<v0.10.0
- expect_test_helpers_kernel<v0.10.0
- extlib>=1.5.3
- extlib-compat
- extprot>=1.1.2
- extunix
- ezgzip
- ezirmin
- ezjsonm>=0.4.3
- ezjsonm-lwt
- ezsqlite
- ezxenstore
- ezxmlm
- faad
- facebook-sdk
- facile
- faillib
- faraday
- faraday-async
- faraday-lwt
- faraday-lwt-unix
- farfadet
- farmhash
- fat-filesystem<0.14.0
- fd-send-recv
- fdkaac<0.3.2
- febusy
- ffmpeg<0.2.0
- fftw3>=0.7.2
- fiat-p256<0.2.0
- fieldslib<109.19.00 | =113.24.00 | =v0.9.0
- fileutils
- fix
- fkie-cad-cwe-checker<0.2
- flac
- flock
- flow>=0.3
- flow_parser
- flowcaml
- flowtype>=0.25.0 & <0.72.0
- fluent-logger<1.1.0
- fm-simplex-plugin
- fmt<0.8.7
- forkwork
- format
- fpath
- frag
- frama-c>=10.0 & <20.0
- frama-c-base
- frama-c-e-acsl
- freetds<0.7
- freetennis
- frei0r
- frenetic<5.0.0
- FrontC
- fstar<0.9.5.0
- fstreams
- fswatch
- fswatch_lwt
- ftp
- funbits
- functoria>=1.1.0 & <3.0.1
- functoria-runtime<3.0.1
- functory
- fury-puyo
- future
- gadelac
- gamepad
- gammu
- gapi-ocaml
- gasoline>=0.3.0
- gavl
- gd
- gdal!=0.8.0
- gdbprofiler
- gedcom
- gen
- gen-bs<0.1.0
- gen_js_api<1.0.4
- gen_server
- General
- genet
- genlet
- genprint<0.3
- genspio
- genspir
- geoip
- get_line<5.0.0
- getopt
- getopts
- gettext>=0.3.7
- gettext-camomile
- gettext-stub
- gg
- git!=1.4.3 & !=1.7.2 & <2.1.3
- git-http<2.1.3
- git-mirage<2.1.3
- git-unix<2.1.3
- github
- github-hooks
- github-hooks-unix
- github-jsoo
- github-unix
- gles3
- glfw-ocaml
- glical
- glicko2
- glMLite<0.03.53
- glpk
- glsurf
- gluten-async
- gluten-lwt
- gluten-lwt-unix
- gluten-mirage
- gmp-freestanding
- gmp-xen
- gnuplot
- gobject-introspection
- goblint-cil
- google-drive-ocamlfuse
- gperftools
- gpr<1.3.0
- gpx
- graphics<3.07 | =4.03.0
- graphicspdf
- graphlib<1.6.0
- graphql
- graphql-async
- graphql-cohttp
- graphql-lwt
- graphql_parser
- grenier<0.11
- grib
- gsasl
- gsl<1.20.0
- gstreamer
- gtktop
- gxl-light
- hack_parallel<1.0.0
- hacl_x25519
- hamt
- hardcaml<v0.12.0
- hardcaml-affirm
- hardcaml-bloop
- hardcaml-examples!=0.2
- hardcaml-framework
- hardcaml-llvmsim
- hardcaml-reedsolomon
- hardcaml-vpi
- hardcaml-waveterm
- hardcaml-yosys
- hashcons
- hashids
- hashset
- haxe
- hdf5>=0.1.2 & <0.1.5
- hdfs
- headache<1.04
- heptagon
- herdtools7<7.54
- herelib<112.35.00
- hevea
- hex
- hidapi
- higher
- higlo
- hiredis
- hiredis-value
- hkdf<1.0.3
- hlarp
- hll
- hmap
- horned_worm>=0.3.1
- hts_shrink
- http2https
- http_router
- httpaf
- httpaf-async
- httpaf-lwt-unix
- humane-re
- hvsock
- hweak
- hydro
- i2c
- i3ipc
- ibx<0.8.1
- igvxml
- imagelib
- imagemagick
- imap
- imaplet-lwt<0.1.15
- immutable>=0.0.6
- incr_dom<v0.10.0
- incr_map<v0.10.0
- incr_select<v0.10.0
- incremental>=113.24.00 & !=113.33.03 & <v0.10.0
- incremental_kernel!=113.33.03 & <v0.10.0
- indexmap
- inferno
- inotify
- inspect
- integers
- integration1d
- interface-prime
- interface-prime-lwt
- interval
- interval_base
- interval_crlibm
- interval_intel
- inuit
- io
- io-page
- io-page-unix
- io-page-xen
- iocaml>=0.4.6
- iocaml-kernel>=0.4.6
- iocamljs-kernel<0.4.3 | >=0.4.6
- ipaddr!=2.7.1 & <3.0.0
- ipv6-multicast
- ipv6-multicast-lwt
- irc-client
- irc-client-lwt
- irc-client-lwt-ssl
- irc-client-tls
- irc-client-unix
- iri
- irmin<0.9.0 | >=0.9.5 & !=0.9.10 & <2.0.0
- irmin-chunk
- irmin-fs
- irmin-git
- irmin-graphql
- irmin-http
- irmin-indexeddb<2.0
- irmin-mem
- irmin-mirage<2.0.0
- irmin-pack
- irmin-test
- irmin-unix
- irmin-watcher
- irrlicht
- iso-filesystem
- ISO8601
- iter
- itv-tree
- ivy
- jane-street-headers<v0.10.0
- javalib<3.1
- javascriptcore
- jbuilder
- jekyll-format
- jenga<109.19.00 | >=113.24.00 & !=113.33.00 & !=113.33.03 & <v0.10.0
- jhupllib<0.2.1
- jingoo<1.3.0
- jitsu
- jitsu-libvirt
- jitsu-libxl
- jitsu-xapi
- joolog
- js-build-tools>=113.33.04
- js-lz4
- js_of_ocaml>=2.8
- js_of_ocaml-camlp4
- js_of_ocaml-compiler
- js_of_ocaml-lwt
- js_of_ocaml-ocamlbuild!=3.5.2
- js_of_ocaml-ppx
- js_of_ocaml-ppx_deriving_json<3.4.0
- js_of_ocaml-toplevel
- js_of_ocaml-tyxml
- JsOfOCairo
- json-data-encoding
- json-data-encoding-browser
- json-data-encoding-bson
- json-derivers
- json-pointer
- json-predicate
- json-rpc
- json-static
- json-wheel<1.0.6+safe-string
- json-wheel_jane_street_overlay
- json_decoder
- json_of_jsonm
- jsondiff
- jsonm
- jsoo_broadcastchannel
- jsoo_router
- jsoo_storage
- junit<2.0.1
- junit_alcotest<2.0.1
- junit_ounit<2.0.1
- jupyter<2.3.2
- jupyter-archimedes<2.3.2
- jupyter-kernel
- jwt
- kafka>=0.3
- kaputt>=1.2
- KaSim
- ke
- ketrew>=1.1.1
- key-parsers<0.10.0
- kicadsch<0.4.0
- kinetic-client<0.0.11
- krb5
- kyotocabinet
- lablgl
- lablgtk<2.18.6
- lablgtk-extras>=1.5
- lablgtkosx
- lablqml
- labltk<8.06.2
- lacaml<10.0.1
- lacc
- ladspa
- lambda-term
- lambdasoup
- lambdoc
- lame
- landmarks
- lascar<0.6-alpha
- lastfm
- launchd
- lazy-trie
- lbfgs!=0.8.5
- lbvs_consent<2.0.0
- ldap
- ledit
- lem
- lemonade
- lemonade-sqlite
- lens<1.2.1
- let-if
- letters<0.1.1
- leveldb!=1.0.3
- levenshtein
- libdash
- libevent
- libres3
- libssh
- libsvm!=0.9.3
- libudev
- libvhd
- libzipperposition
- lilis
- linenoise<1.2.0 | >=1.3.1
- linkage
- lipsum
- liquidsoap<1.4.0
- liquidsoap-daemon
- litiom
- llopt
- llvm
- llvmgraph
- lmdb>=1.0
- lo
- loga<0.0.5
- logs
- logs-syslog
- logtk
- lpd
- lpi
- lru
- lru-cache
- lua_pattern
- lustre-v6<6.101.7
- lutils
- lutin<2.70.4
- luv
- lwt=2.4.5 | >=2.5.2
- lwt-binio
- lwt-canceler
- lwt-dllist
- lwt-parallel
- lwt-pipe
- lwt-pipeline
- lwt-watcher
- lwt-zmq
- lwt_camlp4
- lwt_glib
- lwt_log<1.1.1
- lwt_named_threads
- lwt_ppx
- lwt_react
- lwt_ssl
- lymp
- lz4
- lz4_chans>=3.0.0
- lzo
- m17n
- macaque
- macaque_lwt
- macaroons
- mad
- magic
- magic-mime
- maildir
- maki
- malfunction<0.3
- mariadb<1.1.4
- markdown
- markup!=0.8.1
- mastodon-archive-viewer<0.2
- maxminddb
- mbr-format
- mccs
- md2mld
- mdx>=1.2.0
- mecab
- mechaml
- melt
- memcad
- memcpy
- memprof-limits
- menhir
- menhirLib
- menhirSdk
- merge-queues
- merge-ropes
- mergeable-vector
- merlin>=2.5.0 & !=3.3.4~4.10preview1
- merlin-acme
- merlin-extend
- merlin-of-pds
- mesh
- mesh-display
- mesh-easymesh
- mesh-graphics
- mesh-triangle
- message-switch
- metapp
- metaquot
- mew
- mew_vi
- mezzo
- mikmatch=1.0.8
- milter>=1.0.1
- mindstorm<0.8
- minicaml<0.3.1
- minicli
- minilight
- minima-theme
- minisat<0.3
- minivpt
- mirage<3.0.7
- mirage-block<1.2.0
- mirage-block-ccm
- mirage-block-lwt<1.2.0
- mirage-block-ramdisk<0.4
- mirage-block-solo5<0.3.0
- mirage-block-unix<2.12.0
- mirage-block-xen<1.7.0
- mirage-bootvar-solo5<0.3.0
- mirage-bootvar-xen<0.6.0
- mirage-btrees
- mirage-channel<3.2.0
- mirage-channel-lwt<3.2.0
- mirage-clock<2.0.0
- mirage-clock-freestanding<2.0.0
- mirage-clock-lwt<2.0.0
- mirage-clock-unix<1.4.1
- mirage-clock-xen
- mirage-conduit
- mirage-console<2.4.0
- mirage-console-lwt<2.4.0
- mirage-console-solo5<0.3.0
- mirage-console-unix<2.4.1
- mirage-console-xen<2.4.0
- mirage-console-xen-backend<2.4.0
- mirage-console-xen-cli
- mirage-console-xen-proto<2.4.0
- mirage-device<1.2.0
- mirage-dns<3.1.2
- mirage-entropy<0.4.1
- mirage-entropy-unix
- mirage-entropy-xen
- mirage-flow<1.5.0
- mirage-flow-lwt<1.5.0
- mirage-flow-rawlink
- mirage-flow-unix<1.5.0
- mirage-fs<1.2.0
- mirage-fs-lwt<1.2.0
- mirage-fs-unix>=1.1.1 & <1.4.1
- mirage-git
- mirage-http
- mirage-http-unix
- mirage-http-xen
- mirage-irmin
- mirage-kv<2.0.0
- mirage-kv-lwt<2.0.0
- mirage-logs<1.2.0
- mirage-nat<1.1.0
- mirage-net<1.2.0
- mirage-net-direct
- mirage-net-fd
- mirage-net-flow
- mirage-net-lwt<1.2.0
- mirage-net-macosx<1.8.0
- mirage-net-socket
- mirage-net-solo5<0.3.0
- mirage-net-unix!=2.2.0 & <2.5.0
- mirage-net-xen>=1.4.2 & <1.8.1
- mirage-no-solo5
- mirage-no-xen
- mirage-os-shim<3.1.0
- mirage-profile
- mirage-profile-unix<0.9.0
- mirage-profile-xen<0.9.0
- mirage-protocols<1.4.1
- mirage-protocols-lwt<1.4.1
- mirage-qubes<0.8.0
- mirage-qubes-ipv4<0.8.0
- mirage-random<1.2.0
- mirage-runtime<3.0.7
- mirage-seal
- mirage-solo5<0.3.0
- mirage-stack<1.2.0
- mirage-stack-lwt<1.2.0
- mirage-tc
- mirage-tcpip-unix
- mirage-tcpip-xen
- mirage-time<1.3.0
- mirage-time-lwt<1.3.0
- mirage-time-unix<1.3.0
- mirage-types<3.0.7
- mirage-types-lwt<3.0.7
- mirage-unix<3.0.8
- mirage-vnetif<0.4.1
- mirage-www
- mirage-xen>=2.6.0 & <3.0.6
- mirage-xen-minios
- mirage-xen-ocaml>=2.6.0 & <3.0.4
- mirage-xen-posix<3.1.0 | >=3.3.0
- mirari
- mirror
- missinglib
- misuja
- mixture
- mkaudio
- ml2mxml
- mlbdd
- mlcuddidl
- mld
- mldonkey>=3.1.6
- mlgmp
- mlgmpidl
- mm>=0.3.0 & <0.5.0
- mmap
- mmseg
- mock<0.1.1
- mock-ounit<0.1.1
- modelica_ml>=0.2.0
- molenc>=7.0.1
- monadlib
- monads<1.6.0
- mongo
- monolith
- monomorphic
- morbigbuild & <0.10.3
- more-ocaml
- mosquitto
- moss
- mparser
- mpi
- mpp
- mpris
- mpris-clients
- mqtt
- mqtt_client
- mrt-format
- msat
- msat-bin
- msgpack
- msgpck<1.5
- mstruct
- mtime
- mtl
- multipart-form-data<0.3.0
- murmur3
- mustache
- mvar
- mwt
- mybuild
- mysql>=1.2.1
- mysql_protocol
- naboris<0.1.0
- named-pipe
- namespaces
- nanomsg
- nbd
- nebula
- netamqp
- netchannel<1.8.1
- netlink
- netml
- nit
- nlopt-ocaml
- nlp
- nocoiner
- nocrypto>=0.2.0
- nonstd
- nosetup
- notty<0.2.2
- nproc
- npy<0.0.7
- nsq<0.2.4
- nullable-array
- num<1.0
- numalib
- numerix
- nunchaku
- oasis>=0.4.6
- oasis-mirage
- oasis2debian
- oasis2opam
- obandit
- obeam<0.1.0 | =0.1.2
- obeanstalk
- obeliskbuild & <0.5.0
- obigstore
- objsize>=0.18
- obuild
- obus>=1.1.7 & <1.2.0
- obytelib<1.2
- oc45
- ocal
- ocaml-arg
- ocaml-base-compilerpost & =4.03.0
- ocaml-basics>=0.5.0
- ocaml-buddy
- ocaml-compiler-libs<v0.10.0
- ocaml-data-notation
- ocaml-expat
- ocaml-freestanding<0.3.0
- ocaml-http
- ocaml-inifiles
- ocaml-js-stdlib
- ocaml-lua>=1.6 & <1.8
- ocaml-makefile<6.39.2
- ocaml-manual=4.03.0
- ocaml-markdown
- ocaml-migrate-parsetree!=1.3.0~4.08.0+beta2
- ocaml-migrate-parsetree-ocamlbuild
- ocaml-monadic>=0.3.2 & <0.4.0
- ocaml-print-intf<1.1.0
- ocaml-protoc
- ocaml-protoc-yojson
- ocaml-r
- ocaml-sat-solvers
- ocaml-secondary-compiler
- ocaml-src=4.03.0
- ocaml-syntax-shims
- ocaml-systempost
- ocaml-systemd
- ocaml-top<1.1.0 | >=1.1.4
- ocaml-twt
- ocaml-variantspost & >=4.03.0+32bit & <4.04.0+32bit
- ocaml-version
- ocaml-xdg-basedir
- ocaml-xml-rpc
- ocaml-zmq
- ocaml9p
- ocaml_at_p
- ocaml_plugin<112.35.00 | >=113.24.00 & !=113.33.00 & !=113.33.03 & <v0.10.0
- ocamlbuild
- ocamlbuild-atdgen
- ocamlbuild-pkg
- ocamlbuild-protoc
- ocamlclean<2.2
- ocamlcodoc<1.0.1
- ocamldap>=2.2
- ocamldbi
- ocamldiff
- ocamldot
- ocamldsort
- ocamlfind>=1.5.1
- ocamlfind-lint
- ocamlfuse
- ocamlgraph
- ocamlify
- ocamline
- ocamllint>=0.3.0
- ocamlmod
- ocamlnet>=4.1.2
- ocamlpp>=1.1
- ocamlrss
- ocamlscript
- ocamlsdl
- ocamlsdl2
- ocamlspot=4.03.0.2.3.1
- ocamltter<2.0.1 | =2.1.1 | >=4.1.0
- ocamlviz
- ocamlwc
- ocamlweb
- ocamlyices
- ocapic=3.3
- ocb-stubblr
- ocephes
- ocf>=0.5.0
- oci
- oclaunch
- oclock
- ocolor>=1.1
- ocp-browser
- ocp-build=1.99.14-beta | >=1.99.16-beta
- ocp-indent<0.9.2 | >=1.4.2
- ocp-indent-nlfork
- ocp-index>=1.1.4
- ocp-index-top
- ocp-ocamlres
- ocp-pack-split
- ocp-pp
- ocp-reloc
- ocplib-compat
- ocplib-concur
- ocplib-config
- ocplib-endian
- ocplib-file
- ocplib-json-typed
- ocplib-json-typed-browser
- ocplib-json-typed-bson
- ocplib-resto
- ocplib-simplex
- ocs
- ocsfml
- ocsigen-i18n<3.2.0
- ocsigen-start<1.2.0
- ocsigen-toolkit<2.0.0
- ocsigenserver<2.10
- octavius
- ocurl
- ocveralls
- odash
- odate
- odb-server
- odbc
- odds
- odepack>=0.6.3
- odiff-gtk
- odig<0.0.5
- odisco
- odnnr
- odoc
- odoc-depgraph
- ofx
- ogen!=0.1.2
- ogg
- ogre<1.6.0
- ojquery
- ojs-base<0.3.0 | >=0.5.0
- ojwidgets
- olinq
- ollvm
- ollvm-tapir
- olmi
- omake
- omd
- oml
- omod
- omonad=0.3.1 | =0.3.3
- oni>=1.0.12
- oolc
- opaca
- opal
- opam-build-revdeps
- opam-bundlebuild
- opam-client
- opam-core
- opam-depext
- opam-devel
- opam-ed
- opam-file-format
- opam-format
- opam-installer
- opam-lib
- opam-lock
- opam-package-upgrade<0.2
- opam-publish
- opam-query
- opam-repository
- opam-solver
- opam-state
- opam-sync-github-prs
- opam2web
- opam_of_packagejson
- opamconfig
- opamfind
- opamfu
- opass
- opasswd<0.9.3
- open
- openai-gym
- opencc
- opencc0
- opencc1
- openflow
- operf-macro
- operf-micro
- opium<0.17.0
- opium_kernel<0.17.0
- oplay
- oplsr
- optcomp
- opti
- optimization1d
- optint<0.0.3
- opus
- oqamldebug
- orakuda<2.0.0
- orandforest
- ordma
- orm>=0.7.0
- orocksdb
- orpie
- orrandomForest
- orsvm_e1071
- orxgboost
- osbx
- osc
- osdp<1.0.0
- oseq<0.2
- osm_xml
- ospec>=0.3.1
- osx-acl
- osx-attr
- osx-cf
- osx-fsevents
- osx-membership
- osx-mount
- osx-plutil
- osx-secure-transport
- osx-xattr
- otetris
- otfm<0.4.0
- oth
- otr>=0.3.2 & <0.3.6
- ott
- otto
- ounit<2.2.0
- ounit-lwt<2.2.0
- ounit2<2.2.3
- ounit2-lwt<2.2.3
- override>=0.2.0
- owebl
- owee<0.3
- owl<0.2.0
- ox
- oxylc
- pa_bench<113.00.00
- pa_comprehension
- pa_monad_custom
- pa_ounit<112.35.00
- pa_ovisitor
- pa_qualified
- pa_solution
- pa_sqlexpr
- pa_test<112.24.00
- pa_where
- packet
- parany
- pareto
- parmap
- parse-argv<0.2.0
- parsexp<v0.10.0
- parsexp_io<v0.10.0
- patdiff!=113.00.00 & !=113.33.03 & <v0.10.0
- patience_diff!=112.24.00 & !=113.33.03 & <v0.10.0
- patoline
- pattern>=0.2.0
- pbkdf<1.1.0
- pbs
- pcap-format
- pcf-format
- pci
- pci-db
- pcre<7.3.0
- pds
- pds-reachability<0.2.2
- pecu
- perf
- pfff>=0.37.1 & <0.39.1
- pgocaml<3.1
- pgsolver
- phantom-algebra
- phashtbl
- phox
- pilat
- pipebang<113.00.00
- piqi
- piqilib
- pixel_pusher
- pkcs11<0.18.0
- pla
- planck>=2.2.0
- planets>=0.1.14
- plist<1.0.0
- plotkicadsch<0.4.0
- plplot
- podge<0.8.0
- polyglot
- pomap<4.0.0
- portaudio>=0.2.1
- portia
- posix-clock
- posix-getopt<2.0.0
- posix-math
- posix-mqueue
- posix-semaphore
- posix-time
- posix-types
- posixat<v0.10.0
- postgresql<4.1.0
- pprint
- ppx_assert>=113.24.00 & !=113.33.03 & <v0.10.0
- ppx_ast<v0.9.2
- ppx_base<v0.10.0
- ppx_bench=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.10.0
- ppx_bigarray>=2.0.0
- ppx_bin_prot>=113.24.00 & !=113.33.00 & !=113.33.03 & <v0.10.0
- ppx_bitstring>=1.0.1
- ppx_blob>=0.2
- ppx_compare=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_compose
- ppx_const
- ppx_conv_func=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_core>=113.33.00+4.03 & !=113.33.03 & <v0.10.0
- ppx_cstruct
- ppx_cstubs
- ppx_csv_conv=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_custom_printf=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_defer
- ppx_derivers
- ppx_deriving>=3.3 & <4.2 | >=4.3
- ppx_deriving_argparse
- ppx_deriving_cmdliner
- ppx_deriving_hardcaml<v0.12.0
- ppx_deriving_morphism
- ppx_deriving_protobuf>=2.4
- ppx_deriving_protocol
- ppx_deriving_rpc<6.1.0
- ppx_deriving_yojson<2.0 | >=3.0 & <3.3
- ppx_distr_guards
- ppx_dotbracket
- ppx_driver=113.24.00 | >=113.33.00+4.03 & <113.33.03 | >=v0.9.0 & <v0.10.0
- ppx_dryunit
- ppx_enumerate=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_expect!=113.33.00 & !=113.33.01 & !=113.33.03 & <v0.10.0
- ppx_fail=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_fast_pipe
- ppx_fields_conv=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_fun
- ppx_gen_rec
- ppx_getenv>=1.2
- ppx_graphql
- ppx_hardcaml
- ppx_hash<v0.10.0
- ppx_here>=113.24.00 & !=113.33.03 & <v0.10.0
- ppx_import<1.5-3-gbd627d5
- ppx_include>=1.1
- ppx_inline_test=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.10.0
- ppx_integer
- ppx_jane!=113.33.03 & <v0.10.0
- ppx_js_style<v0.10.0
- ppx_jsobject_conv>=0.2.1 & <0.5.0
- ppx_let!=113.33.00 & !=113.33.03 & <v0.10.0
- ppx_meta_conv>=2.4.0 & <2.5.0
- ppx_metaquot<v0.10.0
- ppx_monadic>=1.0.4
- ppx_monoid<0.3.2
- ppx_nanocaml
- ppx_netblob<1.1
- ppx_optcomp=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_optional<v0.10.0
- ppx_orakuda>=3.0.0 & <3.0.2
- ppx_pipebang=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_poly_record>=1.1.1
- ppx_protocol_conv<1.0.0
- ppx_regexp>=0.3.0
- ppx_sexp_conv>=113.24.00 & !=113.33.03 & <v0.10.0
- ppx_sexp_message!=113.33.00 & !=113.33.03 & <v0.10.0
- ppx_sexp_value=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_sqlexpr
- ppx_test>=1.4.0 & <1.7.0
- ppx_tools=4.03.0 | =5.0+4.03.0
- ppx_tools_versioned
- ppx_traverse<v0.10.0
- ppx_traverse_builtins<v0.10.0
- ppx_type_conv=113.24.00 | >=113.33.00+4.03 & !=113.33.03 & <v0.9.1
- ppx_typerep_conv=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_tyre>=0.4.3
- ppx_variants_conv=113.24.00 | =113.33.00+4.03 | =v0.9.0
- ppx_xml_conv>=113.24.00 & !=113.33.03 & <v0.10.0
- ppx_yojson_conv_lib
- ppxfind>=1.2
- ppxx=1.3.0
- primes
- printbox
- prob-cache
- process
- procord
- prof_spacetime
- profiler-plugin
- profound
- proj4
- promela
- prometheus
- prometheus-app
- promise
- protobuf
- protocol-9p
- protocol-9p-tool
- protocol-9p-unix
- proverif
- psq
- ptime
- ptmap<2.0.4
- ptset
- publish
- pulseaudio
- pumping
- pure-splitmix
- pvem
- pvem_lwt_unix
- pxp
- py<1.1
- pyml
- qbf
- qcheck
- qcheck-alcotest
- qcheck-core
- qcheck-ounit
- qcow
- qcow-format
- qcow-tool
- qfs<0.12
- qmp
- qrencode
- qtest
- quest
- quickcheck!=1.0.0
- r2pipe
- radare2
- randomconv<0.1.1
- range
- ranger
- rashell
- rawlink
- raygun4ocaml
- rdbg<1.184.1
- rdf<0.7.0 | >=0.11.0
- rdr
- re
- re2<112.35.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.10.0
- react
- reactiveData<0.2.2
- reason>=1.11.0
- reason-parser
- receive-mail
- received
- records
- redirect>=0.1.1
- redis
- redis-lwt
- redis-sync
- reedsolomon
- refl
- regenerate
- regstab
- regular<1.6.0
- remu_ts
- res<5.0.0
- resource-pooling<0.5
- result
- revops
- rfc1951<0.9.1
- rfc6287<1.0.4
- rfc7748
- rfsm<1.6-alpha-3
- rhythm
- riak
- riak-pb
- riakc
- riakc_ppx!=3.1.2
- river
- rlp
- rml>=1.09.00
- rmlbuild
- root1d
- rope
- rosetta
- rpc<1.3.0 | >=1.9.51 & <5.9.0
- rpc_parallel>=113.24.00 & !=113.33.03 & <v0.10.0
- rpclib-async!=6.0.0
- rpclib-html
- rpclib-js
- rpclib-lwt!=6.0.0
- rresult
- rtime
- rtop
- rubytt
- safa
- safepass
- salsa20<1.1.0
- salsa20-core
- samplerate
- sanlock
- satML-plugin
- sattools
- sawja<1.5.8
- schoca
- schroedinger
- scid
- scrypt
- scrypt-kdf<1.1.0
- secp256k1
- sedlex>=1.99.3
- sek
- selective
- semver
- sendmail>=0.2.0
- sendmail-lwt>=0.2.0
- sendmsg
- seq<base
- sequence
- session
- session-cohttp
- session-cohttp-async
- session-cohttp-lwt
- session-postgresql
- session-postgresql-async
- session-postgresql-lwt
- session-redis-lwt
- session-webmachine
- sessions
- setcore
- setr
- sexp_pretty<v0.10.0
- sexplib=113.33.00+4.03 | >=v0.9.0 & <v0.9.3
- sgf
- sha<1.13
- shared-block-ring
- shared-memory-ring
- shared-memory-ring-lwt
- shared-secret
- shcaml>=0.2.0
- shexp<v0.10.0
- shine
- should
- sibylfs
- sibylfs-lem
- sid
- sill
- simple-bmc
- simple-diff
- simple_pam
- skkserv-lite
- slack-backup
- slacko<0.14.1
- slap>=3.0.1
- smart-print
- smbc
- smtlib-utils
- smtp
- snabela
- snappy
- socialpeek
- sociaml-facebook-api<0.4.1
- sociaml-oauth-client
- sociaml-tumblr-api
- sociaml-vcard
- socket-daemon
- socketcan
- sodium
- solo5-kernel-muen
- solo5-kernel-ukvm
- solo5-kernel-virtio
- solvuu-build
- sonet
- sosa
- soundtouch
- space-search
- spacetime_lib
- sparrow<0.2
- spatial_index
- spawn!=v0.10.0 & !=v0.11.0
- spdiff
- speex
- spelll<0.3
- spf
- spirv
- spoc>=20170724
- spotify-cli
- spotify-web-api<0.2.1
- spotinstall
- spotlib>=2.4.1 & <4.0.0
- spreadsheet
- sqlexpr
- sqlgg
- sqlite3<4.2.0
- sqlite3_utils
- sqlite3EZ
- srs
- srt<0.1.1
- ssh-agent-unix
- ssl
- sslconf
- starterkit
- stationary
- statmemprof-emacs
- statsd-client
- statverif
- stb_image
- stb_image_write
- stb_truetype
- stdcompat
- stdint<0.6.0
- stdio<v0.10.0
- stdlib-shims
- stemmer
- stemming
- stog=0.11.1 | >=0.13.0
- stog-rdf
- stog-writing
- stone
- stringext
- sturgeon
- subscriptions-transport-ws
- subtype-refinement
- sugar
- sundialsml
- swdogen
- symkat
- syndic!=1.6.0
- sys-socket
- sys-socket-unix
- syslog
- syslog-message
- systemverilog<0.0.2
- tablecloth-native
- taglib
- taglog
- tallgeese
- tar
- tar-format
- tar-mirage<0.9.0
- tar-unix
- tcpip<4.0.0
- TCSLib
- tcx
- tdk
- teash
- telegraml
- tensorflow<0.0.11
- termbox
- terminal_size
- testrunner
- testsimple
- text>=0.6
- text-tags<1.6.0
- textutils!=112.17.00 & !=113.33.03 & <v0.10.0
- textwrap
- tezos-version
- tftp
- tgls
- themoviedb
- theora
- thrift
- tidy<5-0.2
- timed
- tiny_httpd
- tiny_httpd_camlzip
- tiny_json<1.1.5
- tiny_json_conv<1.4.0
- tip-parser<0.5
- tjr_simple_earley
- tls<0.10.2
- tlstunnel
- toml
- toml-cconv
- tophide>=1.0.4
- topkg
- topkg-care
- topkg-jbuilder
- toplevel_expect_test<113.33.02 | >=v0.9.1 & <v0.10.0
- topological_sort<v0.10.0
- topology
- touist
- tplib
- tptp
- traildb
- trakeva
- transmission-rpc
- traverse
- travis-opam
- travis-senv
- trax
- tree_layout
- treeprint>=2.1.1
- trie
- tsdl
- tsdl-image
- tsdl-mixer
- tsdl-ttf
- tsort
- tuareg
- tuntap<1.6.1
- type-beat
- type_conv>=113.00.02
- typebeat
- typehashlib
- typerep<112.35.00 | =113.24.00 | =v0.9.0
- typerep_extended!=113.00.00 & !=113.33.03
- typerex-attic>=1.0.2
- typerex-binutils
- typerex-build
- typerex-clibs
- typerex-lldb>=1.1
- typerex-system
- typpx=1.1.3
- tyre
- tyxml
- tyxml-jsx
- tyxml-ppx
- tyxml-syntax
- ubpf
- ucaml
- uchar
- ucorelib
- udunits
- uint<2.0.1
- ulex
- ulex-camlp5
- unionFind
- unison>=2.48.15v4
- unix-dirent
- unix-errno
- unix-fcntl
- unix-sys-resource
- unix-sys-stat
- unix-time
- unix-type-representations
- unix-unistd
- unmagic<1.0.3
- uri<2.1.0
- uritemplate>=0.2.0
- usb
- usbmux
- user-setup
- utop>=1.19.1
- utp
- uucd
- uucp
- uuidm
- uunf
- uuseg
- uutf
- uuuu
- uwt
- valentine
- variantslib!=109.15.03 & !=113.33.03 & <v0.10.0
- varint
- vcardgen<1.2
- vchan<4.0.0
- vchan-unix<4.0.0
- vchan-xen<4.0.0
- vecosek
- vecosek-engine
- vecosek-scene
- vector3
- vg
- vhd-format
- vhd-format-lwt
- vhd-tool
- vhdlib
- vimebac
- virtual_dom<v0.10.0
- visitors
- vlq
- vmnet<1.3.2
- voaacenc
- vorbis
- vpnkit
- vpt
- vrt
- wall
- wamp
- wamp-msgpck
- wamp-yojson
- wasm<1.1
- wcs
- wcs-api
- wcs-lib
- wdialog
- webbrowser
- webdav>=1.1.5
- weberizer
- webidl
- webmachine
- websocket<2.12
- websocket-async<2.12
- websocket-lwt<2.12
- websocketaf
- webtest
- webtest-js
- wget
- why>=2.32
- why3<1.3.0
- why3-base
- why3-coq<1.3.0
- why3-ide<1.3.0
- win-error
- win-eventlog
- wiringpi
- wseg
- wtf8
- wxOCaml
- wyrd>=1.4.6
- x509<0.6.3
- xapi-backtrace
- xapi-forkexecd
- xapi-idl
- xapi-inventory
- xapi-libs-transitional
- xapi-rrd
- xapi-rrd-transport
- xapi-rrdd
- xapi-stdext
- xapi-tapctl
- xapi-xenops
- xe
- xe-unikernel-upload
- xen-api-client
- xen-block-driver>=0.2.5
- xen-disk
- xen-evtchn
- xen-evtchn-unix
- xen-gnt
- xen-gnt-unix
- xenctrl>=0.9.29
- xenstore<2.0.0
- xenstore_transport<1.0.0
- xentropyd
- xml-light
- xmldiff
- xmlm
- xmlplaylist
- xstr
- xstrp4
- xtmpl=0.10 | >=0.14.0
- xxhash
- yajl
- yajl-extra
- yaml!=0.2.1
- yara
- yices2
- yojson
- yurt
- yuscii
- z3
- zarith>=1.3
- zarith-freestanding
- zarith-ppx
- zarith-xen
- zbar
- zed
- zeit
- zenon
- zephyrus
- zero<109.19.00
- zipperposition
- zipperposition-tools
- zlib
- zlist
- zmq<4.0-1 | >=4.0-7 & <5.1.1 | >=5.1.3
- zmq-async<5.1.0
- zmq-lwt<5.1.1 | >=5.1.3
- zstd
- zxcvbn<2.3+2
