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 |
|---|---|
| License | LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://ocaml.org |
| Issue Tracker | https://github.com/ocaml/opam-repository/issues |
| Maintainer | David Allsopp <david@tarides.com> |
| Dependencies |
|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocaml/ocaml.4.14.0/opam |
Required by
- 0install<2.8 | >=2.14.1
- 0install-gtk
- 0install-solver
- aacplus
- aarch64-esperanto
- abella<2.0.3 | >=2.0.8
- absolute
- abstract_algebra<v0.17.0
- abt
- accessor<v0.17.0
- accessor_async<v0.17.0
- accessor_base<v0.17.0
- accessor_core!=v0.14.1 & <v0.17.0
- acgtk
- aches
- aches-lwt
- acme
- acp4
- acpc<2.0.0
- activitypub
- adelfa
- adobe_font_metrics
- advi
- aez
- afl
- afl-persistent
- ago
- agrid
- ahrocksdb
- aifad
- aio
- alba
- albatross
- alcotest>=0.8.0
- alcotest-async
- alcotest-lwt
- alcotest-mirage
- alg_structs
- alg_structs_qcheck
- aliases
- alonzo
- alsa>=0.2.3
- alt-ergo
- alt-ergo-free<2.3.3
- alt-ergo-lib
- alt-ergo-parsers
- altgr-ergo
- ambient-context
- ambient-context-lwt
- amf>=0.1.2
- amqp-client>=1.0.3 & !=1.1.1
- amqp-client-async>=2.0.3
- amqp-client-lwt>=2.0.3
- ancient>=0.9.1
- anders
- angstrom>=0.6.0
- angstrom-async
- angstrom-lwt-unix>=0.8.0
- angstrom-unix
- ansi
- ansi-parse
- ansicolor
- ANSITerminal>=0.7
- antic<0.4.0
- anycache
- anycache-async
- anycache-lwt
- ao<0.2.2
- apero-core
- apero-net
- apero-time
- apron
- apronext
- arakoon>=1.8.6
- arb<0.4.0
- archetype
- archi
- archi-async
- archi-lwt
- archimedes>=0.4.18
- archsat
- argon2>=1.0.0
- argsh
- arp
- arp-mirage
- arrakis
- art
- asak>=0.4
- ascii85
- asetmap
- ask
- ask-integrator
- asl
- asli
- asn1-combinators>=0.2.4
- assertions
- assimp
- ast_generic
- astring>=0.8.5
- async<109.19.00 | >=113.24.00 & !=113.33.03 & <v0.17.0
- async-mvar
- async-uri>=0.2
- async-zmq
- async_core<109.19.00
- async_durable<v0.17.0
- async_extended>=113.24.00 & !=113.33.03
- async_extra<109.19.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.0 & !=v0.11.0 & <v0.17.0
- async_find!=111.28.00 & !=113.33.03 & <v0.17.0
- async_graphics<0.7.0
- async_inotify!=113.00.00 & !=113.33.03 & <v0.17.0
- async_interactive<v0.17.0
- async_js>=v0.9.1 & <v0.17.0
- async_kernel>=113.24.00 & !=113.33.03 & !=v0.11.0 & <v0.17.0
- async_parallel>=113.24.00 & <113.33.03 | >=v0.9.1
- async_rpc_kernel>=113.24.00 & !=113.33.03 & <v0.17.0
- async_rpc_websocket<v0.17.0
- async_sendfile<v0.17.0
- async_shell!=109.28.03 & <113.33.03 | >=v0.9.1 & <v0.17.0
- async_smtp<112.35.00 | >=113.24.00 & !=113.33.03 & <v0.17.0
- async_ssl<112.35.00 | =113.24.00 | >=113.33.06 & <v0.17.0
- async_udp<v0.17.0
- async_unix<109.19.00 | =113.24.00 | =113.33.00+4.03 | >=v0.13.1 & <v0.17.0
- async_websocket<v0.17.0
- atable
- atd
- atd2cconv
- atdd
- atdgen>=1.9.1
- atdgen-codec-runtime
- atdgen-runtime
- atdj<20151001.01
- atdpy
- atds
- atdts
- atomic>=base
- autofonce
- autofonce_config
- autofonce_core
- autofonce_lib
- autofonce_m4
- autofonce_misc
- autofonce_patch
- autofonce_share
- avro
- avro-compiler
- awa
- awa-lwt
- awa-mirage
- aws
- aws-async
- aws-autoscaling
- aws-cloudformation
- aws-cloudtrail
- aws-cloudwatch
- aws-config
- aws-ec2
- aws-elasticache
- aws-elasticloadbalancing
- aws-lwt
- aws-rds
- aws-route53
- aws-s3
- aws-s3-async
- aws-s3-lwt
- aws-sdb
- aws-sqs
- aws-ssm
- aws-sts
- azblob
- azblob-async
- azure-cosmos-db
- b0!=0.0.1
- babel<v0.17.0
- baby
- backoff
- bag
- baguette_sharp
- balancer
- bam
- bam-ppx
- bamboo>=0.0.02
- bap=0.9.5 | >=1.2.0 & <1.4.0 | >=2.2.0
- bap-abi<1.4.0 | >=2.2.0
- bap-analyze
- bap-api<1.4.0 | >=2.2.0
- bap-arm<1.4.0 | >=2.2.0
- bap-beagle<1.4.0 | >=2.2.0
- bap-beagle-strings
- bap-bil>=2.2.0
- bap-build>=2.2.0
- bap-bundle>=2.2.0
- bap-byteweight<1.4.0 | >=2.2.0
- bap-byteweight-frontend<1.4.0 | >=2.2.0
- bap-c<1.4.0 | >=2.2.0
- bap-cache<1.4.0 | >=2.2.0
- bap-callgraph-collator
- bap-callsites<1.4.0 | >=2.2.0
- bap-constant-tracker>=2.2.0
- bap-core
- bap-core-theory>=2.2.0
- bap-cxxfilt<1.4.0 | >=2.2.0
- bap-dead-code-elimination<1.4.0
- bap-demangle<1.4.0 | >=2.2.0
- bap-dependencies
- bap-disassemble>=2.2.0
- bap-dump-symbols<1.4.0 | >=2.2.0
- bap-dwarf<1.4.0 | >=2.2.0
- bap-elementary>=2.2.0
- bap-elf<1.5.0 | >=2.2.0
- bap-emacs-dot
- bap-emacs-goodies
- bap-emacs-mode
- bap-flatten
- bap-frames<2.1.1
- bap-frontc<1.4.0 | >=2.2.0
- bap-frontend<1.4.0 | >=2.2.0
- bap-fsi-benchmark<1.4.0 | >=2.2.0
- bap-future<1.4.0 | >=2.2.0
- bap-ghidra
- bap-glibc-runtime>=2.2.0
- bap-ida<1.4.0 | >=2.2.0
- bap-ida-plugin<1.4.0 | >=2.2.0
- bap-ida-python<1.4.0 | >=2.3.0
- bap-knowledge>=2.2.0
- bap-llvm<1.4.0 | >=2.2.0
- bap-main>=2.2.0
- bap-mc<1.4.0 | >=2.2.0
- bap-microx<1.4.0 | >=2.2.0
- bap-mips>=2.2.0
- bap-objdump<1.4.0 | >=2.2.0
- bap-optimization>=2.2.0
- bap-patterns
- bap-phoenix<1.4.0 | >=2.2.0
- bap-piqi<1.4.0 | >=2.2.0
- bap-plugins>=2.2.0
- bap-powerpc>=2.2.0
- bap-primus<1.4.0 | >=2.2.0
- bap-primus-dictionary>=2.2.0
- bap-primus-exploring-scheduler
- bap-primus-greedy-scheduler
- bap-primus-limit
- bap-primus-lisp<1.4.0 | >=2.2.0
- bap-primus-loader
- bap-primus-mark-visited
- bap-primus-powerpc>=2.2.0
- bap-primus-print
- bap-primus-promiscuous
- bap-primus-propagate-taint
- bap-primus-random>=2.2.0
- bap-primus-region>=2.2.0
- bap-primus-round-robin-scheduler
- bap-primus-support<1.4.0
- bap-primus-symbolic-executor>=2.2.0
- bap-primus-systems>=2.2.0
- bap-primus-taint
- bap-primus-test>=2.2.0
- bap-primus-track-visited
- bap-primus-wandering-scheduler
- bap-primus-x86<1.4.0 | >=2.2.0
- bap-print<1.4.0 | >=2.2.0
- bap-radare2
- bap-raw>=2.2.0
- bap-recipe>=2.2.0
- bap-recipe-command>=2.2.0
- bap-relation
- bap-relocatable<1.4.0 | >=2.2.0
- bap-report>=2.2.0
- bap-riscv
- bap-run<1.4.0 | >=2.2.0
- bap-saluki
- bap-server<0.3.0
- bap-signatures
- bap-specification
- bap-ssa<1.4.0 | >=2.2.0
- bap-std<1.4.0 | >=2.2.0
- bap-strings<1.4.0 | >=2.2.0
- bap-stub-resolver>=2.2.0
- bap-symbol-reader<1.4.0 | >=2.2.0
- bap-systemz
- bap-taint<1.4.0 | >=2.2.0
- bap-taint-propagator<1.4.0 | >=2.2.0
- bap-term-mapper<1.4.0 | >=2.2.0
- bap-thumb
- bap-toplevel
- bap-trace<1.4.0 | >=2.2.0
- bap-traces<1.4.0 | >=2.2.0
- bap-trivial-condition-form>=2.2.0
- bap-veri<0.2.2
- bap-warn-unused<1.4.0 | >=2.2.0
- bap-x86<1.4.0 | >=2.2.0
- bare>=2.2.0
- bare_encoding
- bark
- base>=v0.14.2 & !=v0.15.1~5.0preview & <v0.17.0
- base-bytes>=base
- base-implicits
- base-metaocaml-ocamlfind
- base-native-int63
- base32
- base58
- base64>=1.1.0 & !=2.3.0
- base_bigstring<v0.17.0
- base_quickcheck<v0.17.0
- base_trie<v0.17.0
- bastet>=2.0.0
- bastet_async
- bastet_lwt
- batch_jaro_winkler
- batsat
- batsh
- batteries=2.5.0 | >=3.5.1
- bdd
- bddrand
- bear
- bech32
- bechamel
- bechamel-js
- bechamel-notty
- bechamel-perf
- beluga>=0.8.1
- bench
- benchmark>=1.4
- benchpress
- benchpress-server
- bencode!=0.2
- bentov
- bes
- bestline
- BetterErrors
- bheap
- bibtex2html>=1.99
- bidirectional_map<v0.17.0
- bigarray-compat
- bigarray-overlap
- bigdecimal<v0.17.0
- bignum<112.35.00 | >=113.24.00 & !=113.33.03 & <v0.17.0
- bigstring>=0.2
- bigstring-unix>=0.3
- bigstringaf
- bimage
- bimage-display
- bimage-gtk
- bimage-io
- bimage-lwt
- bimage-sdl
- bimage-unix
- bimap
- bin_prot<109.15.00 | >=v0.9.2 & <v0.17.0
- bin_tree
- binaryen<0.16.0 | >=0.17.1
- binaryen_dsl
- binbin
- bindlib
- biniou>=1.1.0
- binning
- binsec>=0.4.1
- bio_io
- biocaml!=0.5.0 & !=0.8.0 & !=0.10.1
- biotk
- bip32
- bisect>=1.3.1
- bisect-summary
- bisect_ppx>=1.3.1 & <2.0.0 | >=2.6.0
- bisect_ppx-ocamlbuild
- bistro
- bitcoin<3.0
- bitcoinml
- bitgenerators
- bitmasks>=1.4.0
- bitpack_serializer
- bitstring>=3.0.0
- bitv>=1.3
- bitvec>=2.2.0
- bitvec-binprot>=2.2.0
- bitvec-order>=2.2.0
- bitvec-sexp>=2.2.0
- bitwuzla<1.0.0
- bitwuzla-c
- bitwuzla-cxx
- bjack<0.1.6
- blahcaml
- blake2>=0.2
- blake3
- bloomf
- bls12-381
- bls12-381-gen
- bls12-381-hash
- bls12-381-js
- bls12-381-js-gen
- bls12-381-legacy
- bls12-381-signature
- bls12-381-unix
- blurhash
- bn128
- bnfgen>=3.0.0
- bogue
- bogue-tutorials<0.2.0
- bolt=1.3
- boltzgen
- bonsai<v0.17.0
- bookaml
- bos
- boulangerie
- box
- bpf
- bracetax
- broken
- brotli<1.2.0 | >=2.0.0
- brozip
- brr
- bsdowl
- bson2
- bst
- bt
- buffer-pool
- build_path_prefix_map
- builder
- builder-web
- bulletml
- bun
- bwd
- bwrap
- bytearray>=1.0.3
- bytebuffer
- bytepdf
- c3
- ca-certs
- ca-certs-nss
- cactus
- cairn
- cairo2>=0.5
- cairo2-gtk
- cairo2-pango
- caisar
- caisar-ir
- caisar-nnet
- caisar-onnx
- caisar-ovo
- caisar-xgboost
- calcium<0.4.0
- calculon
- calculon-web
- caldav
- calendar!=2.03.1
- calendars
- calipso
- calli
- callipyge
- camelot<0.5
- camels
- camelsnakekebab
- caml-mode
- camlbz2
- camldm
- camlgpc
- camlhighlight
- camlidl>=1.07
- camlimages>=4.2.5
- camlix
- camlkit-base
- camllib>=1.3.3
- camlmix
- camlon>=2.0.0
- camlp-streams>=5.0.1
- camlp4=4.02.0-1modular-implicits | =4.14+1
- camlp5>=8.00.03
- camlp5-buildscripts
- camlpdf>=2.3
- camlprime
- camlrack
- camltc>=0.9.6
- camlzip>=1.06
- camomile>=0.8.6 & !=1.0.0
- camyll
- canary
- caper
- capnp
- capnp-rpc>=1.2.2
- capnp-rpc-lwt
- capnp-rpc-mirage
- capnp-rpc-net
- capnp-rpc-unix!=0.3
- captureio
- caqti
- caqti-async
- caqti-driver-mariadb
- caqti-driver-pgx
- caqti-driver-postgresql
- caqti-driver-sqlite3
- caqti-dynload
- caqti-lwt
- caqti-mirage
- caqti-tls
- caqti-type-calendar
- carray
- carton<0.2.0 | >=0.4.3
- carton-git
- carton-lwt
- catala
- catapult
- catapult-client
- catapult-file
- catapult-sqlite
- catt
- cb-check
- cbor>=0.2
- cborl
- cca
- ccbg
- cconv>=0.2
- cconv-ppx
- ccss>=1.6
- cdrom
- ceph
- certify>=0.2
- cfg>=2.1.0
- cfgen
- cfml
- cfstream>=1.3.0
- cgi>=0.9
- cgroups
- chacha
- chalk
- chamelon
- chamelon-unix
- chamo>=3.0 & <4.1.0
- channel
- charInfo_width
- charrua
- charrua-client
- charrua-client-lwt
- charrua-client-mirage
- charrua-core
- charrua-server
- charrua-unix<0.5 | >=0.10
- charset
- chartjs
- chartjs-annotation
- chartjs-colorschemes
- chartjs-datalabels
- chartjs-streaming
- chase
- checked_oint
- checkseum>=0.0.3
- choice
- chrome-trace
- cinaps>=v0.14.0
- clangml!=3.8.0 & !=3.9.1.2 & !=4.0.0beta1 & <4.1.0 | >=4.4.0
- clangml-transforms=0.24 | >=0.26
- clap
- class_group_vdf
- climate
- cll
- cloudi>=2.0.2
- clz
- cmark
- cmarker
- cmarkit
- cmdliner=0.9.4 | >=1.0.0
- cmdliner-stdlib
- cmdtui
- cmdtui-lambda-term
- cmitomli
- coap
- coap-core
- coap-server-lwt
- cobs
- coccinelle!=1.0.0-rc23 & !=1.0.7
- coclobas
- codept>=0.11.1
- cohttp!=0.99.0
- cohttp-async
- cohttp-curl
- cohttp-curl-lwt
- cohttp-lwt
- cohttp-lwt-jsoo
- cohttp-lwt-unix
- cohttp-lwt-unix-nossl
- cohttp-lwt-unix-ssl
- cohttp-mirage
- cohttp-server-lwt-unix
- cohttp-top
- cohttp_async_websocket<v0.17.0
- cohttp_static_handler<v0.17.0
- coin
- colibri2
- colibrics
- colibrilib
- colombe
- color
- color-brewery
- colors
- combic
- combinaml
- combinat
- combine<0.42
- comby
- comby-kernel
- comby-semantic
- command_rpc<v0.17.0
- commonjs_of_ocaml
- commons
- comparelib<113.00.00
- conan
- conan-cli
- conan-lwt
- conan-unix
- conduit
- conduit-async
- conduit-async-ssl
- conduit-async-tls
- conduit-lwt
- conduit-lwt-ssl
- conduit-lwt-tls
- conduit-lwt-unix
- conduit-mirage
- conduit-tls
- conex
- conex-mirage-crypto
- conex-nocrypto
- conf-bap-llvm
- conf-binutils
- conf-ida
- conf-libev
- conf-radare2
- confero
- configwith-test & >=0.0.3
- config-file
- configuration
- configurator
- conformist
- conjurywith-test & >=2.1
- containers>=2.6 & <2.7 | >=3.0
- containers-data
- containers-thread
- content_security_policy<v0.17.0
- cookie
- cookie-js
- cookies
- coq>=8.13.0 & <8.17.0
- coq-core
- coq-lsp
- coq-of-ocaml>=2.5.3+4.14
- coq-serapi<8.7.2+0.4.13 | >=8.8.0+0.5.2
- coq-shell
- coq-waterproof>=2.1.1+8.17
- coqide!=8.7.0 & <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>=v0.14.1 & <v0.17.0
- core-and-more
- core-lwt<0.2.0
- core_bench!=112.35.00 & !=113.33.00 & !=113.33.03 & <v0.17.0
- core_compat
- core_extended>=108.00.02 & <109.19.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.1 & <v0.17.0
- core_kernel>=v0.14.1 & <v0.17.0
- core_profiler>=113.24.00 & !=113.33.03 & <v0.17.0
- core_unix<v0.17.0
- corecount
- corosync
- cosovo
- cow>=2.0.1
- cowabloga<0.3.0
- cpdf<2.1.1 | >=2.3
- cpm
- cppo>=1.6.1
- cppo_ocamlbuild
- cpu
- cpuid
- craml
- crc>=1.0.0
- crdt-ml
- crlibm
- crontab
- crowbar
- crunch>=1.4.0
- cry>=0.6.0
- crypt>=1.2
- cryptodbm>=0.84.2
- cryptohash
- cryptokit>=1.11
- cryptoverif
- csexp
- css
- cstruct>=1.6.0 & <1.8.0 | >=3.0.0
- cstruct-async
- cstruct-lwt
- cstruct-sexp
- cstruct-unix>=4.0.0
- csv>=1.4
- csv-lwt
- csvfields>=v0.9.1 & <v0.17.0
- csvtool
- ctoxml
- ctypes>=0.8.0
- ctypes-build
- ctypes-foreign>=0.21.1
- cubicle>=1.1.2
- cudajit
- cudf
- cue_sheet_maker
- cuid
- cumulus
- curly
- current
- current-albatross-deployer
- current-web-pipelines
- current_ansi
- current_docker
- current_examples
- current_git
- current_github
- current_gitlab
- current_incr
- current_ocluster<0.3.0
- current_rpc
- current_slack
- current_ssh
- current_web
- curses
- curve-sampling
- custom_printf>=111.21.00 & <113.00.00
- cvc5
- cviode
- cwe_checker
- d3
- daft<0.0.4
- DAGaml
- dap
- data-encoding
- dataframe
- datakit<0.10.0 | >=0.11.0
- 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<0.5 | >=0.6
- dates_calc
- daypack-lib
- dbf>=0.2.0
- dblp
- dblp-api
- dbm
- deadlock
- debian-formats
- decimal
- decoders
- decoders-bencode
- decoders-cbor
- decoders-ezjsonm
- decoders-ezxmlm
- decoders-jsonaf
- decoders-jsonm
- decoders-msgpck
- decoders-sexplib
- decoders-yojson
- decompress>=0.8
- dedent<v0.17.0
- dedukti
- delimcc>=2023.06.17
- delimited_parsing<v0.17.0
- depext
- depgraph
- depyt>=0.2.0
- deriving>=0.7.1
- devkit>=0.5
- diet
- diff
- diffable
- digestif!=0.6
- directories
- dirsift
- dirsp-exchange
- dirsp-exchange-kbb2017
- dirsp-proscript
- dirsp-proscript-mirage
- dirsp-ps2ocaml
- diskuvbox
- disml
- dispatch
- dispatch-js
- distributed
- distributed-lwt
- distributed-uwt
- diy
- dkim
- dkim-bin
- dkim-mirage
- dkml-c-probe
- dkml-component-offline-ocamlrun
- dkml-component-staging-opam32
- dkml-component-staging-opam64
- dkml-dune-dsl
- dkml-dune-dsl-show
- dkml-install
- dkml-install-installer>=0.5.3
- dkml-install-runner!=0.5.2
- dkml-package-console>=0.5.3
- DkSDKFFIOCaml_Std
- dlist>=0.0.3
- dlm
- dmap
- dns!=1.0.0
- dns-async
- dns-certify
- dns-cli
- dns-client
- dns-client-lwt
- dns-client-mirage
- dns-forward
- dns-forward-lwt-unix
- dns-lwt
- dns-lwt-unix
- dns-mirage
- dns-resolver
- dns-server
- dns-stub
- dns-tsig
- dnscurve
- dnssd
- dnssec
- doc-ock-html
- doc-ock-xml
- docfd<2.1.0
- docker-api
- docker_hub
- dockerfile<1.3.0 | >=1.7.2
- dockerfile-cmd<8.1.0
- dockerfile-opam<8.1.0
- docout
- docteur
- docteur-solo5
- docteur-unix
- doculib
- dog
- doi2bib
- dokeysto
- dokeysto_camltc
- dokeysto_lz4
- dolmen
- dolmen_bin
- dolmen_loop
- dolmen_lsp
- dolmen_model
- dolmen_type
- dolog>=1.1
- domain-local-await>=0.2.1
- domain-local-timeout
- domain-name
- domain_shims
- domainslib<0.3.2
- dose
- dose3
- dose3-extra
- dot-merlin-reader>=4.1 & !=4.4~5.0.preview & !=4.14-502~preview & <5.0-502
- dotenv
- down>=0.1.0
- DrawGrammar>=0.2.1
- dream
- dream-accept
- dream-cli
- dream-encoding
- dream-htmx
- dream-httpaf
- dream-livereload
- dream-pure
- drom
- drom_lib
- drom_toml
- dropbox<0.2
- dryunit>=0.4.0
- dscheck>=0.4.0
- dsfo
- dssi<0.1.3 | >=0.1.5
- dtoa
- dtools
- dual
- duff
- dum!=1.0.2
- dump_ocamlformat
- dune>=2.8.5
- dune-build-info<2.0.0 | >=3.0.2
- dune-cargo-build>=0.2.0
- dune-compiledb
- dune-configurator>=2.7.0
- dune-deps
- dune-expand
- dune-private-libs
- dune-release
- dune_watch
- duppy>=0.7.0 & <0.9.0 | >=0.9.3
- duration
- dyn
- dynload-sys
- dyntype>=0.8.3
- earley>=1.0.1 & !=2.0.0
- earlybird>=1.2.0
- easy-format
- easy_logging
- easy_logging_yojson
- easy_xlsx
- ecaml<v0.17.0
- edn>=0.1.6-1-gff9db95
- efl>=1.12.0
- ego
- eigen
- eio<0.4
- either
- elasticsearch-cli
- electrod
- electrumAnalyzer
- elf2json
- elina
- eliom<6.5.0 | >=6.8.0 & <6.10.1 | >=6.12.1
- elpi!=1.14.3
- email_message<112.35.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.1 & !=v0.11.0 & <v0.17.0
- embedded_ocaml_templates
- emile
- emoji
- encoding>=0.0.2
- encore!=0.3
- enumerate<111.08.00
- enumerators
- env_config<v0.17.0
- epictetus
- eqaf
- eqaf-cstruct
- equinoxe
- eris
- eris-lwt
- erlang
- erm_xmpp
- errpy
- erssical
- esgg
- esperanto
- esperanto-cosmopolitan>=0.0.5
- ethernet
- euler
- exenum>=0.7
- exit
- exn-source
- expect>=0.0.6
- expect_test_helpers
- expect_test_helpers_async<v0.17.0
- expect_test_helpers_core<v0.17.0
- expect_test_helpers_kernel
- extlib>=1.7.7-1
- extprot>=1.1.2 & <1.3.0 | >=1.6.0
- extunix>=0.1.5
- ez-conf-lib
- ez_api
- ez_cmdliner
- ez_config
- ez_file
- ez_hash
- ez_opam_file
- ez_pgocaml
- ez_search
- ez_subst
- ezcurl
- ezcurl-lwt
- ezdl
- ezgzip
- ezirmin
- ezjs_ace
- ezjs_blockies
- ezjs_cleave
- ezjs_crypto
- ezjs_cytoscape
- ezjs_d3pie
- ezjs_extension
- ezjs_fetch<0.3
- ezjs_idb
- ezjs_jquery
- ezjs_min
- ezjs_odometer
- ezjs_push
- ezjs_qrcode
- ezjs_recaptcha
- ezjs_timeline
- ezjsonm>=0.5.0
- ezjsonm-encoding
- ezjsonm-lwt>=1.0.0
- ezresto
- ezresto-directory
- ezsqlite
- ezxenstore>=0.4.1
- ezxmlm>=1.0.2
- faad<0.5.0
- facebook-sdk
- facile
- facteur
- fadbadml
- faillib
- faraday
- faraday-async
- faraday-lwt
- faraday-lwt-unix
- farfadet
- farith
- farmhash
- fasmifra
- fat-filesystem!=0.12.0 & !=0.12.2
- fd-send-recv>=1.0.5 & <2.0.2
- fdkaac<0.3.2
- feat
- feat-core
- feat-num
- feather
- feather_async>=0.2.0
- febusy
- ff>=0.5.0
- ff-bench
- ff-pbt
- ff-sig
- ffmpeg
- ffmpeg-av
- ffmpeg-avcodec
- ffmpeg-avdevice
- ffmpeg-avfilter
- ffmpeg-avutil
- ffmpeg-swresample
- ffmpeg-swscale
- fftw3>=0.8.4
- fiat-p256<0.2.1
- fiber
- fiber-lwt
- fieldslib<109.19.00 | =113.24.00 | >=v0.9.0 & <v0.17.0
- file_path<v0.17.0
- fileutils>=0.5.3
- finch
- findlib_top
- fit
- fix
- fkie-cad-cwe-checker<0.2
- flac!=0.1.2
- flex-array
- flint
- flock
- flow>=0.3
- flow_parser=0.80.0 | =0.229.1
- flowtype>=0.62.0 & <0.87.0
- fluent-logger<1.1.0
- fm-simplex-plugin
- fmlib
- fmlib_browser
- fmlib_js
- fmlib_parse
- fmlib_pretty
- fmlib_std
- fmt>=0.8.0
- fontforge-of-ocaml
- forester<3.0.0
- format
- fpath>=0.7.3
- FPauth
- FPauth-core
- FPauth-responses
- FPauth-strategies
- frama-c>=11.0 & <16.0 | >=19.1 & <23.0 | >=24.0
- frama-c-e-acsl
- frama-c-lannotate
- frama-c-luncov
- frama-c-metacsl
- fred
- freetds
- frei0r<0.1.2
- frenetic
- fromager
- FrontC>=3.4.1
- fsml
- fstar>=2022.01.15
- fstreams
- fswatch
- fswatch_async
- fswatch_lwt
- fun-sql
- functoria>=2.2.1
- functoria-runtime>=2.2.2
- functory>=0.6
- funfields
- future
- fuzzy_compare
- fuzzy_match<v0.17.0
- fzf<v0.17.0
- gadelac
- gamepad
- gammu>=0.9.3
- gapi-ocaml>=0.3.5
- gavl
- gbddml
- gccjit
- gd<1.1
- gdal<0.3.0 | >=0.9.0
- gdbprofiler>=0.2
- gedcom
- gemini<0.3.0
- gen=0.2.2 | =0.5 | >=0.5.3
- gen-bs<0.1.0
- gen_js_api>=1.0.6
- gen_server
- genet<0.6
- genlet
- genspio
- genspir
- geoip>=0.0.3
- geojson
- geoml
- get_line<5.0.0
- getopt
- getopts
- gettext=0.3.8 | >=0.4.2
- gettext-camomile
- gettext-stub
- gg>=0.9.2
- git<1.4.3 | >=1.8.0 & !=1.10.0
- git-cohttp
- git-cohttp-mirage
- git-cohttp-unix
- git-http
- git-kv
- git-mirage
- git-paf
- git-split
- git-unix
- git_split
- github<1.0.0 | =3.0.0 | >=3.1.0
- github-data
- github-hooks
- github-hooks-unix
- github-jsoo
- github-unix>=3.1.0
- gitlab
- gitlab-jsoo
- gitlab-unix
- gitlab_pipeline_notifier
- gles3<20160505.alpha
- glfw-ocaml
- glical>=0.0.3
- glicko2
- glMLite>=0.03.53
- glpk!=0.1.7
- gluten
- gluten-async
- gluten-eio
- gluten-lwt
- gluten-lwt-unix
- gluten-mirage
- gmap
- gmp
- gmp-freestanding
- gmp-xen
- gnuplot
- gobba
- gobject-introspection
- goblint>=1.1.1
- goblint-cil
- google-drive-ocamlfuse>=0.7.25
- gopcaml-mode>=0.0.6
- gopcaml-mode-merlin>=0.0.6
- gospel
- gotd
- gperftools>=0.5
- gpiod
- gpr
- gpt
- gptar
- gpx
- gr
- grace>=0.2.0
- gradescope_submit
- grain_dypgen
- graphics>=5.1.0
- graphicspdf
- graphlib<1.4.0 | >=2.2.0
- graphql
- graphql-async
- graphql-cohttp
- graphql-lwt
- graphql_jsoo_client
- graphql_parser
- graphql_ppx>=0.7.1
- graphv_core_lib
- gremlin
- grenier>=0.11
- grib
- grid
- grpc
- grpc-async
- gsasl
- gsl
- gstreamer
- GT!=0.4.0
- GuaCaml!=0.03
- guardian
- gufo
- guile
- gxl-light
- h1
- h1-lwt-unix
- h1_parser
- h2
- h2-async
- h2-eio
- h2-lwt
- h2-lwt-unix
- h2-mirage
- hachis
- hack_parallel
- hacl-star
- hacl-star-raw
- hacl_func
- hacl_x25519
- hamt
- happy-eyeballs
- happy-eyeballs-lwt
- happy-eyeballs-mirage
- hardcaml<1.1.1 | >=v0.12.0 & <v0.17.0
- hardcaml-affirm
- hardcaml-bloop
- hardcaml-examples!=0.2
- hardcaml-framework
- hardcaml-llvmsim
- hardcaml-reedsolomon
- hardcaml-vpi
- hardcaml-yosys
- hardcaml_axi<v0.17.0
- hardcaml_c<v0.17.0
- hardcaml_circuits<v0.17.0
- hardcaml_fixed_point<v0.17.0
- hardcaml_handshake<v0.17.0
- hardcaml_of_verilog<v0.17.0
- hardcaml_step_testbench<v0.17.0
- hardcaml_verify<v0.17.0
- hardcaml_verilator<v0.17.0
- hardcaml_waveterm<v0.17.0
- hardcaml_xilinx<v0.17.0
- hardcaml_xilinx_components<v0.17.0
- hardcaml_xilinx_reports<v0.17.0
- hashcons
- hashids
- hashset
- haxe>=4.0.0
- hc
- hdf5>=0.1.5
- hdfs>=0.3
- hdr_histogram
- headache>=1.06
- header-check
- hector
- heptagon<1.01.00 | >=1.03.03
- herdtools7
- hevea>=2.25
- hex>=1.2.0
- hex_encode<v0.17.0
- hexstring
- hg_lib<v0.17.0
- hidapi
- hidapi-lwt
- higher
- higher_kinded<v0.17.0
- highlexer
- higlo!=0.3
- hiredis
- hiredis-value
- hkdf
- hlarp>=0.0.3
- hll
- hmap>=0.8.1
- hockmd
- hol2dk
- hol_light
- hol_light_module
- horned_worm!=0.3.1
- hpack
- hsluv
- html_of_jsx>=0.0.4
- htmlfromtexbooks
- htmlit
- hts_shrink
- http
- http-cookie
- http-date
- http-lwt-client
- http-mirage-client
- http-multipart-formdata
- http2https
- http_async
- http_router
- httpaf
- httpaf-async
- httpaf-lwt-unix
- httph
- httpun
- httpun-async
- httpun-lwt
- httpun-lwt-unix
- httpun-mirage
- httpun-types
- httpun-ws
- httpun-ws-async
- httpun-ws-eio
- httpun-ws-lwt
- httpun-ws-lwt-unix
- httpun-ws-mirage
- humane-re!=0.0.3
- hvsock>=0.6
- hweak
- hxd
- hydro
- hyper
- i2c
- i3ipc>=0.1.2
- ibx<0.8.1
- icalendar
- idd
- idds
- igvxml
- imagelib>=20171028
- imagemagick
- imap
- imaplet-lwt<0.1.15
- imguiml
- incr_dom<v0.17.0
- incr_dom_interactive<v0.17.0
- incr_dom_keyboard
- incr_dom_partial_render<v0.17.0
- incr_dom_sexp_form<v0.17.0
- incr_dom_widgets
- incr_map<v0.17.0
- incr_select<v0.17.0
- incremental>=113.24.00 & !=113.33.03 & <v0.17.0
- incremental_kernel!=113.33.03 & !=v0.11.0
- indentation_buffer<v0.17.0
- index>=1.3.0
- index-bench
- inferno
- influxdb
- influxdb-async
- influxdb-lwt
- inotify>=2.1
- inquire
- inquirer_oc
- inspect
- int_repr<v0.17.0
- integers
- integration1d>=0.5
- interface-prime
- interface-prime-lwt
- interval<1.6
- interval-map
- interval_base
- interval_crlibm<1.6
- interval_intel<1.6
- inuit
- io
- io-page>=2.0.1
- io-page-unix>=2.0.0
- io-page-xen>=2.0.0
- iocaml>=0.4.6
- iocaml-kernel>=0.4.6
- iocamljs-kernel<0.4.3 | >=0.4.6
- iomux
- iostream
- iostream-camlzip
- ip2location
- ip2locationio
- ipaddr>=2.7.2
- ipaddr-cstruct
- ipaddr-sexp
- ipv6-multicast
- ipv6-multicast-lwt
- irc-client>=0.4.0
- irc-client-lwt
- irc-client-lwt-ssl
- irc-client-tls
- irc-client-unix
- iri
- irmin<0.9.0 | >=0.9.5 & !=0.9.10 & <1.0.0 | >=1.3.2
- irmin-chunk
- irmin-cli
- irmin-client
- irmin-containers
- irmin-fs
- irmin-git>=1.1.0
- irmin-graphql
- irmin-http>=1.3.1
- irmin-indexeddb
- irmin-layers
- irmin-mem
- irmin-mirage<2.0.0
- irmin-pack
- irmin-pack-tools
- irmin-server
- irmin-test
- irmin-tezos>=3.2.1 & <3.4.0
- irmin-tezos-utils
- irmin-unix!=1.3.0
- irmin-watcher
- iso-filesystem
- ISO3166
- iso639
- ISO8601
- iter>=1.2.1
- itv-tree>=2.1
- ivy
- jane-street-headers<v0.17.0
- jane-street-tests
- jane_rope<v0.17.0
- janestreet_cpuid<v0.17.0
- janestreet_csv<v0.17.0
- janestreet_lru_cache<v0.17.0
- jasminbuild
- javalib!=2.3.3
- javascriptcore
- jbuilder>=1.0+beta20.1
- jekyll-format
- jemalloc
- jenga<109.19.00 | >=113.24.00 & !=113.33.00 & !=113.33.03
- jerboa
- jext
- jhupllib
- jingoo>=1.2.16
- jitsu
- jitsu-libvirt
- jitsu-libxl
- jitsu-xapi
- joolog
- jose
- js-build-tools>=113.33.04
- js-lz4
- js_of_ocaml>=3.5.0
- js_of_ocaml-camlp4
- js_of_ocaml-compiler>=4.0.0
- js_of_ocaml-lwt
- js_of_ocaml-ocamlbuild!=3.5.2
- js_of_ocaml-ppx>=3.5.0
- js_of_ocaml-ppx_deriving_json>=3.4.0
- js_of_ocaml-toplevel!=3.4.0
- js_of_ocaml-tyxml
- js_of_ocaml-webgpu
- js_of_ocaml-webidl
- js_of_ocaml_patches<v0.17.0
- JsOfOCairo>=1.0.1
- json-data-encoding
- json-data-encoding-browser
- json-data-encoding-bson
- json-derivers
- json-predicate
- json-rpc
- json-static
- json-wheel>=1.0.6+safe-string
- json-wheel_jane_street_overlay
- json_decoder
- json_of_jsonm
- jsonaf<v0.17.0
- jsondiff
- jsonm!=1.0.0
- jsonoo
- jsonrpc>=1.3.0
- jsonschema2atd
- jsonxt
- jsoo-react
- jsoo_broadcastchannel>=2.0.0
- jsoo_router
- jsoo_storage>=1.0.1
- jst-config<v0.17.0
- junit<2.0.1
- junit_alcotest<2.0.1
- junit_ounit<2.0.1
- jupyter>=2.7.7
- jupyter-archimedes
- jupyter-kernel
- jwt
- jwto
- kafka>=0.3
- kafka_async
- kafka_lwt
- kappa-agents
- kappa-binaries
- kappa-library>=4.1.3
- kappa-server
- kaputt>=1.2
- karamel
- KaSim>=4.0.0
- kcas>=0.6.1
- kdf
- kdl
- ke
- ketrew>=1.1.1 & !=3.0.0
- key-parsers!=0.10.0
- kicadsch
- kind2
- kinetic-client
- kittyimg
- kkmarkdown
- kmt
- knights_tour
- kqueue
- krb
- krb5
- kremlin=1.0.0
- kubecaml
- kuznechik<0.2.0
- kyotocabinet
- lab
- lablgl
- lablgtk>=2.18.11
- lablgtk3>=3.1.1
- lablgtk3-extras>=3.0.1
- lablgtk3-goocanvas2
- lablgtk3-gtkspell3>=3.0.beta8
- lablgtk3-rsvg2
- lablgtk3-sourceview3>=3.1.0
- lablgtkosx
- lablqml>=0.6.2
- labltk>=8.06.11
- labrys
- lacaml
- ladspa<0.2.0 | >=0.2.2
- lambda
- lambda-runtime
- lambda-term<1.6 | >=1.12.0
- lambda_streams
- lambda_streams_async
- lambda_streams_lwt
- lambdapi
- lambdasoup
- lambdoc
- lame<0.3.4
- landmarks>=1.3
- landmarks-ppx
- lascar
- lastfm=0.3.2 | >=0.3.4
- launchd
- lazy-trie>=1.1.0
- lbfgs>=0.9
- lbvs_consent<2.0.0
- ldap
- ldp
- ldp_curl
- ldp_js
- ldp_tls
- leaflet
- learn-ocaml<0.12
- ledgerwallet
- ledgerwallet-tezos
- ledit>=2.04
- lem
- lemonade
- lemonade-sqlite
- lens<1.2.0 | >=1.2.4
- let-if
- letsencrypt
- letsencrypt-app
- letsencrypt-dns
- letsencrypt-mirage
- letters
- leveldb<1.0.3 | >=1.3.0
- levenshtein
- lib_parsing
- libabsolute
- libbinaryen
- libbpf
- libdash
- libevent
- libres3
- libssh
- libsvm!=0.9.3
- libudev>=0.2.1
- libzipperposition
- lilac
- lilis
- line-up-words<v0.17.0
- line_oriented
- linenoise<1.1.0 | >=1.3.1
- linkage
- links>=0.9.3
- links-mysql
- links-postgresql>=0.7.3
- links-sqlite3
- linksem
- linol
- linol-lwt<0.6
- lintcstubs
- lintcstubs-arity
- lintcstubs-gen
- lipsum
- liquid_interpreter
- liquid_ml
- liquid_parser
- liquid_std
- liquid_syntax
- liquidsoap>=1.4.0 & <2.2.0
- liquidsoap-core
- liquidsoap-daemon
- liquidsoap-js
- liquidsoap-lang
- litiom
- little_logger
- llama
- llama_core
- llama_interactive>=0.1.0
- llama_midi
- llopt
- llvm
- llvmgraph
- lmdb>=1.0
- lo<0.2.0
- lockfree>=0.3.1
- loga>=0.0.5
- logger-p5
- logical>=0.2.0
- logs>=0.6.2
- logs-async>=1.3
- logs-async-reporter>=1.3
- logs-ppx
- logs-syslog
- logtk>=1.5.1
- lp
- lp-glpk
- lp-glpk-js
- lp-gurobi
- lpd>=1.2.2
- lpi
- lreplay
- lru!=0.3.0-1
- lru-cache
- lru_cache
- lsp>=1.3.0
- lt-code
- lua-ml
- lua_pattern
- lucid
- lun
- lustre-v6!=6.101.7
- lutils>=1.54.1
- lutin>=2.71.10
- luv
- luv_unix
- lwd
- lwt>=5.4.0
- lwt-binio
- lwt-canceler
- lwt-dllist
- lwt-exit
- lwt-parallel
- lwt-pipe
- lwt-pipeline
- lwt-watcher
- lwt-zmq
- lwt_camlp4
- lwt_domain<0.3.0
- lwt_eio<0.2
- lwt_glib
- lwt_log
- lwt_named_threads
- lwt_ppx
- lwt_ppx_let>=5.6.0
- lwt_react
- lwt_ssl>=1.1.1
- lymp
- lz4
- lz4_chans>=3.0.0
- lzo>=0.0.2
- m_tree
- macaddr
- macaddr-cstruct
- macaddr-sexp
- macaque!=0.7.1
- macaroons<0.1.1
- mad<0.5.0 | >=0.5.3
- magic
- magic-mime
- magic-trace
- maildir
- maki
- malfunction!=0.3
- man_in_the_middle_debugger<v0.17.0
- mariadb>=1.1.5
- markdown
- markup<0.7.3 | >=0.7.6
- mastodon-archive-viewer
- matplotlib
- maxminddb
- mazeppa>=0.4.1
- mbr-format
- mc2
- mccs>=1.1+11
- md2mld
- mdx>=1.11.1
- mec
- mecab
- mechaml
- mehari
- mel
- melange<2.0.0 | =3.0.0-414 | =4.0.0-414
- melange-atdgen-codec-runtime
- melange-compiler-libs
- melange-fest
- melange-fetch
- melange-json>=1.1.0
- melange-json-native
- melange-moment
- melange-numeral
- melange-react-dates
- melange-recharts
- melange-testing-library
- melange-webapi>=0.21.0
- meldep
- melt
- mem_usage
- memcad
- memcpy
- memgraph
- memgraph_kitty
- memo
- memprof-limits>=0.2.0
- memtrace
- memtrace-mirage
- memtrace_viewer>=v0.15.0
- menhir>=20130911
- menhirCST
- menhirLib
- menhirSdk
- merge-fmt
- merge-queues
- merge-ropes
- mergeable-vector
- merlin=4.4.1~4.14preview | =4.5-414 | =4.6-414 | =4.7-414 | =4.8-414 | =4.9-414 | =4.10-414 | =4.11-414 | =4.12-414 | =4.13-414 | =4.14-414 | =4.15-414 | =4.16-414 | =4.17.1-414
- merlin-acme
- merlin-extend>=0.6
- merlin-lib>=4.6-414 & <4.7-500 | =4.8-414 | =4.9-414 | =4.10-414 | =4.11-414 | =4.12-414 | =4.13-414 | =4.14-414 | =4.15-414 | =4.16-414 | =4.17.1-414
- merlin-of-pds
- mesh>=0.8.7
- mesh-display
- mesh-easymesh
- mesh-graphics
- mesh-triangle
- message-switch
- metadata
- metadb
- metapp>=0.4.0
- metaquot>=0.5.1
- metrics
- metrics-influx
- metrics-lwt>=0.3.0
- metrics-mirage>=0.3.0
- metrics-rusage
- metrics-unix>=0.3.0
- mew
- mew_vi
- middleware
- mikmatch>=1.0.9
- mimic
- mimic-happy-eyeballs
- mindstorm>=0.6
- mindstorm-lwt
- minicaml
- minicli
- minilight
- minima-theme
- minimal
- minisat!=0.3
- minivpt
- mirage>=2.0.0 & <2.7.0 | >=3.1.1
- mirage-block
- mirage-block-ccm
- mirage-block-combinators
- mirage-block-lwt
- mirage-block-partition
- mirage-block-ramdisk
- mirage-block-solo5
- mirage-block-unix>=2.0.0 & !=2.7.0
- mirage-block-xen
- mirage-bootvar
- mirage-bootvar-solo5
- mirage-bootvar-unix
- mirage-bootvar-xen
- mirage-btrees
- mirage-channel
- mirage-channel-lwt
- mirage-clock
- mirage-clock-freestanding
- mirage-clock-lwt
- mirage-clock-solo5
- mirage-clock-unix
- mirage-clock-xen
- mirage-conduit
- mirage-console!=2.1.0 & !=2.3.2
- mirage-console-lwt!=2.3.2
- mirage-console-solo5
- mirage-console-unix
- mirage-console-xen
- mirage-console-xen-backend
- mirage-console-xen-cli
- mirage-console-xen-proto
- mirage-crypto
- mirage-crypto-ec
- mirage-crypto-entropy
- mirage-crypto-pk
- mirage-crypto-rng
- mirage-crypto-rng-async
- mirage-crypto-rng-lwt
- mirage-crypto-rng-mirage
- mirage-device
- mirage-dns
- mirage-entropy
- mirage-entropy-unix
- mirage-flow<1.0.3 | >=1.2.0
- mirage-flow-combinators
- mirage-flow-lwt
- mirage-flow-rawlink
- mirage-flow-unix!=1.4.0
- mirage-fs
- mirage-fs-lwt
- mirage-fs-mem
- mirage-fs-unix>=1.4.1
- mirage-git
- mirage-http
- mirage-http-unix
- mirage-http-xen
- mirage-irmin
- mirage-kv
- mirage-kv-lwt
- mirage-kv-mem
- mirage-kv-unix
- mirage-logs
- mirage-monitoring
- mirage-nat<1.1.0 | >=2.0.0
- mirage-net
- mirage-net-direct
- mirage-net-fd
- mirage-net-flow
- mirage-net-lwt
- mirage-net-macosx
- mirage-net-socket
- mirage-net-solo5<0.4.3 | >=0.6.1
- mirage-net-unix>=2.2.1
- mirage-net-xen>=1.4.2 & <1.6.0 | >=1.7.0
- mirage-no-solo5
- mirage-no-xen
- mirage-os-shim>=3.0.1
- mirage-profile!=0.7.0
- mirage-profile-unix>=0.9.0
- mirage-profile-xen
- mirage-protocols
- mirage-protocols-lwt
- mirage-qubes
- mirage-qubes-ipv4
- mirage-random
- mirage-random-stdlib
- mirage-random-test
- mirage-runtime
- mirage-seal
- mirage-solo5>=0.6.2
- mirage-stack
- mirage-stack-lwt
- mirage-tc
- mirage-tcpip-unix
- mirage-tcpip-xen
- mirage-time
- mirage-time-lwt
- mirage-time-unix
- mirage-types
- mirage-types-lwt
- mirage-unix
- mirage-vnetif
- mirage-vnetif-stack
- mirage-www
- mirage-xen>=2.6.0
- mirage-xen-minios
- mirage-xen-posix
- mirror
- misuja
- mixture
- mjson
- mkaudio
- mkocaml>=1.2
- ml2mxml
- mlbdd
- mlcuddidl>=3.0.6
- mld
- mldonkey>=3.2.1
- mlfenv
- MlFront_Cli
- mlgmpidl>=1.2.11
- mlmpfr
- mlpost>=0.8.2
- mlpost-lablgtk
- mlt_parser<v0.17.0
- mlx
- mm>=0.3.1
- mmap
- mmdb
- mmseg
- mnd
- mock
- mock-ounit
- modelica_ml>=0.2.0
- modular-arithmetic
- module-graph
- molenc<16.15.0
- monaco_jsoo
- monadlib
- monads<1.4.0 | >=2.2.0
- mongo
- monocypher
- monolith
- monomorphic>=1.2
- monorobot
- moonpool
- mopsa
- morbig
- more-ocaml
- morsmall
- mosquitto
- moss
- mparser>=1.2
- mparser-pcre
- mparser-re
- mperf
- mpg123
- mpi
- mpp>=0.3.2
- mpris>=0.1.1
- mpris-clients
- mqtt!=0.0.2
- mrmime
- msat
- msat-bin
- msgpack>=1.3.0
- msgpck
- msgpck-repr
- mssql
- mstruct>=1.4.0
- mtime>=0.8.4
- mtl
- mugen
- mula
- multibase
- multicodec
- multicore-bench
- multicore-magic>=1.0.1
- multicore-magic-dscheck
- multihash
- multipart-form-data<0.3.0
- multipart_form
- multipart_form-cohttp-lwt
- multipart_form-lwt
- murmur3
- mustache!=2.0.0
- mustache-cli
- mutaml
- mutf8
- mvar
- mwt
- mybuild
- mysql>=1.2.1
- mysql_protocol
- n_ary<v0.17.0
- naboris
- nacc
- named-pipe
- namespaces
- nanoid
- nanomsg
- nanosvg
- nanosvg_text
- nbd
- nbd-tool
- nbd-unix
- nebula
- netamqp
- netchannel
- netkat
- netlink
- netml
- netsnmp<v0.17.0
- nice_parser
- ninja_utils
- niru
- nit
- nlopt
- nlopt-ocaml>=0.5.1
- nlp
- nmea
- noCanren>=0.3.0
- nocoiner
- nocrypto>=0.2.0 & !=0.5.3
- noise
- non_empty_list
- nonstd
- nosetup
- not-ocamlfind!=0.07 & <0.09
- note
- notty<0.2.0 | >=0.2.3
- notty_async<v0.17.0
- np
- nproc
- npy>=0.0.7
- nsq>=0.1.1
- num>=1.0
- numalib
- numeric_string<v0.17.0
- numerix
- nunchaku>=0.6
- nuscr>=2.0.0
- oasis>=0.4.7
- oasis-mirage
- oasis2debian
- oasis2opam<0.4.4 | >=0.6.1
- obandit
- obeam<0.1.0 | >=0.1.2
- obeanstalk
- obelisk
- obi
- obigstore
- objsize>=0.18
- obuild>=0.1.9
- obuilder<0.6.0
- obuilder-spec<0.6.0
- obus>=1.1.8
- obytelib>=1.6
- oc45
- OCADml
- ocal!=0.2.0
- ocaml-base-compilerpost & >=4.14.0~alpha1 & <4.14.1~rc1
- ocaml-basics!=0.4.0
- ocaml-buddy
- ocaml-canvas
- ocaml-compiler-libs<v0.17.0
- ocaml-data-notation<0.0.10
- ocaml-embed-file<v0.17.0
- ocaml-expat<1.3.0
- ocaml-freestanding=0.6.7
- ocaml-http>=0.1.6
- ocaml-in-python
- ocaml-inifiles
- ocaml-js-stdlib
- ocaml-logicalform
- ocaml-lsp-server=1.9.2~4.14preview | >=1.10.6 & !=1.13.2~5.0preview & !=1.15.0~5.0preview1 & !=1.15.0-5.0 & !=1.15.1-5.0 & !=1.18.0~5.2preview & <1.19.0
- ocaml-lua>=1.8
- ocaml-makefile<6.39.2
- ocaml-manual=4.14.0
- ocaml-markdown
- ocaml-migrate-parsetree>=2.3.0
- ocaml-migrate-parsetree-ocamlbuild>=1.2.0
- ocaml-monadic>=0.3.2
- ocaml-print-intf
- ocaml-probes<v0.17.0
- ocaml-protoc
- ocaml-protoc-plugin
- ocaml-protoc-yojson
- ocaml-r>=0.1.0
- ocaml-sat-solvers
- ocaml-solo5
- ocaml-solo5-cross-aarch64
- ocaml-src=4.14.0 | =4.14.dev
- ocaml-syntax-shims
- ocaml-systempost & (<4.13.0 | =4.14.0)
- ocaml-systemd
- ocaml-top<1.1.0 | >=1.1.5
- ocaml-twt
- ocaml-variantspost & >=4.14.0~alpha1+options & <4.14.1~rc1+options
- ocaml-vdom<transition
- ocaml-version
- ocaml-xdg-basedir=0.0.3
- ocaml-xml-rpc
- ocaml-zmq
- ocaml_db_model
- ocaml_intrinsics<v0.17.0
- ocaml_pgsql_model
- ocaml_plugin<112.35.00 | >=113.24.00 & !=113.33.00 & !=113.33.03
- ocamlapi
- ocamlapi_async
- ocamlapi_lwt_unix
- ocamlapi_ppx
- ocamlbrowser=4.14.0
- ocamlbuild<0.9.0 | >=0.14.0
- ocamlbuild-atdgen
- ocamlbuild-pkg
- ocamlbuild-protoc
- ocamlc-loc
- ocamlclean>=2.3
- ocamldap>=2.3.0
- ocamldiff>=1.1
- ocamldot>=1.1
- ocamldsort
- ocamleditor>=1.15.2-ocaml414
- ocamlfind>=1.9.0
- ocamlfind-lint
- ocamlformat!=0.5 & <0.9 | >=0.20.0
- ocamlformat-lib
- ocamlformat-rpc>=0.20.0 & <removed
- ocamlformat-rpc-lib>=0.20.0
- ocamlfuse
- ocamlgraph>=1.8.8
- ocamlgraph_gtk
- ocamlify
- ocamline
- ocamlmerlin-mlx
- ocamlmod>=0.0.8
- ocamlnet>=4.1.9
- ocamlog
- ocamlregextkit
- ocamlrss
- ocamlscript
- ocamlsdl
- ocamlsdl2
- ocamlsdl2-image
- ocamlsdl2-ttf
- ocamltter<2.0.1 | =2.1.1 | >=4.1.0
- ocamlviz
- ocamlwc
- ocamlyices
- OCanren
- OCanren-ppx
- ocapic>=3.5
- ocb
- ocb-stubblr
- ocephes
- ocf>=0.6.0
- oci
- oclaunch
- oclock
- ocluster<0.3.0
- ocluster-api<0.3.0
- ocluster-worker<0.3.0
- ocolor>=1.2.2
- ocp-browser!=1.3.0
- ocp-indent=1.5.2 | >=1.6.1
- ocp-indent-nlfork>=1.5.4
- ocp-index>=1.3.3
- ocp-ocamlres!=0.3
- ocp-pack-split
- ocp-pp<1.99.19-beta
- ocp-reloc
- ocp-search
- ocp_reveal
- ocplib-compat
- ocplib-config
- ocplib-endian!=0.8
- ocplib-file
- ocplib-json-typed!=0.4
- ocplib-json-typed-browser
- ocplib-json-typed-bson
- ocplib-resto
- ocplib-simplex
- ocplib_stuff
- ocsfml
- ocsigen-i18n>=3.5.0
- ocsigen-start
- ocsigen-toolkit
- ocsigenserver>=2.12.0
- ocsipersist-pgsql>=2.0.0
- ocsipersist-pgsql-config
- octavius!=1.2.0
- octez-accuser-Proxford
- octez-accuser-PsParisC
- octez-accuser-PtLimaPt>=16.0
- octez-accuser-PtMumbai
- octez-accuser-PtNairob
- octez-accuser-PtParisB
- octez-alcotezt
- octez-baker-Proxford
- octez-baker-PsParisC
- octez-baker-PtLimaPt>=16.0
- octez-baker-PtMumbai
- octez-baker-PtNairob
- octez-baker-PtParisB
- octez-bls12-381-hash
- octez-bls12-381-polynomial
- octez-bls12-381-signature
- octez-client>=16.0
- octez-codec>=16.0
- octez-crawler
- octez-dac-client
- octez-dac-node
- octez-dal-node
- octez-distributed-internal
- octez-distributed-lwt-internal
- octez-injector
- octez-internal-libs
- octez-l2-libs
- octez-mec
- octez-node>=16.0
- octez-node-config
- octez-plompiler
- octez-plonk
- octez-polynomial
- octez-proto-libs
- octez-protocol-000-Ps9mPmXa-libs
- octez-protocol-001-PtCJ7pwo-libs
- octez-protocol-002-PsYLVpVv-libs
- octez-protocol-003-PsddFKi3-libs
- octez-protocol-004-Pt24m4xi-libs
- octez-protocol-005-PsBabyM1-libs
- octez-protocol-006-PsCARTHA-libs
- octez-protocol-007-PsDELPH1-libs
- octez-protocol-008-PtEdo2Zk-libs
- octez-protocol-009-PsFLoren-libs
- octez-protocol-010-PtGRANAD-libs
- octez-protocol-011-PtHangz2-libs
- octez-protocol-012-Psithaca-libs
- octez-protocol-013-PtJakart-libs
- octez-protocol-014-PtKathma-libs
- octez-protocol-015-PtLimaPt-libs
- octez-protocol-016-PtMumbai-libs
- octez-protocol-017-PtNairob-libs
- octez-protocol-018-Proxford-libs
- octez-protocol-019-PtParisB-libs
- octez-protocol-020-PsParisC-libs
- octez-protocol-alpha-libs
- octez-protocol-compiler>=16.0
- octez-proxy-server>=16.0
- octez-rpc-process
- octez-shell-libs
- octez-signer>=16.0
- octez-smart-rollup-client-Proxford
- octez-smart-rollup-client-PtMumbai
- octez-smart-rollup-client-PtNairob
- octez-smart-rollup-node
- octez-smart-rollup-node-alpha
- octez-smart-rollup-node-lib
- octez-smart-rollup-node-Proxford
- octez-smart-rollup-node-PsParisC
- octez-smart-rollup-node-PtMumbai
- octez-smart-rollup-node-PtNairob
- octez-smart-rollup-node-PtParisB
- octez-smart-rollup-wasm-benchmark-lib
- octez-smart-rollup-wasm-debugger
- octez-smart-rollup-wasm-debugger-lib
- octez-smart-rollup-wasm-debugger-plugin
- octez-tx-rollup-client-PtLimaPt>=16.0
- octez-tx-rollup-node-PtLimaPt>=16.0
- octez-version
- ocurl>=0.7.6 & <0.8.0 | >=0.9.1
- ocveralls
- odate>=0.6
- odbc
- odds<1.1
- odep
- odepack>=0.6.7
- odig<0.0.2 | >=0.0.4
- odisco
- odnnr
- odoc<1.3.0 | >=2.0.2
- odoc-depgraph
- odoc-parser
- oepub
- of_json<v0.17.0
- offheap
- oframl
- ofx
- ogen!=0.1.2
- ogg=0.5.2 | =0.6.1 | >=0.7.3
- ogre<1.4.0 | >=2.2.0
- ohex
- oidc
- ojo
- ojquery
- ojs
- ojs-base<0.3.0 | >=0.5.0
- ojs_base
- ojs_base_ppx
- ojwidgets
- olinq
- ollvm
- ollvm-tapir
- olmi
- oma
- omake>=0.10.3
- omd>=1.3.1
- ometrics>=0.2.0
- omg
- omigrate
- oml<0.0.5 | >=0.0.7
- omlr
- omod
- omtl
- oneffs
- oniguruma
- oolc
- opaca
- opal
- opam-0install
- opam-0install-cudf
- opam-bin>=0.9.5
- opam-build
- opam-build-revdeps
- opam-bundlebuild
- opam-check-npm-deps
- opam-ci
- opam-client
- opam-compiler
- opam-core=2.0.0~beta5 | >=2.0.0~rc2
- opam-depext
- opam-devel
- opam-dune-lint
- opam-ed
- opam-file-format
- opam-format
- opam-graph
- opam-grep>=0.2.0
- opam-installer
- opam-lib<0.9.4 | >=1.0.0
- opam-lock
- opam-monorepo>=0.2.3
- opam-package-upgrade<0.2
- opam-publish
- opam-query
- opam-repository
- opam-solver
- opam-spin
- opam-state
- opam-sync-github-prs
- opam-test
- opam2web
- opam_bin_lib
- opamconfig
- opamfind
- opamfu
- opass<2.15
- opasswd>=1.3.1
- opazl
- open
- open_packaging
- openai
- openai-gym
- openbsd
- opencc
- opencc0
- opencc1
- opencc1_1
- openflow
- openQASM>=0.4.0
- openstellina
- opentelemetry
- opentelemetry-client-cohttp-lwt
- opentelemetry-client-ocurl
- opentelemetry-cohttp-lwt
- opentelemetry-lwt
- operf-macro
- operf-micro>=1.1.1
- opine
- opium
- opium-graphql
- opium-testing
- opium_kernel
- oplay
- oplot
- oplsr
- opomodoro
- opsian
- optal
- opti
- optimization1d!=0.5.1
- optiml-transport
- optint
- opus<0.2.0 | >=0.2.2
- oqamldebug
- oraft
- orakuda>=1.2.0 & <2.0.0
- orandforest
- orb
- order-i3-xfce
- ordering
- ordinal
- ordinal_abbreviation<v0.17.0
- orec
- orf
- orgeat
- orm>=0.7.0
- orocksdb
- orpie>=1.6.1
- orrandomForest
- orsetto>=1.0.2
- orsvm_e1071
- ortac-core
- ortac-dune
- ortac-qcheck-stm
- ortac-runtime
- ortac-runtime-qcheck-stm
- orun
- orxgboost
- osbx>=1.2.4
- osc>=0.1.4
- osc-lwt
- osc-unix
- OSCADml
- osdp
- oseq>=0.4.1
- osh
- osm_xml
- osnap
- ostap
- osx-acl
- osx-attr
- osx-cf
- osx-fsevents
- osx-membership
- osx-mount
- osx-plutil
- osx-secure-transport>=0.1.1
- osx-xattr
- otetris
- otf
- otfm
- oth
- otoggl
- otoml
- otr>=0.3.2
- ott>=0.26
- otto
- ounit>=2.0.0 & <2.2.0
- ounit-lwt<2.2.0
- ounit2
- ounit2-lwt
- owee>=0.4
- owi<0.2
- owl>=0.3.7 & !=0.6.0
- owl-base
- owl-jupyter
- owl-ode
- owl-ode-base
- owl-ode-odepack
- owl-ode-sundials
- owl-opt
- owl-opt-lbfgs
- owl-plplot
- owl-top
- owork
- ox
- oxylc
- ozulip
- p4pp
- p5scm>=0.2.0
- pa_bench<113.00.00
- pa_comprehension
- pa_monad_custom
- pa_ounit<112.35.00
- pa_ppx>=0.09
- pa_ppx_hashcons>=0.09
- pa_ppx_migrate>=0.09
- pa_ppx_parsetree
- pa_ppx_q_ast>=0.09
- pa_ppx_quotation2extension
- pa_ppx_regexp
- pa_ppx_static
- pa_ppx_string
- pa_ppx_unique>=0.09
- pa_qualified
- pa_solution
- pa_test<112.24.00
- pa_where
- packet
- packstream
- pacomb
- paf
- paf-cohttp
- paf-le
- pam<v0.17.0
- pandoc>=0.2.0
- pandoc-abbreviations
- pandoc-replace<0.2.1
- parany<13.0.0 | >=14.0.0
- pardi
- pareto>=0.3
- pari
- pari-bindings
- parmap>=1.0-rc11
- parse-argv
- parsexp>=v0.9.1 & !=v0.11.0 & !=v0.14.0 & <v0.17.0
- parsexp_io>=v0.9.1 & <v0.17.0
- parsite
- parsley
- partition_map
- passage
- passmaker
- passmakercmd
- patch
- patdiff!=113.00.00 & !=113.33.03 & <v0.17.0
- path_glob
- patience_diff!=112.24.00 & !=113.33.03 & <v0.17.0
- patoline
- patricia-tree
- pattern>=0.3.0
- pb
- pb-plugin
- pbkdf
- pbrt
- pbrt_services
- pbrt_yojson
- pbs
- pcap-format<0.5.0 | >=0.5.2
- pcf-format
- pci>=1.0.1
- pci-db
- pcre>=7.1.3
- pcre2
- pds
- pds-reachability
- pecu
- perf
- petr4
- petrol
- pf-qubes
- pg_query
- pgocaml<1.7 | >=2.2 & <3.1 | >=4.0
- pgocaml_ppx
- pgsolver
- pgx
- pgx_async
- pgx_lwt
- pgx_lwt_mirage
- pgx_lwt_unix
- pgx_unix
- pgx_value_core
- pgx_value_ptime
- phantom-algebra
- phashtbl
- phonetic
- piaf<0.2.0
- picasso
- picos<0.5.0
- picos_aux
- piece_rope
- pilat
- pipebang<109.09.00
- piqi<0.7.0 | >=0.7.6
- piqilib
- pixel_pusher
- pkcs11
- pkcs11-cli>=1.0.1
- pkcs11-driver
- pkcs11-rev>=1.0.1
- pla>=1.2
- planck>=2.2.0
- planets>=0.1.14
- plateau
- plato
- plebeia>=2.0.0
- plist<1.0.0
- plist-xml
- plotkicadsch<0.4.0 | >=0.5.2
- plotly
- plplot
- podge<0.4
- polars
- polka
- poll
- polling_state_rpc<v0.17.0
- polly
- polyglot
- pomap>=4.1.0
- popper
- portaudio=0.2.1
- portaudio_c_bindings
- portia>=1.1
- portmidi
- posix-base>=2.0.2
- posix-clock
- posix-getopt<2.0.0
- posix-math
- posix-mqueue
- posix-semaphore
- posix-time
- posix-types
- posixat>=v0.10.0 & <v0.17.0
- postgres_async<v0.17.0
- postgresql
- pp
- pp-binary-ints
- pp_loc
- pprint>=20171003
- ppx-owl-opt
- ppx_accessor<v0.17.0
- ppx_assert>=113.24.00 & !=113.33.03 & <v0.17.0
- ppx_ast>=v0.11.0
- ppx_bap>=v0.14.0
- ppx_base<v0.17.0
- ppx_bench=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_bin_prot>=113.24.00 & !=113.33.00 & !=113.33.03 & !=v0.12.0 & <v0.17.0
- ppx_bitstring=1.1.0 | >=1.3.3
- ppx_blob>=0.2
- ppx_camlrack
- ppx_cold<v0.17.0
- ppx_compare=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_compose
- ppx_const>=2.0
- ppx_conv_func=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_core>=v0.9.2
- ppx_counters
- ppx_css<v0.17.0
- ppx_cstruct
- ppx_cstubs=0.5.1 | >=0.7.0
- ppx_csv_conv=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_custom_printf=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & !=v0.12.0 & <v0.17.0
- ppx_default
- ppx_defer
- ppx_demo<v0.17.0
- ppx_derive_at_runtime<v0.17.0
- ppx_derivers
- ppx_deriving>=5.2
- ppx_deriving_argparse
- ppx_deriving_cad
- ppx_deriving_cmdliner>=0.5.1
- ppx_deriving_crowbar
- ppx_deriving_decoders
- ppx_deriving_encoding
- ppx_deriving_hardcaml
- ppx_deriving_jsonschema
- ppx_deriving_jsoo
- ppx_deriving_madcast
- ppx_deriving_morphism!=0.4
- ppx_deriving_popper
- ppx_deriving_protobuf=2.4 | >=3.0.0
- ppx_deriving_protocol
- ppx_deriving_qcheck>=0.2.0
- ppx_deriving_rpc>=6.1.0
- ppx_deriving_scad
- ppx_deriving_variant_string
- ppx_deriving_yaml
- ppx_deriving_yojson<2.0 | >=3.5.3
- ppx_disable_unused_warnings<v0.17.0
- ppx_distr_guards<0.3
- ppx_dotbracket
- ppx_dream_eml
- ppx_driver=113.24.00 | >=113.33.00+4.03 & <113.33.03 | >=v0.9.2
- ppx_enumerate=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_expect!=113.33.00 & !=113.33.01 & !=113.33.03 & <v0.17.0
- ppx_factory!=0.1.0
- ppx_fail=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_fields_conv=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_fixed_literal<v0.17.0
- ppx_fun<0.0.9
- ppx_gen_rec
- ppx_getenv>=2.0
- ppx_globalize<v0.17.0
- ppx_graphql
- ppx_hardcaml<v0.17.0
- ppx_hash<v0.17.0
- ppx_here>=113.24.00 & !=113.33.03 & <v0.17.0
- ppx_ignore_instrumentation<v0.17.0
- ppx_import>=1.7.1 & !=1.9.0
- ppx_inline_alcotest
- ppx_inline_test=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_integer
- ppx_interact
- ppx_irmin<2.4.0 | >=3.0.0
- ppx_jane!=113.33.03 & <v0.17.0
- ppx_js_style!=v0.14.0 & <v0.17.0
- ppx_jsobject_conv>=0.2.1 & <0.6.0 | >=0.9.0
- ppx_jsonaf_conv<v0.17.0
- ppx_let!=113.33.00 & !=113.33.03 & <v0.17.0
- ppx_log<v0.17.0
- ppx_lun
- ppx_matches
- ppx_meta_conv>=4.0.0 & <4.1.0
- ppx_metaquot
- ppx_mica
- ppx_minidebug
- ppx_module_timer<v0.17.0
- ppx_monad>=0.2.0
- ppx_monadic>=1.0.4
- ppx_monoid!=0.2
- ppx_mysql
- ppx_mysql_identity
- ppx_nanocaml
- ppx_netblob>=1.1
- ppx_optcomp=113.24.00 | =113.33.01+4.03 | >=v0.9.0 & <v0.17.0
- ppx_optint
- ppx_optional<v0.17.0
- ppx_orakuda=3.0.1 | =3.1.0 | >=3.3.0
- ppx_overload>=1.4
- ppx_parser
- ppx_partial
- ppx_pattern_bind<v0.17.0
- ppx_pipebang=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_poly_record>=1.1.1
- ppx_protocol_conv
- ppx_protocol_conv_json
- ppx_protocol_conv_jsonm
- ppx_protocol_conv_msgpack
- ppx_protocol_conv_xml_light
- ppx_protocol_conv_xmlm
- ppx_protocol_conv_yaml
- ppx_pyformat
- ppx_python<v0.17.0
- ppx_rapper
- ppx_rapper_async
- ppx_rapper_lwt
- ppx_regexp>=0.3.0
- ppx_seq
- ppx_sexp_conv>=113.24.00 & !=113.33.03 & <v0.17.0
- ppx_sexp_message!=113.33.00 & !=113.33.03 & <v0.17.0
- ppx_sexp_value=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_sqlexpr
- ppx_stable<v0.17.0
- ppx_stable_witness<v0.17.0
- ppx_string<v0.17.0
- ppx_string_interpolation
- ppx_system
- ppx_test>=1.4.0
- ppx_there
- ppx_tools>=6.5
- ppx_tools_versioned>=5.2.2
- ppx_trace
- ppx_traverse
- ppx_traverse_builtins
- ppx_ts
- ppx_tydi<v0.17.0
- ppx_type_conv=113.24.00 | >=113.33.00+4.03 & !=113.33.03
- ppx_type_directed_value
- ppx_typed_fields<v0.17.0
- ppx_typerep_conv=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_tyre
- ppx_units
- ppx_update
- ppx_variants_conv=113.24.00 | =113.33.00+4.03 | >=v0.9.0 & <v0.17.0
- ppx_wideopen
- ppx_xml_conv>=113.24.00 & !=113.33.03 & <v0.17.0
- ppx_yojson
- ppx_yojson_conv<v0.17.0
- ppx_yojson_conv_lib<v0.17.0
- ppxfind
- ppxlib>=0.12.0 & <0.14.0 | =0.24.0 | >=0.25.0
- ppxx>=2.5.0
- pratter
- prbnmcn-basic-structures
- prbnmcn-cgrph
- prbnmcn-clustering
- prbnmcn-gnuplot
- prbnmcn-linalg
- prbnmcn-mcts
- prbnmcn-proptest
- prbnmcn-stats
- prbnmcn-ucb1>=0.0.2
- preface
- prelude
- prettiest
- pretty_expressive
- prettym
- primes
- pringo
- printbox
- printbox-text<0.8
- prob-cache
- proc-smaps
- process
- process_limits
- processor
- producer
- prof_spacetime
- profiler-plugin
- profiling
- profunctor<v0.17.0
- progress
- proj4>=0.9.2
- prom
- promela
- prometheus
- prometheus-app
- promise
- promise_jsoo
- promise_jsoo_lwt
- prooftree
- protobuf
- protocell
- protocol-9p
- protocol-9p-tool
- protocol-9p-unix
- protocol_version_header<v0.17.0
- proverif>=1.97pl3
- prr
- psmt2-frontend
- psq
- psyche
- ptime>=0.8.1
- ptmap<2.0.1 | >=2.0.5
- ptset>=1.0.1
- publish
- pulseaudio<0.1.4
- pumping
- pure-splitmix<0.3
- pvec
- pvem
- pvem_lwt_unix
- pxp!=1.2.8
- py
- pyast
- pyml<20171117 | >=20200518
- pyml_bindgen
- pythonlib!=v0.15.0 & <v0.16.0
- qbf
- qcheck>=0.3 & <0.5 | >=0.5.2
- qcheck-alcotest
- qcheck-core
- qcheck-lin>=0.2
- qcheck-multicoretests-util>=0.2
- qcheck-ounit
- qcheck-stm>=0.2
- qcow<0.8.1 | >=0.10.0
- qcow-format
- qcow-tool
- qcstm
- qfs>=0.12
- qinap
- qiskit
- qmp
- qocamlbrowser=0.2.11
- qrc
- qrencode>=0.2
- qtest>=2.7
- queenshead
- quest
- quests
- quick_print
- quickcheck!=1.0.0
- r2pipe
- radamsa
- radare2>=0.0.2
- randii
- random
- randomconv
- range
- ranger>=0.1.0
- rangeSet
- rashell
- rawlink>=0.6
- rawlink-lwt
- raygun4ocaml
- rdbg>=1.175
- rdf>=0.5 & <0.7.0 | =0.11.0
- rdr<2.0.1
- re>=1.3.0
- re2<112.35.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.1 & <v0.17.0
- re2_stable
- re_parser<v0.17.0
- rea
- react=1.0.0 | >=1.2.1
- reactiveData
- reactjs-jsx-ppx
- readline
- reanalyze>=2.23.0
- reason>=3.8.0
- reason-react!=0.13.0
- reason-react-ppx<0.13.0 | >=0.14.1
- reason-standard
- receive-mail
- received
- record_builder<v0.17.0
- records!=0.6.0
- red-black-tree
- redirect>=0.1.1
- redis>=0.3.6
- redis-async<v0.17.0
- redis-lwt>=0.3.6
- redis-sync>=0.3.6
- reed-solomon-erasure
- reedsolomon
- refl>=0.3.0
- regenerate
- regex_parser_intf<v0.17.0
- regular>=1.2.0 & <1.4.0 | >=2.2.0
- remu_ts
- reparse
- reparse-lwt
- reparse-lwt-unix
- reparse-unix
- repr
- res>=4.0.7
- res_tailwindcss
- rescript-syntax
- reshowcase
- resource-pooling
- resource_cache<v0.17.0
- resp
- resp-client
- resp-mirage
- resp-server
- resp-unix
- resto
- resto-acl
- resto-cohttp
- resto-cohttp-client
- resto-cohttp-self-serving-client
- resto-cohttp-server
- resto-directory
- resto-json
- result>=1.5
- revops
- rfc1951
- rfc6287!=1.0.2
- rfc7748
- rfsm<2.0
- rhythm
- riak
- riak-pb
- riakc
- riakc_ppx!=3.1.2
- ringo
- ringo-lwt
- river
- rlp
- rml>=1.09.00 & !=1.09.04
- rmlbuild>=0.14.0-00
- rock
- root1d!=0.3
- rope>=0.6 & <0.6.3
- rosa
- rosetta
- routes
- rpc<1.3.0 | >=5.9.0
- rpc_parallel>=113.24.00 & !=113.33.03 & <v0.17.0
- rpclib!=6.0.0
- rpclib-async!=6.0.0
- rpclib-html
- rpclib-js
- rpclib-lwt!=6.0.0
- rpmfile
- rpmfile-unix
- rresult>=0.4.0
- rsdd
- rss
- rtop>=3.8.0
- rtree
- rubytt
- rungen
- rusage
- safa
- safemoney
- safepass>=2.0
- sail<0.15
- sail_manifest>=0.18
- salsa20
- salsa20-core
- samplerate<0.1.5
- sanddb
- sarek>=20210823
- sarif
- satex
- satML-plugin
- sattools
- saturn
- saturn_lockfree
- satyrographos
- sawja!=1.5.2
- scad_ml
- scaml>=1.5.0
- scfg
- scgi
- schroedinger
- scid
- scipy
- scrypt
- scrypt-kdf
- search
- searchTree
- secp256k1
- secp256k1-internal
- sedlex>=1.99.4
- sek
- sel
- selective
- semantic_version<v0.17.0
- semaphore-compat
- semver
- semver2
- sendmail
- sendmail-lwt
- sendmail-mirage
- sendmsg
- sentry
- seq>=0.2.2
- seqes
- sequence<0.3
- sequencer_table<v0.17.0
- serde<0.0.2
- serde_debug
- serde_derive<0.0.2
- serde_json<0.0.2
- serde_sexpr
- serde_xml
- serial
- session
- session-cohttp
- session-cohttp-async
- session-cohttp-lwt
- session-cookie
- session-cookie-async
- session-cookie-lwt
- session-postgresql
- session-postgresql-async
- session-postgresql-lwt
- session-redis-lwt
- session-webmachine
- sessions
- setcore
- setr
- sexp<v0.17.0
- sexp_decode
- sexp_diff<v0.17.0
- sexp_diff_kernel
- sexp_grammar<v0.17.0
- sexp_macro<v0.17.0
- sexp_pretty<v0.17.0
- sexp_select<v0.17.0
- sexp_string_quickcheck<v0.17.0
- sexplib>=v0.9.3 & <v0.17.0
- sexplib0
- sfml>=0.09.2
- sgf
- sha>=1.10
- shades
- shapefile
- shared-block-ring<2.3.0 | >=3.0.0
- shared-memory-ring<1.2.0 | >=3.0.0
- shared-memory-ring-lwt
- shared-secret
- shcaml>=0.2.1
- shell<v0.17.0
- sherlodoc
- shexp<v0.11.0 | >=v0.12.0 & <v0.17.0
- shine
- shuttle
- shuttle_http<0.8.1 | >=0.10.0 & <0.12.0
- shuttle_ssl
- sibylfs
- sid
- sifun
- signal
- sihl
- sihl-cache
- sihl-contract
- sihl-core
- sihl-email
- sihl-facade
- sihl-persistence
- sihl-queue
- sihl-session
- sihl-storage
- sihl-token
- sihl-type
- sihl-user
- sihl-web
- sill
- simlog
- simple-diff
- simple63
- simple_pam
- sitemap
- sklearn
- slack-backup
- slacko>=0.11.0 & <0.15.0
- slipshow
- slug
- smart-print
- smbc
- smol
- smol-helpers
- smtlib-utils
- smtml
- smtp
- snabela
- snappy<0.1.0 | >=0.1.2
- Snowflake
- so
- socialpeek
- sociaml-facebook-api<0.4.1
- sociaml-oauth-client
- sociaml-tumblr-api
- sociaml-vcard
- socket-daemon
- socketcan>=0.8.12-0
- sodium!=0.2.0
- sodium-fmt
- solid
- solid_server
- solid_tools
- solidity-alcotest
- solidity-common
- solidity-parser
- solidity-test
- solidity-typechecker
- solo5-elftool
- solo5-kernel-muen
- solo5-kernel-ukvm
- solo5-kernel-virtio
- sortedseq_intersect
- sosa>=0.2.0
- soundtouch
- soupault
- SourceCode_ASCII
- space-search
- spacetime_lib>=0.3.0
- spatial_index
- spawn
- spdiff
- spdx_licenses
- spectrum
- speex!=0.4.0
- spelll=0.2 | >=0.4
- spf>=2.0.2
- spin
- spirv
- splay_tree<v0.17.0
- splittable_random<v0.17.0
- spoc>=20210823
- spoc_ppx
- spoke
- spotify-cli>=0.3.0
- spotify-web-api<0.2.1
- spotify_ml
- spotinstall
- spotlib=4.0.2 | >=4.2.0
- spreadsheet
- spreadsheetml
- sqids
- sqlexpr<0.7.1 | >=0.9.0
- sqlgg>=0.4.4
- sqlite3
- sqlite3_utils
- squirrel
- srs>=2.0.0
- srt<0.1.1 | >=0.3.1
- ssh-agent
- ssh-agent-unix
- ssl>=0.5.4
- sslconf
- starpath
- starred_ml
- starterkit
- stationary
- statmemprof-emacs
- statverif>=1.97pl1.1
- stb_image
- stb_image_write
- stb_truetype
- stdcompat<2 | >=15
- stdint
- stdio>=v0.9.1 & <v0.17.0
- stdlib-random
- stdlib-shims
- stdune
- stemmer
- stemming>=0.2.1
- stitch
- stk<0.2.0
- stog>=0.15.0 & <0.19.0
- stog-rdf
- stog-writing
- stone>=0.5.1
- store
- stored_reversed<v0.17.0
- stramon-lib
- streamable<v0.17.0
- streaming
- string_dict<v0.17.0
- stringCodepointSplitter
- stringext>=1.2.0
- sturgeon
- subscriptions-transport-ws
- subtype-refinement
- sugar
- sun
- sundialsml>=6.1.1p1
- swagger
- swapfs
- swhid
- swhid_compute
- swhid_core
- swhid_types
- swipl
- symkat
- syncweb
- syndic>=1.2
- sys-socket
- sys-socket-unix
- syslog>=2.0.0
- syslog-message
- syslog-rfc5424
- systemverilog<0.0.2
- SZXX<4.0.0
- tablecloth-base
- tablecloth-native!=0.0.8
- tabr
- taglib=0.3.6 | >=0.3.8
- taglog<0.2.0
- talaria-bibtex
- tallgeese
- tar>=0.9.0
- tar-eio<3.0.0
- tar-mirage>=2.0.0
- tar-unix>=0.9.0
- tcalc
- tcpip<3.0.0 | >=3.3.1
- TCSLib
- tcx
- tdigest
- tdk>=0.1.1
- telegraml
- telemetry
- telltime
- tensorboard
- tensorflow!=0.0.10
- term-indexing
- term-tools
- termbox
- terminal
- terminal_size
- terminus
- testrunner
- testu01
- text>=0.8.0
- text-tags<1.4.0 | >=2.2.0
- textmate-language
- textrazor
- textutils!=112.17.00 & !=113.33.03 & <v0.17.0
- textutils_kernel<v0.17.0
- textwrap>=0.2
- tezos-baking-015-PtLimaPt>=16.0
- tezos-baking-015-PtLimaPt-commands>=16.0
- tezos-baking-016-PtMumbai
- tezos-baking-016-PtMumbai-commands
- tezos-baking-017-PtNairob
- tezos-baking-017-PtNairob-commands
- tezos-baking-alpha>=16.0
- tezos-baking-alpha-commands>=16.0
- tezos-base>=16.0
- tezos-base-test-helpers>=16.0
- tezos-benchmark
- tezos-bls12-381-polynomial
- tezos-clic>=16.0
- tezos-client-000-Ps9mPmXa>=16.0
- tezos-client-001-PtCJ7pwo>=16.0
- tezos-client-002-PsYLVpVv>=16.0
- tezos-client-003-PsddFKi3>=16.0
- tezos-client-004-Pt24m4xi>=16.0
- tezos-client-005-PsBabyM1>=16.0
- tezos-client-006-PsCARTHA>=16.0
- tezos-client-007-PsDELPH1>=16.0
- tezos-client-008-PtEdo2Zk>=16.0
- tezos-client-009-PsFLoren>=16.0
- tezos-client-010-PtGRANAD>=16.0
- tezos-client-011-PtHangz2>=16.0
- tezos-client-012-Psithaca>=16.0
- tezos-client-013-PtJakart>=16.0
- tezos-client-014-PtKathma>=16.0
- tezos-client-015-PtLimaPt>=16.0
- tezos-client-016-PtMumbai
- tezos-client-017-PtNairob
- tezos-client-alpha>=16.0
- tezos-client-base>=16.0
- tezos-client-base-unix>=16.0
- tezos-client-commands>=16.0
- tezos-client-demo-counter>=16.0
- tezos-client-genesis>=16.0
- tezos-context>=16.0
- tezos-context-ops>=16.0
- tezos-crypto>=16.0
- tezos-crypto-dal>=16.0
- tezos-dac-client-lib
- tezos-dac-lib
- tezos-dac-node-lib
- tezos-dal-node-lib
- tezos-dal-node-services
- tezos-embedded-protocol-000-Ps9mPmXa>=16.0
- tezos-embedded-protocol-001-PtCJ7pwo>=16.0
- tezos-embedded-protocol-002-PsYLVpVv>=16.0
- tezos-embedded-protocol-003-PsddFKi3>=16.0
- tezos-embedded-protocol-004-Pt24m4xi>=16.0
- tezos-embedded-protocol-005-PsBABY5H>=16.0
- tezos-embedded-protocol-005-PsBabyM1>=16.0
- tezos-embedded-protocol-006-PsCARTHA>=16.0
- tezos-embedded-protocol-007-PsDELPH1>=16.0
- tezos-embedded-protocol-008-PtEdo2Zk>=16.0
- tezos-embedded-protocol-008-PtEdoTez>=16.0
- tezos-embedded-protocol-009-PsFLoren>=16.0
- tezos-embedded-protocol-010-PtGRANAD>=16.0
- tezos-embedded-protocol-011-PtHangz2>=16.0
- tezos-embedded-protocol-012-Psithaca>=16.0
- tezos-embedded-protocol-013-PtJakart>=16.0
- tezos-embedded-protocol-014-PtKathma>=16.0
- tezos-embedded-protocol-015-PtLimaPt>=16.0
- tezos-embedded-protocol-016-PtMumbai
- tezos-embedded-protocol-017-PtNairob
- tezos-embedded-protocol-alpha>=16.0
- tezos-embedded-protocol-demo-counter>=16.0
- tezos-embedded-protocol-demo-noops>=16.0
- tezos-embedded-protocol-genesis>=16.0
- tezos-error-monad>=13.0
- tezos-event-logging>=16.0
- tezos-event-logging-test-helpers>=16.0
- tezos-hacl
- tezos-hacl-glue
- tezos-injector-015-PtLimaPt>=16.0
- tezos-injector-016-PtMumbai
- tezos-layer2-store
- tezos-layer2-utils-016-PtMumbai
- tezos-layer2-utils-017-PtNairob
- tezos-lazy-containers
- tezos-lwt-result-stdlib>=11.0
- tezos-micheline>=16.0
- tezos-mockup>=16.0
- tezos-mockup-commands>=16.0
- tezos-mockup-proxy>=16.0
- tezos-mockup-registration>=16.0
- tezos-openapi>=20.1
- tezos-p2p>=16.0
- tezos-p2p-services>=16.0
- tezos-plompiler
- tezos-plonk
- tezos-protocol-000-Ps9mPmXa>=16.0
- tezos-protocol-001-PtCJ7pwo>=16.0
- tezos-protocol-002-PsYLVpVv>=16.0
- tezos-protocol-003-PsddFKi3>=16.0
- tezos-protocol-004-Pt24m4xi>=16.0
- tezos-protocol-005-PsBABY5H>=16.0
- tezos-protocol-005-PsBabyM1>=16.0
- tezos-protocol-006-PsCARTHA>=16.0
- tezos-protocol-007-PsDELPH1>=16.0
- tezos-protocol-008-PtEdo2Zk>=16.0
- tezos-protocol-008-PtEdoTez>=16.0
- tezos-protocol-009-PsFLoren>=16.0
- tezos-protocol-010-PtGRANAD>=16.0
- tezos-protocol-011-PtHangz2>=16.0
- tezos-protocol-012-Psithaca>=16.0
- tezos-protocol-013-PtJakart>=16.0
- tezos-protocol-014-PtKathma>=16.0
- tezos-protocol-015-PtLimaPt>=16.0
- tezos-protocol-016-PtMumbai
- tezos-protocol-017-PtNairob
- tezos-protocol-018-Proxford
- tezos-protocol-019-PtParisB
- tezos-protocol-020-PsParisC
- tezos-protocol-alpha>=16.0
- tezos-protocol-compiler>=14.0
- tezos-protocol-demo-counter>=16.0
- tezos-protocol-demo-noops>=16.0
- tezos-protocol-environment>=13.0
- tezos-protocol-environment-packer
- tezos-protocol-environment-sigs<8.0 | >=9.0
- tezos-protocol-genesis>=16.0
- tezos-protocol-plugin-007-PsDELPH1>=16.0
- tezos-protocol-plugin-007-PsDELPH1-registerer>=16.0
- tezos-protocol-plugin-008-PtEdo2Zk>=16.0
- tezos-protocol-plugin-008-PtEdo2Zk-registerer>=16.0
- tezos-protocol-plugin-009-PsFLoren>=16.0
- tezos-protocol-plugin-009-PsFLoren-registerer>=16.0
- tezos-protocol-plugin-010-PtGRANAD>=16.0
- tezos-protocol-plugin-010-PtGRANAD-registerer>=16.0
- tezos-protocol-plugin-011-PtHangz2>=16.0
- tezos-protocol-plugin-011-PtHangz2-registerer>=16.0
- tezos-protocol-plugin-012-Psithaca>=16.0
- tezos-protocol-plugin-012-Psithaca-registerer>=16.0
- tezos-protocol-plugin-013-PtJakart>=16.0
- tezos-protocol-plugin-013-PtJakart-registerer>=16.0
- tezos-protocol-plugin-014-PtKathma>=16.0
- tezos-protocol-plugin-014-PtKathma-registerer>=16.0
- tezos-protocol-plugin-015-PtLimaPt>=16.0
- tezos-protocol-plugin-015-PtLimaPt-registerer>=16.0
- tezos-protocol-plugin-016-PtMumbai
- tezos-protocol-plugin-016-PtMumbai-registerer
- tezos-protocol-plugin-017-PtNairob
- tezos-protocol-plugin-017-PtNairob-registerer
- tezos-protocol-plugin-alpha>=16.0
- tezos-protocol-plugin-alpha-registerer>=16.0
- tezos-protocol-updater>=16.0
- tezos-proxy>=16.0
- tezos-proxy-server-config>=16.0
- tezos-requester>=16.0
- tezos-rpc>=16.0
- tezos-rpc-http>=16.0
- tezos-rpc-http-client>=16.0
- tezos-rpc-http-client-unix>=16.0
- tezos-rpc-http-server>=16.0
- tezos-sapling>=16.0
- tezos-scoru-wasm>=16.0
- tezos-scoru-wasm-fast
- tezos-scoru-wasm-helpers
- tezos-shell>=16.0
- tezos-shell-context>=16.0
- tezos-shell-services>=16.0
- tezos-shell-services-test-helpers>=16.0
- tezos-signer-backends>=16.0
- tezos-signer-services>=16.0
- tezos-smart-rollup-016-PtMumbai
- tezos-smart-rollup-017-PtNairob
- tezos-smart-rollup-alpha
- tezos-smart-rollup-layer2-016-PtMumbai
- tezos-smart-rollup-layer2-017-PtNairob
- tezos-stdlib
- tezos-stdlib-unix>=16.0
- tezos-store>=16.0
- tezos-test-helpers
- tezos-test-helpers-extra
- tezos-tooling<13.0
- tezos-tree-encoding>=16.0
- tezos-tx-rollup-015-PtLimaPt>=16.0
- tezos-validation>=16.0
- tezos-version<8.0 | >=16.0
- tezos-wasmer
- tezos-webassembly-interpreter>=15.0
- tezos-webassembly-interpreter-extra
- tezos-workers>=16.0
- tezt
- tezt-bam
- tezt-performance-regression
- tezt-tezos
- tftp
- tgls!=0.8.3
- theora<0.4.0
- thread-local-storage
- thread-table
- thrift>=0.10.0
- tidy
- tidy_email
- tidy_email_mailgun
- tidy_email_sendgrid
- tidy_email_smtp
- tilde_f<v0.17.0
- time_now<v0.17.0
- timed
- timedesc
- timedesc-json
- timedesc-sexp
- timedesc-tzdb
- timedesc-tzlocal
- timedesc-tzlocal-js
- timere
- timere-parse
- timezone<v0.17.0
- timmy
- tiny_httpd
- tiny_httpd_camlzip<0.15
- tiny_json>=1.1.5
- tiny_json_conv<1.4.0
- tip-parser<0.5
- tjr_simple_earley
- tls>=0.12.6
- tls-async
- tls-lwt
- tls-mirage
- tlstunnel
- toc
- tofn
- togglelog
- toml>=5.0.0
- toml-cconv
- toml_cconv
- tophide=1.0.4
- topkg>=1.0.3
- topkg-care
- topkg-jbuilder
- toplevel_backend<v0.17.0
- toplevel_expect_test<113.33.02 | >=v0.9.2 & <v0.12.0 | >=v0.12.2 & <v0.17.0
- topojson
- topological_sort<v0.17.0
- topology
- torch<v0.17.0
- touist
- tplib
- tptp>=0.3.2
- tqdm
- trace
- trace-fuchsia
- trace-tef
- tracing<v0.17.0
- tracy-client
- traildb
- traits
- trakeva
- trampoline
- transept
- transmission-rpc
- traverse>=0.3.0
- travesty<0.6.0 | >=0.6.2 & <0.8.0
- travis-opam
- trax
- tree_layout
- treeprint>=2.1.1
- trie
- trs
- tsdl<0.8.1 | >=0.9.1
- tsdl-image
- tsdl-mixer
- tsdl-ttf
- tsort
- ttweetnacl
- tuareg
- tube
- tuntap>=1.3.0
- twirp_cohttp_lwt_unix
- twirp_core
- twirp_ezcurl
- twirp_tiny_httpd
- twostep
- tyabt
- type-beat
- type_conv>=113.00.02
- type_eq
- type_id
- typebeat
- typehashlib
- typeid
- typerep<112.35.00 | =113.24.00 | >=v0.9.0 & <v0.17.0
- typerep_extended!=113.00.00 & !=113.33.03
- typerex-attic>=1.0.2
- typerex-binutils
- typerex-clibs
- typerex-lldb>=1.1
- typerex-system
- typeset
- tyre
- tyxml<3.0.0 | >=3.3.0 & !=4.1.0
- tyxml-jsx
- tyxml-lwd<0.2
- tyxml-ppx
- tyxml-syntax
- u2f
- ubase
- ubpf
- ucaml
- uchar>=0.0.2
- uecc>=0.3
- uint>=1.2.1
- ulex>=1.2
- ulex-camlp5<1.3
- um-abt<0.1.5
- unidecode
- unionFind
- unison>=2.51.4
- universo
- unix-dirent
- unix-errno
- unix-sys-resource
- unix-sys-stat
- unix-time
- unix-type-representations
- unix-unistd
- unmagic
- unstrctrd
- uri>=1.3.13 & <1.9.2 | >=1.9.5
- uri-bench
- uri-re
- uring
- uring-trace
- uritemplate>=0.2.0
- urn
- usb>=1.3.1
- usbmux>=1.2.0
- user-agent-parser
- user-setup
- username_kernel<v0.17.0
- uspf
- uspf-lwt
- uspf-mirage
- uspf-unix
- utop>=2.9.0
- utp
- uucd>=4.0.0
- uucp>=2.0.0
- uuidm>=0.9.6
- uunf<1.0.0 | >=2.0.1
- uuseg!=1.0.0
- uutf>=1.0.1
- uuuu
- uwt<0.3.0
- valentine
- validator
- variantslib!=109.15.03 & !=113.33.03 & <v0.17.0
- varint
- varray
- vcaml
- vcardgen<1.2
- vchan
- vchan-unix>=4.0.0
- vchan-xen
- vdom
- vec
- vecosek
- vecosek-engine
- vecosek-scene
- vector
- vector3>=0.2.1
- vendredi
- vercel
- vg<0.8.1 | >=0.9.0
- vhd-format!=0.8.0 & <0.9.2 | >=0.12.2
- vhd-format-lwt!=0.9.2
- vhd-tool
- vhdlib
- virtual_dom>=v0.9.1 & <v0.17.0
- visitors>=20210127
- vlq
- vlt
- vmnet<1.2.0 | >=1.3.1
- voaacenc
- vocal
- volt
- voqc>=0.2.0
- vorbis<0.6.2 | >=0.7.1
- vpnkit!=0.1.1
- vpt<5.0.0
- vrt
- vscoq-language-server
- vue-jsoo=0.2
- vue-ppx
- wall>=0.4
- wamp
- wamp-msgpck
- wamp-yojson
- wasm>=2.0.0
- wasmtime
- wayland<2.0
- waylaunch
- wcs
- wcs-api
- wcs-lib
- wcwidth
- wdialog
- webauthn
- webbrowser
- weberizer!=0.7.2 & !=0.7.7
- webidl>=1.0
- webmachine
- websocket!=2.12
- websocket-async!=2.12
- websocket-lwt<2.12
- websocket-lwt-unix
- websocketaf
- websocketml
- webtest
- webtest-js
- weevil
- why>=2.32
- why3>=0.85 & <1.0.0 | >=1.2.1
- why3-coq
- why3-ide
- why3find
- wikitext
- win-error
- win-eventlog
- winsvc>=1.0.1
- wiringpi
- ws
- ws-server
- wseg
- wtf8
- wtr
- wtr-ppx
- wu-manber-fuzzy-search
- wxOCaml
- wyrd>=1.4.6
- x509
- x86_64-esperanto
- xapi-backtrace
- xapi-forkexecd
- xapi-idl
- xapi-inventory
- xapi-libs-transitional
- xapi-rrd!=1.0.2
- xapi-rrd-transport
- xapi-rrdd
- xapi-stdext
- xapi-stdext-date
- xapi-stdext-encodings
- xapi-stdext-pervasives
- xapi-stdext-std
- xapi-stdext-threads>=4.19.0
- xapi-stdext-unix
- xapi-stdext-zerocheck
- xapi-tapctl
- xapi-xenops
- xcursor
- xdg
- xdg-basedir
- xe
- xe-unikernel-upload
- xedbindings
- xen-api-client
- xen-block-driver>=0.2.5
- xen-disk
- xen-evtchn>=1.0.6
- xen-evtchn-unix
- xen-gnt
- xen-gnt-unix
- xenctrl>=0.9.29 & <0.9.32
- xenstore<1.3.0 | >=2.0.0
- xenstore_transport<0.9.2 | >=0.9.6
- xentropyd
- xlsx2csv
- xml-light
- xmldiff
- xmlm>=1.3.0
- xmlplaylist
- xtmpl=0.10 | >=0.14.0
- xxhash
- yajl
- yajl-extra<0.7.3
- yaml
- yara
- yices2
- yices2_bindings
- yocaml<2.0.0
- yocaml_cmark
- yocaml_git<2.0.0
- yocaml_jingoo<2.0.0
- yocaml_markdown
- yocaml_mustache<2.0.0
- yocaml_syndication<2.0.0
- yocaml_unix<2.0.0
- yocaml_yaml<2.0.0
- yojson>=1.4.0
- yojson-bench
- yojson-five
- yosqlite
- yurt>=0.3
- yuscii
- yuujinchou<3.0.0
- z3
- zanuda
- zar
- zarith>=1.3
- zarith-freestanding
- zarith-ppx
- zarith-xen
- zarith_stubs_js<v0.17.0
- zarr
- zarr-lwt
- zarr-sync
- zbar
- zed>=1.6
- zeit
- zelus
- zelus-gtk
- zenon>=0.8.4
- zenon_modulo
- zephyrus
- zero<109.19.00
- zipc
- zipperposition
- zipperposition-tools
- zlib>=0.6
- zlist<0.4.0
- zmq<4.0-1 | >=4.0-8
- zmq-async
- zmq-eio
- zmq-lwt
- zstandard<v0.17.0
- zstd
- zxcvbn
