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.5.2.2/opam |
Required by
- 0install<2.8 | >=2.14.1
- 0install-gtk
- 0install-solver
- aacplus
- abella<2.0.3 | >=2.0.8
- absolute
- abstract_algebra
- abt
- accessor
- accessor_async
- accessor_base
- accessor_core!=v0.14.1
- acgtk<1.5.0 | >=1.5.2
- aches
- aches-lwt
- acme
- acp4
- acpc
- activitypub
- activitypub_server
- adelfa
- adobe_font_metrics
- afl
- afl-persistent
- ago
- agrid
- ahrocksdb
- aifad
- alba>=0.4.4
- albatross
- alcotest>=0.8.0
- alcotest-async
- alcotest-lwt
- alcotest-mirage
- alg_structs
- alg_structs_qcheck
- algaeff>=0.2.0
- aliases
- alonzo
- alsa>=0.2.3
- alt-ergo>=1.30
- alt-ergo-free<2.2.0
- alt-ergo-lib
- alt-ergo-parsers
- altgr-ergo
- ambient-context
- ambient-context-eio
- 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
- anders
- angstrom>=0.6.0
- angstrom-async
- angstrom-lwt-unix>=0.8.0
- angstrom-unix
- ansi
- ansi-parse
- ansicolor
- ANSITerminal=0.8 | >=0.8.4
- antic<0.4.0
- anycache
- anycache-async
- anycache-lwt
- ao<0.2.2
- apero-core
- apero-net
- apero-time
- api-watch
- apron<20150820 | >=v0.9.14~beta.2
- apronext
- arakoon>=1.8.6
- arb<0.4.0
- archetype
- archi
- archi-async
- archi-lwt
- archsat
- argon2>=1.0.0
- argsh
- arp
- arp-mirage
- arrakis
- arrayjit
- art
- asai>=0.3.1
- asak>=0.5
- ascend
- ascii85
- asetmap
- ask
- ask-integrator
- asl<0.9 | >=0.11
- asli
- asn1-combinators>=0.2.4
- assimp
- ast_generic
- astring>=0.8.5
- async<109.19.00 | >=113.24.00 & !=113.33.03
- async-mvar
- async-uri>=0.2
- async-zmq
- async_core<109.19.00
- async_durable
- 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
- async_find!=111.28.00 & !=113.33.03
- async_graphics<0.7.0
- async_inotify!=113.00.00 & !=113.33.03
- async_interactive
- async_js>=v0.9.1
- async_kernel>=113.24.00 & !=113.33.03 & !=v0.11.0
- async_log
- async_parallel>=113.24.00 & <113.33.03 | >=v0.9.1
- async_rpc_kernel>=113.24.00 & !=113.33.03
- async_rpc_websocket
- async_sendfile
- async_shell!=109.28.03 & <113.33.03 | >=v0.9.1
- async_smtp<112.35.00 | >=113.24.00 & !=113.33.03
- async_ssl<112.35.00 | =113.24.00 | >=113.33.06
- async_udp
- async_unix<109.19.00 | =113.24.00 | =113.33.00+4.03 | >=v0.13.1
- async_websocket
- atable
- atacama
- atd>=2.3.3
- 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<1.0.0 | >=1.2
- 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!=4.4.0
- aws-sdb
- aws-sqs
- aws-ssm
- aws-sts
- azblob
- azblob-async
- azure-cosmos-db
- b0>=0.0.5
- babel
- baby
- backoff
- bag
- baguette_sharp
- balancer
- bam
- bam-ppx>=0.3
- 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.0 | >=v0.15.1
- base-bytes>=base
- base-domains
- base-implicits
- base-metaocaml-ocamlfind
- base-native-int63
- base32
- base58
- base64>=2.1.2 & !=2.3.0
- base_bigstring
- base_quickcheck
- base_trie
- bastet>=2.0.0
- bastet_async
- bastet_lwt
- batch_jaro_winkler
- batsat
- batsh
- batteries>=3.8.0
- bddrand
- bech32
- bechamel>=0.3.0
- bechamel-js
- bechamel-notty
- bechamel-perf
- beluga>=0.8.1 & !=1.0
- bench
- benchmark>=1.5
- benchpress
- benchpress-server
- bencode!=0.2
- bentov
- bes
- bestline
- bheap>=2.0.0
- bibtex2html>=1.99
- bidirectional_map
- bigarray-compat>=1.1.0
- bigarray-overlap
- bigdecimal
- bignum<112.35.00 | >=113.24.00 & !=113.33.03
- bigstring>=0.2
- bigstring-unix>=0.3
- bigstringaf
- bimage
- bimage-display>=0.6.0
- bimage-gtk
- bimage-io
- bimage-lwt
- bimage-sdl
- bimage-unix
- bimap
- bin_prot<109.15.00 | >=v0.9.2
- bin_tree
- binaryen<0.16.0 | >=0.17.1
- binaryen_dsl
- binbin
- bindlib
- biniou>=1.1.0 & !=1.2.1
- binning
- binsec>=0.8.2
- bio_io
- biotk
- bip32
- bisect-summary
- bisect_ppx>=1.3.1 & <2.0.0 | >=2.8.1
- bisect_ppx-ocamlbuild
- bistro
- bitcoin<2.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>=0.4.0
- bjack<0.1.6
- blahcaml
- blake2>=0.2
- blake3<0.3
- 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
- bookaml
- bos>=0.2.1
- boulangerie
- box
- bpf
- 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
- bytebuffer
- bytepdf
- bytestring
- c3
- ca-certs
- ca-certs-nss
- cactus
- cairn
- cairo2>=0.6.4
- cairo2-gtk
- cairo2-pango
- caisar
- caisar-ir
- caisar-nnet
- caisar-onnx
- caisar-ovo
- caisar-xgboost
- calcium<0.4.0
- calculon
- calculon-web
- caldav
- calendar>=3.0.0
- calendars
- calipso
- calli
- callipyge
- camelot<0.5
- camels
- camelsnakekebab
- caml-mode
- camlbz2>=transition
- camldm
- camlgpc
- camlhighlight
- camlidl>=1.12
- camlimages>=4.2.5 & <5.0.3 | >=5.0.5
- camlix
- camlkit-base
- camlon>=2.0.0
- camlp-streams
- camlp4=4.02.0-1modular-implicits | >=5.2
- camlp5>=8.03.00
- camlp5-buildscripts
- camlpdf>=2.5.3
- camlprime
- camlrack
- camlzip>=1.11
- camomile>=0.8.6 & !=1.0.0 & !=1.0.2
- camyll
- canary
- caper
- capitalization
- capnp
- capnp-rpc>=1.2.2
- capnp-rpc-lwt
- capnp-rpc-mirage
- capnp-rpc-net
- capnp-rpc-unix!=0.3
- caqti<1.0.0 | >=1.2.0
- caqti-async
- caqti-driver-mariadb
- caqti-driver-pgx
- caqti-driver-postgresql
- caqti-driver-sqlite3
- caqti-dynload
- caqti-eio
- caqti-lwt
- caqti-mirage
- caqti-tls
- caqti-type-calendar
- carray
- carton>=0.4.4
- carton-git
- carton-lwt
- castore
- catala
- catapult
- catapult-client
- catapult-file
- catapult-sqlite
- cb-check
- cbor>=0.2
- cborl
- cca
- ccbg
- cconv>=0.5
- cconv-ppx
- ccss>=1.6
- cdb
- cdrom
- ceph
- certify>=0.2
- cfg>=2.1.0
- cfgen
- cfml
- cfstream=1.3.0 | >=1.3.2
- cgroups
- chacha
- chalk
- chamelon
- chamelon-unix
- chamo>=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 | >=4.7.0
- clangml-transforms=0.24 | >=0.26
- clap
- class_group_vdf!=0.0.3
- climate
- cll
- cloudi>=2.0.2
- clz
- cmarker
- cmarkit
- cmdlang
- cmdlang-stdlib-runner
- cmdlang-to-climate
- cmdlang-to-cmdliner
- cmdliner>=1.0.4
- cmdliner-stdlib
- cmdtui>=0.4.3
- cmdtui-lambda-term
- cmitomli
- coap
- coap-core
- coap-server-lwt
- cobs
- coccinelle>=1.3.0
- coclobas
- codicons
- cohttp>=2.3.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
- cohttp_static_handler
- coin
- colibri2>=0.4
- colibrics>=0.4
- colibrilib
- colombe
- color
- color-brewery
- colors
- combic
- combinaml
- combinat
- comby
- comby-kernel
- comby-semantic
- command_rpc
- commonjs_of_ocaml
- commons
- comparelib<113.00.00
- compsort
- conan>=0.0.4
- conan-cli!=0.0.2
- 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>=0.11.0
- conex-mirage-crypto
- conex-nocrypto
- conf-bap-llvm
- conf-binutils
- conf-ida
- conf-libev
- conf-radare2
- confero
- config<0.0.2
- configuration
- configurator
- conformist
- conjurywith-test & >=2.2
- containers>=3.7
- containers-data<3.9 | >=3.11
- containers-thread
- content_security_policy
- cookie
- cookie-js
- cookies
- coq>=8.13.0 & <8.17.0
- coq-core
- coq-lsp
- coq-serapi<8.7.2+0.4.13 | >=8.8.0+0.5.2
- coq-shell
- coq-waterproof
- 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.16.1 & !=v0.17.0
- core-and-more
- core-lwt<0.2.0
- core_bench!=112.35.00 & !=113.33.00 & !=113.33.03
- core_compat
- core_extended>=108.00.02 & <109.19.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.1
- core_kernel>=v0.14.1
- core_profiler>=113.24.00 & !=113.33.03
- core_unix<v0.15.0 | >=v0.15.2
- corecount
- corosync
- cosovo
- cow=2.0.1 | >=2.3.0
- cowabloga<0.3.0
- cpdf<2.1.1 | >=2.3
- cpm
- cppo>=1.6.7
- cppo_ocamlbuild
- cpu
- cpuid
- craml
- crc>=1.0.0 & !=2.1.0
- crlibm
- crontab
- crowbar
- crunch>=2.0.0
- cry>=0.6.0
- crypt>=1.2
- cryptodbm>=0.84.2
- cryptokit>=1.16.1
- 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>=2.0 & !=2.2
- csv-lwt
- csvfields>=v0.9.1 & !=v0.15.0
- csvtool
- ctoxml
- ctypes>=0.22.0
- ctypes-build
- ctypes-foreign>=0.21.1
- cubicle>=1.2.0
- cudajit
- cudf>=0.10
- 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
- current_rpc
- current_slack
- current_ssh
- current_web
- curses>=1.0.11
- curve-sampling
- custom_printf>=111.21.00 & <113.00.00
- cvc5
- cviode
- cwe_checker
- d3
- daft
- 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.4 & <0.5 | >=0.7
- dates_calc
- daypack-lib
- dbf>=0.2.0
- dblp
- dblp-api
- dbm>=1.3
- deadlock
- debian-formats>=0.1.2
- decimal
- decoders
- decoders-bencode
- decoders-cbor
- decoders-ezjsonm
- decoders-ezxmlm
- decoders-jsonaf
- decoders-jsonm
- decoders-msgpck
- decoders-sexplib
- decoders-yojson
- decompress>=0.8
- dedent
- dedukti
- delimcc_of_fxhandler
- delimited_parsing
- depext
- depyt>=0.2.0
- deriving>=0.7.1
- devkit>=0.5
- diet<0.2 | >=0.4
- diff
- diffable
- digestif>=0.8.0
- directories
- dirsift
- dirsp-exchange
- dirsp-exchange-kbb2017
- dirsp-proscript
- dirsp-proscript-mirage
- dirsp-ps2ocaml
- diskuvbox!=0.1.1
- disml
- dispatch>=0.4.0
- dispatch-js
- distributed-lwt
- distributed-uwt
- dkim
- dkim-bin
- dkim-mirage
- dkml-c-probe
- dkml-dune-dsl
- dkml-dune-dsl-show
- dkml-install
- dkml-install-installer>=0.5.3
- dkml-install-runner>=0.4.0 & !=0.5.2
- dkml-package-console>=0.5.3
- DkSDKFFIOCaml_Std
- dlist>=0.0.3
- dlm
- dmap
- dns>=6.0.0
- dns-async
- dns-certify
- dns-cli
- dns-client
- dns-client-lwt
- dns-client-miou-unix
- 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
- docker_hub
- dockerfile>=1.2.0 & <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=0.4 | >=0.5
- dolmen_bin
- dolmen_loop
- dolmen_lsp
- dolmen_model
- dolmen_type
- dolog>=4.0.0
- domain-local-await
- domain-local-timeout
- domain-name
- domain_shims
- domainslib>=0.4.1
- dose
- dose3!=6.1
- dot-merlin-reader>=4.14-502~preview & <5.3~5.3preview
- dotenv
- down>=0.1.0
- DrawGrammar>=0.2.1
- dream>=1.0.0~alpha4
- dream-accept
- dream-cli
- dream-encoding
- dream-htmx
- dream-httpaf>=1.0.0~alpha2
- dream-livereload
- dream-pure
- drom
- drom_lib
- drom_toml
- dropbox<0.2
- dryunit>=0.4.0
- dscheck
- dsfo
- dssi<0.1.3 | >=0.1.5
- dtoa
- dtools>=0.4.2
- dual
- duff>=0.5
- dump_ocamlformat
- dune>=3.3.0
- 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>=2.9.3
- 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.3.2
- easy-format>=1.3.3
- easy_logging
- easy_logging_yojson
- easy_xlsx
- ecaml
- edn>=0.2.0
- efl>=1.12.0
- ego
- eigen
- eio
- eio-ssl
- eio-trace
- either
- elasticsearch-cli
- electrod
- electrumAnalyzer
- elf2json
- elina
- eliom>=10.4.1
- elpi<1.14.3 | >=1.16.3
- email_message<112.35.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.1 & !=v0.11.0
- embedded_ocaml_templates
- emile
- emoji
- encoding
- encore!=0.3
- enumerate<111.08.00
- enumerators
- env_config
- epictetus
- eqaf!=0.8
- eqaf-cstruct
- equinoxe
- eris
- eris-lwt
- erlang
- erm_xmpp
- errpy
- erssical
- esgg
- esperanto-cosmopolitan>=0.0.5
- ethernet
- euler
- exenum>=0.82.0
- exit
- exn-source
- expect_test_helpers
- expect_test_helpers_async
- expect_test_helpers_core
- expect_test_helpers_kernel
- extism
- extism-manifest
- extlib>=1.7.9
- extprot>=1.1.2 & <1.3.0 | >=1.6.0
- extunix=0.2.0 | >=0.4.1
- ez-conf-lib
- ez_api
- ez_cmdliner
- ez_config<0.2.0
- 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>=1.1.4
- facteur
- fadbadml
- faillib
- faraday>=0.3.0
- faraday-async
- faraday-lwt
- faraday-lwt-unix
- farfadet
- farith
- farmhash
- fasmifra
- fat-filesystem!=0.12.0 & !=0.12.2
- fd-send-recv>=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>=1.0.0~beta1
- ffmpeg-av
- ffmpeg-avcodec
- ffmpeg-avdevice
- ffmpeg-avfilter
- ffmpeg-avutil
- ffmpeg-swresample
- ffmpeg-swscale
- fftw3>=0.8.5
- fiber
- fiber-lwt
- fieldslib>=v0.9.0
- file-rewriter
- file_path
- fileutils>=0.6.4
- finch
- findlib_top
- fit
- fix<20181206 | >=20220121
- fkie-cad-cwe-checker<0.2
- flac!=0.1.2
- flex-array
- flint
- flock
- flow>=0.3
- flow_parser=0.80.0 | >=0.246.0
- flowtype>=0.62.0 & <0.87.0
- fluent-logger<1.1.0
- fm-simplex-plugin
- fmlib
- fmlib_browser
- fmlib_js
- fmlib_parse<0.5.0 | >=0.5.2
- fmlib_pretty
- fmlib_std
- fmt>=0.9.0
- fontforge-of-ocaml
- forester
- fpath>=0.7.3
- fpath-base
- fpath-sexp0
- 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<0.7
- frei0r<0.1.2
- frenetic
- fromager
- FrontC>=3.4.1
- fstar>=2022.01.15
- fswatch
- fswatch_async
- fswatch_lwt
- fun-sql
- functoria>=2.2.1
- functoria-runtime>=2.2.2
- funfields
- fuseau
- future
- fuzzy_compare
- fuzzy_match
- fzf
- gadelac<0.6.1
- gamepad
- gammu>=0.9.4
- gapi-ocaml>=0.3.5
- gavl
- gbddml>=2.71.15
- gccjit
- gdal<0.3.0 | >=0.9.0
- gdbprofiler>=0.2
- gedcom
- gel
- gemini
- gen>=0.5.3
- gen_js_api>=1.0.6
- gen_server
- genet<0.6
- genlet
- genspio
- genspir
- geojson
- geoml
- get_line<5.0.0
- getopt>=20230213
- getopts
- gettext=0.3.8
- gettext-camomile
- gettext-stub<0.4.2
- gg>=1.0.0
- git<1.4.3 | >=1.8.0 & !=1.10.0 & !=2.1.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
- glfw-ocaml
- glical>=0.0.3
- glpk!=0.1.7
- gluon
- 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 | >=2.2.1
- goblint-cil>=2.0.0
- google-drive-ocamlfuse>=0.7.31
- 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.15
- grib
- grid
- grpc
- grpc-async
- gsasl
- gsl>=1.25.0
- gstreamer
- GT!=0.4.0
- GuaCaml>=0.04
- guardian
- gufo
- guile
- gxl-light
- h1
- h1-lwt-unix
- h1_parser
- h2>=0.9.0
- h2-async
- h2-eio
- h2-lwt
- h2-lwt-unix
- h2-mirage
- hachis
- hack_parallel
- hacl-star
- hacl-star-raw
- hacl_func
- hacl_x25519>=0.1.1
- hamt<1.0.0
- happy-eyeballs
- happy-eyeballs-lwt
- happy-eyeballs-miou-unix
- happy-eyeballs-mirage
- hardcaml<1.1.1 | >=v0.12.0
- hardcaml-affirm
- hardcaml-bloop
- hardcaml-examples!=0.2
- hardcaml-framework
- hardcaml-llvmsim
- hardcaml-reedsolomon
- hardcaml-vpi
- hardcaml-yosys
- hardcaml_axi
- hardcaml_c
- hardcaml_circuits
- hardcaml_event_driven_sim
- hardcaml_fixed_point
- hardcaml_handshake
- hardcaml_of_verilog
- hardcaml_step_testbench
- hardcaml_verify
- hardcaml_verilator
- hardcaml_waveterm
- hardcaml_xilinx
- hardcaml_xilinx_components
- hardcaml_xilinx_reports
- hashcons>=1.2
- hashids
- haxe>=4.0.0
- hc
- hdf5>=0.1.5
- hdr_histogram
- headache>=1.06
- header-check
- hector
- herdtools7>=7.54
- hevea>=2.36
- hex>=1.2.0
- hex_encode
- hexstring
- hg_lib
- hidapi<1.1 | >=1.1.2
- hidapi-lwt
- higher
- higher_kinded
- highlexer
- higlo!=0.3
- hiredis
- hiredis-value
- hkdf>=1.0.1
- hl_yaml
- hlarp>=0.0.3
- hll
- hmap>=0.8.1
- hockmd
- hol2dk
- hol_light
- hol_light_module
- hooke
- horned_worm!=0.3.1
- hpack
- hsluv
- html_of_jsx
- 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
- httpcats
- httph
- httpun
- httpun-async
- httpun-eio
- 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
- hxd>=0.2.0
- hydro
- hyper
- i2c
- i3ipc>=0.1.2
- ibx<0.8.1
- icalendar>=0.1.3
- idd
- idds
- igvxml
- imagelib>=20221222
- imagemagick
- imap
- imaplet-lwt<0.1.15
- imguiml
- incr_dom
- incr_dom_interactive
- incr_dom_keyboard
- incr_dom_partial_render
- incr_dom_sexp_form
- incr_dom_widgets
- incr_map
- incr_select
- incremental>=113.24.00 & !=113.33.03
- incremental_kernel!=113.33.03 & !=v0.11.0
- indentation_buffer
- index>=1.3.0
- index-bench
- inferno
- influxdb
- influxdb-async
- influxdb-lwt
- inotify>=2.4
- inotify-eio
- inquire<0.2.1 | >=0.3.1
- inquirer_oc
- inspect
- int_repr
- integers>=0.6.0
- integration1d>=0.5
- interface-prime
- interface-prime-lwt
- interval<1.6
- interval-map
- interval_base
- interval_crlibm<1.6
- inuit!=0.4
- 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
- ip2whois
- ipaddr>=5.0.0
- 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 & !=1.4
- itv-tree>=2.2
- ivy
- jane-street-headers
- jane-street-tests
- jane_rope
- janestreet_cpuid
- janestreet_csv
- janestreet_lru_cache
- jasminbuild & >=2023.06.2
- javalib>=3.2.2
- javascriptcore
- jbuilder>=transition
- jekyll-format
- jemalloc
- jenga<109.19.00 | >=113.24.00 & !=113.33.00 & !=113.33.03
- jerboa
- jext
- jhupllib
- jingoo>=1.2.19
- jitsu
- jitsu-libvirt
- jitsu-libxl
- jitsu-xapi
- joolog
- jose
- js-lz4
- js_of_ocaml>=3.5.0
- js_of_ocaml-camlp4
- js_of_ocaml-compiler>=5.7.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
- JsOfOCairo>=1.0.1
- json-data-encoding
- json-data-encoding-browser
- json-data-encoding-bson
- json-derivers
- json-predicate
- json-static
- json-wheel>=1.0.6+safe-string
- json-wheel_jane_street_overlay
- json_decoder
- json_of_jsonm
- jsonaf
- jsondiff
- jsonm!=1.0.0
- jsonoo
- jsonrpc>=1.3.0
- jsonschema2atd
- jsoo_broadcastchannel>=2.0.0
- jsoo_router
- jsoo_storage>=1.0.1
- jst-config
- junit>=1.0 & <2.0.1
- junit_alcotest<2.0.1
- junit_ounit<2.0.1
- jupyter-archimedes
- jupyter-kernel
- jwt
- jwto
- kafka>=0.3 & <0.5
- kafka_async
- kafka_lwt
- kappa-agents<4.1.3
- kappa-binaries<4.1.3
- kappa-server
- karamel
- KaSim>=4.0.0
- kcas
- kdf
- kdl
- ke
- ketrew>=1.1.1 & !=3.0.0
- key-parsers!=0.10.0 & <1.4.0
- kicadsch
- kind2>=1.5.1
- kinetic-client
- kittyimg
- kkmarkdown
- kmt
- knights_tour
- kqueue
- krb
- krb5
- kremlin=1.0.0
- kubecaml
- kuznechik
- kyotocabinet
- lab
- lablgl>=1.07
- lablgtk>=2.18.13
- 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>=10.0.1
- ladspa<0.2.0 | >=0.2.2
- lambda
- lambda-runtime
- lambda-term<1.6 | >=1.12.0 & !=3.3.0
- lambda_streams
- lambda_streams_async
- lambda_streams_lwt
- lambdapi
- lambdasoup>=1.0.0
- lambdoc
- lame<0.3.4
- landmarks>=1.3
- landmarks-ppx
- lastfm=0.3.2 | >=0.3.4
- launchd
- lazy-trie>=1.1.0
- lbfgs>=0.9
- lbvs_consent<2.0.0 | >=2.1.3
- ldap
- ldp
- ldp_curl
- ldp_js
- ldp_tls
- leaflet
- learn-ocaml<0.12
- leaves
- ledgerwallet
- ledgerwallet-tezos
- ledit=2.04 | >=2.06
- legacy_diffable
- lem>=2022-12-10
- lemonade
- lemonade-sqlite
- lens>=1.2.4
- let-if
- letsencrypt
- letsencrypt-app
- letsencrypt-dns
- letsencrypt-mirage
- letters
- leveldb<1.0.3
- levenshtein
- lib_parsing
- libabsolute
- libbinaryen
- libbpf
- libc
- libdash
- libevent>=0.9.0
- libres3
- libssh
- libsvm!=0.9.3 & <0.10.0
- libudev>=0.2.1
- libzipperposition
- lilac
- lilis
- line-up-words
- line_oriented
- linenoise<1.1.0 | >=1.3.1
- links>=0.9.8
- links-mysql
- links-postgresql>=0.7.3
- links-sqlite3
- linksem>=0.8
- linol
- linol-lwt<0.6
- lintcstubs
- lintcstubs-gen
- linwrap>=9.1.5
- lipsum
- liquid_interpreter
- liquid_ml
- liquid_parser
- liquid_std
- liquid_syntax
- liquidsoap>=1.4.0 & !=2.0.6 & <2.1.0
- liquidsoap-core
- liquidsoap-daemon
- liquidsoap-js
- liquidsoap-lang
- litiom
- little_logger
- llama-cpp-ocaml
- llama_core
- llama_interactive>=0.1.0
- llama_midi
- llopt
- llvm
- llvmgraph
- lmdb>=1.0
- lo<0.2.0
- loc
- lockfree
- 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
- loop
- 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>=0.9.1
- lua_pattern
- lucid
- lun
- lustre-v6!=6.101.7
- lutils>=1.54.1
- lutin>=2.71.10
- luv
- luv_unix
- lwd
- lwt>=5.7.0
- lwt-binio
- lwt-canceler
- lwt-dllist
- lwt-exit
- lwt-parallel
- lwt-pipe
- lwt-pipeline
- lwt-watcher
- lwt-zmq
- lwt_camlp4
- lwt_domain
- lwt_eio<0.2
- lwt_glib!=1.0.1
- lwt_log>=1.1.2
- lwt_named_threads
- lwt_ppx
- lwt_ppx_let>=5.6.0
- lwt_react!=1.0.1
- lwt_retry
- lwt_ssl>=1.1.1
- lymp<0.2.4
- lz4>=1.2.0
- lz4_chans>=3.0.0
- lzo>=0.0.3
- m_tree
- macaddr
- macaddr-cstruct
- macaddr-sexp
- macaque!=0.7.1
- macaroons<0.1.1
- mad<0.5.0 | >=0.5.3
- magic-mime>=1.0.1
- magic-trace
- maildir
- maki
- malfunction>=0.6
- man_in_the_middle_debugger
- markdown
- markup>=1.0.3
- mastodon-archive-viewer
- matplotlib
- maxminddb
- mazeppa
- mbr-format
- mc2
- mccs>=1.1+11
- md2mld
- mdx>=2.4.0
- mec
- mecab
- mechaml
- mehari
- mehari-eio
- mehari-eio-unix
- mel
- melange=4.0.0-52 | >=4.0.1-52
- melange-atdgen-codec-runtime
- melange-fest
- melange-fetch
- melange-json
- melange-json-native
- melange-moment
- melange-numeral
- melange-radix-icons
- melange-react-dates
- melange-react-query
- melange-recharts
- melange-testing-library
- melange-webapi
- meldep
- melt
- mem_usage
- memcad
- memcpy
- memgraph
- memgraph_kitty
- memo
- memtrace<0.1.1 | >=0.2.3
- memtrace_viewer>=v0.15.0
- menhir>=20200123 & <20211125 | >=20230415
- menhirCST
- menhirLib
- menhirSdk
- merge-fmt
- merge-queues
- merge-ropes
- mergeable-vector
- merlin=4.14-502~preview | >=5.0-502 & <5.3~5.3preview
- merlin-acme
- merlin-extend>=0.6
- merlin-lib=4.14-502~preview | >=5.0-502 & <5.3~5.3preview
- merlin-of-pds
- mesh>=0.8.9
- mesh-display
- mesh-easymesh
- mesh-graphics
- mesh-triangle<0.9.5
- message-switch
- metadata
- metadb
- metapp>=0.4.0
- metrics>=0.2.0
- 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>=0.0.5
- mimic-happy-eyeballs
- mindstorm>=0.8
- mindstorm-lwt
- minicaml
- minicli
- minilight
- minima-theme
- minimal
- minisat=0.2 | >=0.4
- minivpt
- minttea
- miou
- mirage>=2.0.0 & <2.7.0 | >=3.1.1 & <4.5.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.14.1
- mirage-block-xen
- mirage-bootvar
- mirage-bootvar-solo5
- mirage-bootvar-unix
- mirage-bootvar-xen
- 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-eio>=0.11.0
- mirage-crypto-rng-lwt
- mirage-crypto-rng-miou-unix
- 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>=0.6.0
- 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>=0.3.0
- 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<1.1.0 | >=3.0.0
- mirage-types-lwt
- mirage-unix>=3.0.8
- mirage-vnetif
- mirage-vnetif-stack
- mirage-www
- mirage-xen>=2.6.0
- mirage-xen-minios
- mirage-xen-posix
- mirror
- misuja
- mjson
- mkaudio
- mkocaml>=1.2
- ml2mxml
- mlbdd
- mld
- mlfenv
- MlFront_Cli
- mlgmpidl>=1.2.15
- mlmpfr
- mlpost>=0.8.2
- mlpost-lablgtk
- mlt_parser
- mlx
- mm>=0.8.1
- mmap
- mmdb
- mmseg
- mnd
- mock>=1.0.0
- 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>=2.1.0
- monorobot
- moonpool
- moonpool-io
- moonpool-lwt
- mopsa
- morbig
- more-ocaml
- morsmall
- moss
- mparser>=1.3
- mparser-pcre
- mparser-re
- mperf
- mpg123
- mpi
- mpp=0.3.2 | >=0.3.6
- mpris>=0.1.1
- mpris-clients
- mqtt!=0.0.2
- mrmime>=0.6.1
- msat>=0.8.1
- msat-bin
- msgpck
- msgpck-repr
- mssql
- mstruct>=1.4.0
- mtime>=0.8.4
- mugen
- mula
- multibase
- multicodec
- multicont>=1.0.2
- multicore-bench
- multicore-magic
- multicore-magic-dscheck
- multihash
- multipart-form-data<0.3.0
- multipart_form>=0.6.0
- multipart_form-cohttp-lwt
- multipart_form-eio
- multipart_form-lwt>=0.6.0
- murmur3
- mustache!=2.0.0 & <2.2.0 | >=3.0.0
- mustache-cli
- mutaml
- mutf8
- mvar
- mwt
- mybuild
- mysql>=1.2.1
- mysql_protocol
- n_ary
- naboris
- nacc
- named-pipe
- namespaces
- nanoid
- nanomsg
- nanosvg
- nanosvg_text
- nbd
- nbd-tool
- nbd-unix
- nebula
- netamqp
- netchannel
- netkat
- netlink!=0.2.1
- netml
- netsnmp
- neural_nets_lib
- nice_parser
- ninja_utils
- niru
- nit
- nloge>=0.0.2
- nlopt>=0.7.0
- nlopt-ocaml>=transition
- nlp
- nmea
- nocoiner
- nocrypto>=0.2.0 & !=0.5.3
- noise
- nomad
- non_empty_list
- nonstd>=0.0.3
- nosetup
- note>=0.0.2
- notty<0.2.0 | >=0.2.3
- notty_async
- np
- npy>=0.0.7
- nsq>=0.1.1
- num>=1.0
- numalib
- numeric_string
- numerix
- nunchaku>=0.6
- nuscr>=2.0.0
- oasis>=0.4.7
- oasis-mirage
- oasis2debian
- oasis2opam<0.4.4 | >=0.6.1
- obandit=0.2.1
- obatcher
- obeam<0.1.0 | >=0.1.2
- obeanstalk
- obelisk
- obi
- obigstore
- obuild>=0.1.11
- obuilder
- obuilder-spec
- obus>=1.2.5
- oc45
- OCADml
- ocal=0.1.3 | >=0.2.1
- ocaml-basics!=0.4.0
- ocaml-buddy
- ocaml-canvas
- ocaml-compiler-libs<v0.10.0 | >=v0.17.0
- ocaml-data-notation<0.0.10
- ocaml-embed-file
- ocaml-expat
- ocaml-http>=0.1.6
- ocaml-index
- ocaml-inifiles
- ocaml-js-stdlib
- ocaml-logicalform
- ocaml-lsp-server=1.18.0~5.2preview | =1.19.0
- ocaml-lua>=1.8
- ocaml-makefile<6.39.2
- ocaml-markdown
- ocaml-migrate-parsetree-ocamlbuild>=1.2.0
- ocaml-monadic>=0.3.3
- ocaml-print-intf
- ocaml-probes
- ocaml-protoc>=2.3
- ocaml-protoc-plugin!=1.0.0
- ocaml-protoc-yojson
- ocaml-r>=0.1.0
- ocaml-syntax-shims
- ocaml-systempost & <4.13.0
- ocaml-systemd>=1.3
- ocaml-top<1.1.0 | >=1.1.5
- ocaml-variantspost & =5.2.2+trunk
- ocaml-vdom<transition
- ocaml-version
- ocaml-xml-rpc
- ocaml-zmq
- ocaml_db_model
- ocaml_intrinsics
- ocaml_intrinsics_kernel
- ocaml_openapi_generator
- 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>=5.2.0
- ocamlbuild<0.9.0 | >=0.14.3
- ocamlbuild-atdgen
- ocamlbuild-protoc
- ocamlc-loc
- ocamlclean>=2.3
- ocamldap>=2.3.0
- ocamldiff>=1.1
- ocamldot>=1.1
- ocamlfind>=1.9.5
- ocamlformat>=0.26.2
- ocamlformat-lib>=0.26.2
- ocamlformat-mlx
- ocamlformat-mlx-lib
- ocamlformat-rpc-lib>=0.22.4
- ocamlfuse=2.7.1-cvs6 | >=2.7.1-cvs8
- ocamlgraph>=2.0.0
- ocamlgraph_gtk
- ocamline
- ocamlmerlin-mlx
- ocamlog
- ocamlregextkit
- ocamlrss>=2.1.0
- ocamlscript>=3.0.0
- ocamlsdl2
- ocamlsdl2-image
- ocamlsdl2-ttf
- ocamltter<2.0.1 | =2.1.1 | >=4.1.0
- ocamlviz
- ocamlwc
- ocamlyices
- ocannl_npy
- OCanren
- OCanren-ppx
- ocb
- ocb-stubblr
- ocephes
- ocf>=0.8.0
- oci
- oclaunch
- oclock
- ocluster
- ocluster-api
- ocluster-worker
- 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.6
- ocp-ocamlres!=0.3
- ocp-pp<1.99.19-beta
- ocp-reloc
- ocp-search
- ocp_reveal
- ocplib-compat
- ocplib-config
- ocplib-endian>=1.1
- ocplib-file
- ocplib-json-typed!=0.4
- ocplib-json-typed-browser
- ocplib-json-typed-bson
- ocplib-resto
- ocplib-simplex!=0.4
- ocplib_stuff!=0.3.0
- ocsigen-i18n>=3.5.0
- ocsigen-start
- ocsigen-toolkit
- ocsigenserver>=2.12.0 & !=3.0.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<17.2
- octez-accuser-PtNairob<17.2 | >=18.0
- octez-accuser-PtParisB
- octez-alcotezt<17.2 | >=18.0
- octez-baker-Proxford
- octez-baker-PsParisC
- octez-baker-PtLimaPt>=16.0
- octez-baker-PtMumbai<17.2
- octez-baker-PtNairob<17.2 | >=18.0
- octez-baker-PtParisB
- octez-bls12-381-hash<17.2
- octez-bls12-381-polynomial<17.2
- octez-bls12-381-signature<17.2
- octez-client>=16.0 & <17.2 | >=18.0
- octez-codec>=16.0 & <17.2 | >=18.0
- octez-crawler<17.2 | >=18.0
- octez-dac-client
- octez-dac-node
- octez-dal-node
- octez-distributed-internal<17.2 | >=18.0
- octez-distributed-lwt-internal<17.2 | >=18.0
- octez-injector<17.2 | >=18.0
- octez-internal-libs
- octez-l2-libs
- octez-mec<17.2
- octez-node>=16.0 & <17.2 | >=18.0
- octez-node-config<17.2 | >=18.0
- octez-plompiler<17.2
- octez-plonk<17.2
- octez-polynomial<17.2
- 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 & <17.2 | >=18.0
- octez-proxy-server>=16.0 & <17.2 | >=18.0
- octez-rpc-process
- octez-shell-libs
- octez-signer>=16.0 & <17.2 | >=18.0
- octez-smart-rollup-client-Proxford
- octez-smart-rollup-client-PtMumbai<17.2
- octez-smart-rollup-client-PtNairob<17.2 | >=18.0
- octez-smart-rollup-node<17.2 | >=18.1
- 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<17.2
- octez-smart-rollup-node-PtNairob<17.2 | >=18.0
- octez-smart-rollup-node-PtParisB
- octez-smart-rollup-wasm-benchmark-lib<17.2
- octez-smart-rollup-wasm-debugger<17.2 | >=18.0
- 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.8 & <0.8.0 | >=0.9.1
- ocveralls
- odate>=0.6
- odbc
- odds
- odep
- odepack>=0.6.9
- odig<0.0.2 | >=0.0.4
- odisco
- odnnr
- odoc>=2.4.2
- odoc-depgraph
- odoc-parser>=1.0.1
- oepub
- of_json
- 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
- ollvm
- ollvm-tapir
- oma
- omake>=0.10.6
- omd>=1.3.2
- ometrics>=0.2.0
- omg
- omigrate
- oml<0.0.5 | >=0.0.7
- omlr
- omod>=0.0.4
- omtl
- oneffs
- oniguruma
- opaca
- 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.7
- opam-depext!=1.2.0
- opam-devel
- opam-dune-lint
- opam-ed
- opam-file-format=2.1.1 | >=2.1.5
- opam-format
- opam-graph
- opam-grep>=0.2.0
- opam-installer
- opam-lib<0.9.4 | >=1.0.0
- opam-lock
- opam-monorepo>=0.3.4
- 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
- opine
- opium
- opium-graphql
- opium-testing
- opium_kernel
- oplay
- oplot
- oplsr
- opomodoro
- opsian
- optal
- opti
- optimization1d!=0.5.1
- optiml-transport
- optint!=0.0.2
- 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
- orec
- orf>=1.0.1
- orgeat
- orm>=0.7.0
- orocksdb
- orrandomForest
- orsetto>=1.1.3
- 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<0.6.0 | >=1.1.1
- oseq>=0.4.1
- osh
- osm_xml
- osnap
- ostap>=0.6
- 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>=0.4.0
- oth
- otoggl
- otoml
- otr>=0.3.2
- ott>=0.33
- otto
- ounit-lwt<2.2.0
- ounit2>=2.2.6
- ounit2-lwt
- owee>=0.4
- owi
- owl>=0.3.7 & !=0.6.0
- owl-base<0.4.0 | =0.10.0 | >=1.1
- 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.4.0
- pa_bench<113.00.00
- pa_ounit<112.35.00
- pa_ppx>=0.14
- pa_ppx_hashcons>=0.11
- pa_ppx_migrate>=0.11
- pa_ppx_parsetree
- pa_ppx_q_ast>=0.11
- pa_ppx_quotation2extension
- pa_ppx_regexp
- pa_ppx_static>=0.02
- pa_ppx_string
- pa_ppx_unique>=0.11
- pa_solution
- pa_test<112.24.00
- packet
- packstream
- pacomb
- paf
- paf-cohttp
- paf-le
- pam
- pancake
- pandoc>=0.2.0
- pandoc-abbreviations
- pandoc-replace<0.2.1
- par_incr
- parany
- pardi
- pari
- pari-bindings
- parmap>=1.2.5
- parse-argv
- parsexp>=v0.9.1 & !=v0.11.0 & !=v0.14.0
- parsexp_io>=v0.9.1
- parsite
- parsley
- partition_map
- passage
- passmaker
- passmakercmd
- patch
- patdiff!=113.00.00 & !=113.33.03
- path_glob
- patience_diff!=112.24.00 & !=113.33.03
- 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-db
- pcre>=7.3.0
- pcre2
- pds
- pds-reachability
- pecu!=0.6
- perf
- petr4
- petrol
- pf-qubes
- pg_query
- pgocaml>=4.4.0
- pgocaml_ppx
- pgx<1.0 | >=2.2
- 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<1.0.0
- pkcs11-rev>=1.0.1
- pla>=1.2
- planck>=2.2.0
- planets>=0.1.14
- plateau
- plato
- plist-xml
- plotkicadsch<0.4.0 | >=0.5.2
- plotly
- plplot>=5.12.0
- podge<0.4
- polka
- poll
- polling_state_rpc
- 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-mqueue
- posix-semaphore
- posix-types
- posixat>=v0.10.0 & <v0.15.0 | >=v0.17.0
- postgres_async
- postgresql>=4.1.0
- pp
- pp-binary-ints
- pp_loc
- pprint>=20171003
- ppx-owl-opt
- ppx_accessor<v0.15.0 | >=v0.16.1
- ppx_assert>=113.24.00 & !=113.33.03
- ppx_ast>=v0.11.0
- ppx_bap>=v0.14.0
- ppx_base
- ppx_bench=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_bin_prot>=113.24.00 & !=113.33.00 & !=113.33.03 & !=v0.12.0
- ppx_bitstring=1.1.0 | >=1.3.3
- ppx_blob>=0.2
- ppx_camlrack
- ppx_cold
- ppx_compare=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_compose
- ppx_const>=2.0
- ppx_conv_func=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_core>=v0.9.2
- ppx_counters
- ppx_css
- ppx_cstruct
- ppx_cstubs=0.5.1
- 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 & !=v0.12.0
- ppx_default
- ppx_defer
- ppx_demo
- ppx_derive_at_runtime
- 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_ezjsonm
- 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_diff
- ppx_disable_unused_warnings
- 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_embed_file
- 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.15.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
- ppx_fixed_literal
- ppx_fun<0.0.9
- ppx_gen_rec
- ppx_getenv>=2.0
- ppx_globalize
- ppx_graphql
- ppx_hardcaml
- ppx_hash
- ppx_here>=113.24.00 & !=113.33.03
- ppx_ignore_instrumentation
- ppx_import>=1.7.1 & !=1.9.0 & !=1.10.0
- ppx_inline_alcotest
- ppx_inline_test=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_integer
- ppx_interact>=0.1.1
- ppx_irmin<2.4.0 | >=3.0.0
- ppx_jane!=113.33.03
- ppx_js_style!=v0.14.0
- ppx_jsobject_conv>=0.2.1 & <0.6.0 | >=0.9.0
- ppx_jsonaf_conv
- ppx_let!=113.33.00 & !=113.33.03
- ppx_log
- ppx_lun
- ppx_matches
- ppx_meta_conv>=4.0.0 & <4.1.0
- ppx_metaquot
- ppx_mica
- ppx_minidebug
- ppx_module_timer
- 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
- ppx_optint
- ppx_optional
- ppx_orakuda=3.0.1 | =3.1.0 | >=3.3.0
- ppx_overload>=1.4
- ppx_parser
- ppx_partial
- ppx_pattern_bind
- ppx_pipebang=113.24.00 | =113.33.00+4.03 | >=v0.9.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
- ppx_quick_test
- ppx_rapper
- ppx_rapper_async
- ppx_rapper_lwt
- ppx_regexp>=0.3.0
- ppx_seq
- ppx_sexp_conv>=113.24.00 & !=113.33.03
- ppx_sexp_message!=113.33.00 & !=113.33.03
- ppx_sexp_value=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_sqlexpr
- ppx_stable
- ppx_stable_witness
- ppx_string
- ppx_string_conv
- ppx_string_interpolation
- ppx_system
- ppx_test>=1.4.0
- ppx_there
- ppx_tools_versioned>=5.2.2
- ppx_trace
- ppx_traverse
- ppx_traverse_builtins
- ppx_ts
- ppx_tydi
- ppx_type_conv=113.24.00 | >=113.33.00+4.03 & !=113.33.03
- ppx_type_directed_value
- ppx_typed_fields
- ppx_typerep_conv=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_tyre
- ppx_units
- ppx_update
- ppx_variants_conv=113.24.00 | =113.33.00+4.03 | >=v0.9.0
- ppx_wideopen
- ppx_xml_conv>=113.24.00 & !=113.33.03
- ppx_yojson
- ppx_yojson_conv
- ppx_yojson_conv_lib
- ppxfind
- ppxlib>=0.12.0 & <0.14.0 | >=0.32.1~5.2preview
- ppxlib_jane<v0.17.1
- ppxx>=2.5.0
- pratter>=1.2.1
- prbnmcn-basic-structures
- prbnmcn-cgrph
- prbnmcn-clustering
- prbnmcn-dagger>=0.0.3
- prbnmcn-gnuplot
- prbnmcn-linalg
- prbnmcn-mcts
- prbnmcn-proptest
- prbnmcn-stats
- prbnmcn-ucb1>=0.0.2
- preface
- prelude
- prettiest
- pretty_expressive
- prettym
- primes
- pringo
- printbox>=0.6
- printbox-text<0.8
- prob-cache
- proc-smaps
- process
- process_limits
- processor
- producer
- prof_spacetime
- profiler-plugin
- profiling
- profunctor
- progress
- 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
- proverif>=1.97pl3
- provider
- prr
- psmt2-frontend
- psq
- psyche
- ptime>=0.8.6
- 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>=20220905
- pyml_bindgen
- pythonlib!=v0.15.0 & <v0.16.0
- qbf
- qcheck>=0.8 & !=0.19.1
- qcheck-alcotest!=0.19.1
- qcheck-core>=0.13 & !=0.19.1
- qcheck-lin>=0.2
- qcheck-multicoretests-util>=0.2
- qcheck-ounit!=0.19.1
- qcheck-stm>=0.2
- qcow<0.8.1 | >=0.10.0
- qcow-format
- qcow-tool
- qcstm
- qinap
- qiskit
- qmp
- qocamlbrowser=0.2.11
- qrc
- qrencode>=0.2
- qtest>=2.9 & !=2.10.1
- queenshead
- quests
- quick_print
- quickcheck!=1.0.0
- quickjs
- r2pipe
- radamsa
- radare2>=0.0.2
- randii
- random
- randomconv
- range
- ranger>=0.1.0
- rangeSet
- rankers>=2.0.9
- rashell
- rawlink>=1.2
- rawlink-eio
- rawlink-lwt
- raygun4ocaml
- rdbg>=1.175
- rdf>=0.5 & <0.7.0 | =0.11.0
- re>=1.7.2
- re2<112.35.00 | =113.24.00 | =113.33.00+4.03 | >=v0.9.1
- re2_stable
- re_parser
- rea
- react=1.0.0 | >=1.2.2
- reactiveData!=0.2.2
- reactjs-jsx-ppx
- readline
- reanalyze>=2.25.0
- reason>=3.11.0
- reason-react
- reason-react-ppx!=0.14.0
- reason-standard
- receive-mail
- received
- record_builder
- records!=0.6.0
- red-black-tree
- redirect>=0.1.1
- redis=0.3.6 | >=0.6
- redis-async
- redis-lwt>=0.3.6
- redis-sync>=0.3.6
- reed-solomon-erasure
- reedsolomon
- refl>=0.3.0
- regenerate
- regex_parser_intf
- regular>=1.2.0 & <1.4.0 | >=2.2.0
- remu_ts
- reparse
- reparse-lwt
- reparse-lwt-unix
- reparse-unix
- repr
- res>=5.0.0
- res_tailwindcss
- rescript-syntax
- reshowcase
- resource-pooling<0.3.2 | >=1.1
- resource_cache
- 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
- rfsm
- rhythm
- riak
- riak-pb
- riakc
- riakc_ppx!=3.1.2
- ringo>=0.2 & <0.4 | >=1.0.0
- ringo-lwt
- rio
- riot
- river
- rml>=1.09.00 & <1.09.04 | >=1.09.06
- rock
- root1d>=0.5
- rope>=0.6 & !=0.6.2
- rosa
- rosetta
- routes
- rpc<1.3.0 | >=5.9.0
- rpc_parallel>=113.24.00 & !=113.33.03
- rpclib!=6.0.0
- rpclib-async!=6.0.0
- rpclib-html
- rpclib-js
- rpclib-lwt!=6.0.0
- rpmfile
- rpmfile-cli
- rpmfile-eio
- rpmfile-unix
- rresult>=0.4.0
- rss
- rtop>=3.11.0
- rtree
- rubytt
- rungen
- runtime_events_tools
- rusage
- safa
- safemoney
- safepass>=3.0
- 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.12
- scad_ml
- scfg
- scgi
- schroedinger
- scipy
- scrypt
- scrypt-kdf
- search
- searchTree
- secp256k1-internal>=0.4.0
- sedlex>=3.0
- sek
- sel
- selective
- semantic_version
- semaphore-compat
- semver>=0.2.1
- semver2
- sendmail
- sendmail-lwt
- sendmail-miou-unix
- sendmail-mirage
- sendmsg
- sentry
- seq>=0.2.2
- seqes
- sequence<0.2
- sequencer_table
- serde
- serde_debug
- serde_derive
- serde_json
- serde_sexpr
- serde_xml
- serial
- server-reason-react
- 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
- setcore
- sexp
- sexp_decode
- sexp_diff
- sexp_diff_kernel
- sexp_grammar
- sexp_macro
- sexp_pretty>=v0.15.1
- sexp_select
- sexp_string_quickcheck
- sexplib>=v0.9.3 & !=v0.15.0
- sexplib0>=v0.15.1
- sexps-rewriter
- sfml>=0.09.2
- sgf
- sha>=1.15.2
- 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
- shell
- sherlodoc
- shexp<v0.11.0 | >=v0.12.0
- shine
- shuttle
- shuttle_http<0.8.1 | >=0.10.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
- smaws-clients
- smaws-lib
- 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 | >=0.3.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
- soundtouch
- soupault
- SourceCode_ASCII
- space-search
- spacetime_lib>=0.3.0
- spatial-shell
- spatial_index
- spawn
- spdiff
- spdx_licenses
- spectrum
- speed
- speex!=0.4.0
- spelll>=0.4
- spf>=2.0.2
- spices
- spin<0.8.0
- spirv
- splay_tree
- splittable_random
- spoc_ppx
- spoke
- spotify-cli>=0.3.0
- spotify-web-api<0.2.1
- spotify_ml
- spotinstall
- spotlib=4.0.2
- spreadsheetml
- sqids
- sqlexpr<0.7.1 | >=0.9.0
- sqlgg>=20200521
- sqlite3>=4.2.0
- sqlite3_utils
- squirrel
- srs>=2.0.0
- srt<0.1.1 | >=0.3.1
- ssh-agent
- ssh-agent-unix
- ssl>=0.5.12
- sslconf
- starpath
- starred_ml
- starterkit
- stationary
- statmemprof-emacs
- stb_image
- stb_image_write
- stb_truetype
- stdint>=0.7.1
- stdio>=v0.9.1
- stdlib-random>=1.2.0
- stdlib-shims
- stdune
- stitch
- stk
- stk_ppx
- stog>=0.15.0 & <0.19.0 | >=1.0.0
- stog-rdf
- stog-writing
- stone>=0.5.1
- store
- stored_reversed
- stramon-lib
- streamable>=v0.16.1
- streaming
- string_dict
- stringCodepointSplitter
- stringext>=1.5.0
- sturgeon
- styled-ppx<0.59.1
- subscriptions-transport-ws
- subtype-refinement
- sugar
- sun
- sundialsml>=6.1.1p1
- svmwrap>=5.1.1
- swagger
- swapfs
- swhid
- swhid_compute
- swhid_core
- swhid_types
- swipl
- symkat
- syncweb
- syndic>=1.6.0
- sys-socket
- sys-socket-unix
- syslog>=2.0.0
- syslog-message
- syslog-rfc5424
- systemverilog<0.0.2
- SZXX
- tablecloth-base>=0.0.10
- tablecloth-melange
- tablecloth-native!=0.0.8
- tabr
- taglib=0.3.6 | >=0.3.8
- taglog<0.2.0
- talaria-bibtex
- tallgeese
- tar>=2.0.1
- tar-eio
- tar-mirage>=2.0.0
- tar-unix>=0.9.0
- tcalc
- tcpip<3.0.0 | >=3.3.1
- tcx
- tdigest
- telegraml
- telemetry
- telltime
- tensorboard
- tensorflow!=0.0.10
- term-indexing
- term-tools
- termbox
- terminal
- terminal_size
- terml
- testo
- testo-diff
- testo-lwt
- testo-util
- testrunner
- testu01
- text-tags<1.4.0 | >=2.2.0
- textmate-language
- textrazor
- textutils!=112.17.00 & !=113.33.03
- textutils_kernel
- textwrap>=0.2.1
- tezos-baking-015-PtLimaPt>=16.0
- tezos-baking-015-PtLimaPt-commands>=16.0
- tezos-baking-016-PtMumbai<17.2
- tezos-baking-016-PtMumbai-commands<17.2
- tezos-baking-017-PtNairob<17.2
- tezos-baking-017-PtNairob-commands<17.2
- tezos-baking-alpha>=16.0 & <17.2
- tezos-baking-alpha-commands>=16.0 & <17.2
- tezos-base>=16.0 & <17.2
- tezos-base-test-helpers>=16.0 & <17.2
- tezos-benchmark
- tezos-bls12-381-polynomial
- tezos-clic>=16.0 & <17.2
- tezos-client-000-Ps9mPmXa>=16.0 & <17.2
- tezos-client-001-PtCJ7pwo>=16.0 & <17.2
- tezos-client-002-PsYLVpVv>=16.0 & <17.2
- tezos-client-003-PsddFKi3>=16.0 & <17.2
- tezos-client-004-Pt24m4xi>=16.0 & <17.2
- tezos-client-005-PsBabyM1>=16.0 & <17.2
- tezos-client-006-PsCARTHA>=16.0 & <17.2
- tezos-client-007-PsDELPH1>=16.0 & <17.2
- tezos-client-008-PtEdo2Zk>=16.0 & <17.2
- tezos-client-009-PsFLoren>=16.0 & <17.2
- tezos-client-010-PtGRANAD>=16.0 & <17.2
- tezos-client-011-PtHangz2>=16.0 & <17.2
- tezos-client-012-Psithaca>=16.0 & <17.2
- tezos-client-013-PtJakart>=16.0 & <17.2
- tezos-client-014-PtKathma>=16.0 & <17.2
- tezos-client-015-PtLimaPt>=16.0 & <17.2
- tezos-client-016-PtMumbai<17.2
- tezos-client-017-PtNairob<17.2
- tezos-client-alpha>=16.0 & <17.2
- tezos-client-base>=16.0 & <17.2
- tezos-client-base-unix>=16.0 & <17.2
- tezos-client-commands>=16.0 & <17.2
- tezos-client-demo-counter>=16.0 & <17.2 | >=18.0
- tezos-client-genesis>=16.0 & <17.2 | >=18.0
- tezos-context>=16.0 & <17.2
- tezos-context-ops>=16.0 & <17.2
- tezos-crypto>=16.0 & <17.2
- tezos-crypto-dal>=16.0 & <17.2
- tezos-dac-client-lib
- tezos-dac-lib
- tezos-dac-node-lib
- tezos-dal-node-lib<17.2 | >=18.0
- tezos-dal-node-services<17.2 | >=18.0
- tezos-embedded-protocol-000-Ps9mPmXa>=16.0 & <17.2
- tezos-embedded-protocol-001-PtCJ7pwo>=16.0 & <17.2
- tezos-embedded-protocol-002-PsYLVpVv>=16.0 & <17.2
- tezos-embedded-protocol-003-PsddFKi3>=16.0 & <17.2
- tezos-embedded-protocol-004-Pt24m4xi>=16.0 & <17.2
- tezos-embedded-protocol-005-PsBABY5H>=16.0 & <17.2
- tezos-embedded-protocol-005-PsBabyM1>=16.0 & <17.2
- tezos-embedded-protocol-006-PsCARTHA>=16.0 & <17.2
- tezos-embedded-protocol-007-PsDELPH1>=16.0 & <17.2
- tezos-embedded-protocol-008-PtEdo2Zk>=16.0 & <17.2
- tezos-embedded-protocol-008-PtEdoTez>=16.0 & <17.2
- tezos-embedded-protocol-009-PsFLoren>=16.0 & <17.2
- tezos-embedded-protocol-010-PtGRANAD>=16.0 & <17.2
- tezos-embedded-protocol-011-PtHangz2>=16.0 & <17.2
- tezos-embedded-protocol-012-Psithaca>=16.0 & <17.2
- tezos-embedded-protocol-013-PtJakart>=16.0 & <17.2
- tezos-embedded-protocol-014-PtKathma>=16.0 & <17.2
- tezos-embedded-protocol-015-PtLimaPt>=16.0 & <17.2
- tezos-embedded-protocol-016-PtMumbai<17.2
- tezos-embedded-protocol-017-PtNairob<17.2
- tezos-embedded-protocol-alpha>=16.0 & <17.2
- tezos-embedded-protocol-demo-counter>=16.0 & <17.2
- tezos-embedded-protocol-demo-noops>=16.0 & <17.2
- tezos-embedded-protocol-genesis>=16.0 & <17.2
- tezos-error-monad>=13.0 & <17.2
- tezos-event-logging>=16.0 & <17.2
- tezos-event-logging-test-helpers>=16.0 & <17.2
- tezos-hacl<17.2
- tezos-hacl-glue
- tezos-injector-015-PtLimaPt>=16.0
- tezos-injector-016-PtMumbai
- tezos-layer2-store<17.2
- tezos-layer2-utils-016-PtMumbai<17.2
- tezos-layer2-utils-017-PtNairob<17.2
- tezos-lazy-containers<17.2
- tezos-lwt-result-stdlib>=11.0 & <17.2
- tezos-micheline>=16.0 & <17.2
- tezos-mockup>=16.0 & <17.2
- tezos-mockup-commands>=16.0 & <17.2
- tezos-mockup-proxy>=16.0 & <17.2
- tezos-mockup-registration>=16.0 & <17.2
- tezos-openapi>=20.1
- tezos-p2p>=16.0 & <17.2
- tezos-p2p-services>=16.0 & <17.2
- tezos-plompiler
- tezos-plonk
- tezos-protocol-000-Ps9mPmXa>=16.0 & <17.2 | >=18.0
- tezos-protocol-001-PtCJ7pwo>=16.0 & <17.2 | >=18.0
- tezos-protocol-002-PsYLVpVv>=16.0 & <17.2 | >=18.0
- tezos-protocol-003-PsddFKi3>=16.0 & <17.2 | >=18.0
- tezos-protocol-004-Pt24m4xi>=16.0 & <17.2 | >=18.0
- tezos-protocol-005-PsBABY5H>=16.0 & <17.2 | >=18.0
- tezos-protocol-005-PsBabyM1>=16.0 & <17.2 | >=18.0
- tezos-protocol-006-PsCARTHA>=16.0 & <17.2 | >=18.0
- tezos-protocol-007-PsDELPH1>=16.0 & <17.2 | >=18.0
- tezos-protocol-008-PtEdo2Zk>=16.0 & <17.2 | >=18.0
- tezos-protocol-008-PtEdoTez>=16.0 & <17.2 | >=18.0
- tezos-protocol-009-PsFLoren>=16.0 & <17.2 | >=18.0
- tezos-protocol-010-PtGRANAD>=16.0 & <17.2 | >=18.0
- tezos-protocol-011-PtHangz2>=16.0 & <17.2 | >=18.0
- tezos-protocol-012-Psithaca>=16.0 & <17.2 | >=18.0
- tezos-protocol-013-PtJakart>=16.0 & <17.2 | >=18.0
- tezos-protocol-014-PtKathma>=16.0 & <17.2 | >=18.0
- tezos-protocol-015-PtLimaPt>=16.0 & <17.2 | >=18.0
- tezos-protocol-016-PtMumbai<17.2 | >=18.0
- tezos-protocol-017-PtNairob<17.2 | >=18.0
- tezos-protocol-018-Proxford
- tezos-protocol-019-PtParisB
- tezos-protocol-020-PsParisC
- tezos-protocol-alpha>=16.0 & <17.2 | >=18.0
- tezos-protocol-demo-counter>=16.0 & <17.2 | >=18.0
- tezos-protocol-demo-noops>=16.0 & <17.2 | >=18.0
- tezos-protocol-environment>=13.0 & <15.0
- tezos-protocol-environment-packer
- tezos-protocol-environment-sigs<8.0 | >=9.0
- tezos-protocol-genesis>=16.0 & <17.2 | >=18.0
- tezos-protocol-plugin-007-PsDELPH1>=16.0 & <17.2
- tezos-protocol-plugin-007-PsDELPH1-registerer>=16.0 & <17.2
- tezos-protocol-plugin-008-PtEdo2Zk>=16.0 & <17.2
- tezos-protocol-plugin-008-PtEdo2Zk-registerer>=16.0 & <17.2
- tezos-protocol-plugin-009-PsFLoren>=16.0 & <17.2
- tezos-protocol-plugin-009-PsFLoren-registerer>=16.0 & <17.2
- tezos-protocol-plugin-010-PtGRANAD>=16.0 & <17.2
- tezos-protocol-plugin-010-PtGRANAD-registerer>=16.0 & <17.2
- tezos-protocol-plugin-011-PtHangz2>=16.0 & <17.2
- tezos-protocol-plugin-011-PtHangz2-registerer>=16.0 & <17.2
- tezos-protocol-plugin-012-Psithaca>=16.0 & <17.2
- tezos-protocol-plugin-012-Psithaca-registerer>=16.0 & <17.2
- tezos-protocol-plugin-013-PtJakart>=16.0 & <17.2
- tezos-protocol-plugin-013-PtJakart-registerer>=16.0 & <17.2
- tezos-protocol-plugin-014-PtKathma>=16.0 & <17.2
- tezos-protocol-plugin-014-PtKathma-registerer>=16.0 & <17.2
- tezos-protocol-plugin-015-PtLimaPt>=16.0 & <17.2
- tezos-protocol-plugin-015-PtLimaPt-registerer>=16.0 & <17.2
- tezos-protocol-plugin-016-PtMumbai<17.2
- tezos-protocol-plugin-016-PtMumbai-registerer<17.2
- tezos-protocol-plugin-017-PtNairob<17.2
- tezos-protocol-plugin-017-PtNairob-registerer<17.2
- tezos-protocol-plugin-alpha>=16.0 & <17.2
- tezos-protocol-plugin-alpha-registerer>=16.0 & <17.2
- tezos-protocol-updater>=16.0 & <17.2
- tezos-proxy>=16.0 & <17.2
- tezos-proxy-server-config>=16.0 & <17.2 | >=18.0
- tezos-requester>=16.0 & <17.2
- tezos-rpc>=16.0 & <17.2
- tezos-rpc-http>=16.0 & <17.2
- tezos-rpc-http-client>=16.0 & <17.2
- tezos-rpc-http-client-unix>=16.0 & <17.2
- tezos-rpc-http-server>=16.0 & <17.2
- tezos-sapling>=16.0 & <17.2
- tezos-scoru-wasm>=16.0 & <17.2
- tezos-scoru-wasm-fast<17.2
- tezos-scoru-wasm-helpers<17.2
- tezos-shell>=16.0 & <17.2
- tezos-shell-context>=16.0 & <17.2
- tezos-shell-services>=16.0 & <17.2
- tezos-shell-services-test-helpers>=16.0
- tezos-signer-backends>=16.0 & <17.2
- tezos-signer-services>=16.0 & <17.2
- tezos-smart-rollup-016-PtMumbai<17.2
- tezos-smart-rollup-017-PtNairob<17.2
- tezos-smart-rollup-alpha<17.2
- tezos-smart-rollup-layer2-016-PtMumbai<17.2
- tezos-smart-rollup-layer2-017-PtNairob<17.2
- tezos-stdlib>=8.0 & <17.2
- tezos-stdlib-unix>=16.0 & <17.2
- tezos-store>=16.0 & <17.2
- tezos-test-helpers<17.2
- tezos-test-helpers-extra
- tezos-tooling<13.0
- tezos-tree-encoding>=16.0 & <17.2
- tezos-tx-rollup-015-PtLimaPt>=16.0
- tezos-validation>=16.0 & <17.2
- tezos-version<8.0 | >=16.0 & <17.2
- tezos-wasmer<17.2
- tezos-webassembly-interpreter>=15.0 & <17.2
- tezos-webassembly-interpreter-extra<17.2
- tezos-workers>=16.0 & <17.2
- tezt
- tezt-bam
- tezt-performance-regression
- tezt-tezos
- tftp
- tgls>=0.8.6
- theora<0.4.0
- thread-local-storage
- thread-table
- tidy
- tidy_email
- tidy_email_mailgun
- tidy_email_sendgrid
- tidy_email_smtp
- tilde_f
- time_now
- timed>=1.1
- timedesc>=0.8.0
- timedesc-json
- timedesc-sexp
- timedesc-tzdb
- timedesc-tzlocal
- timedesc-tzlocal-js
- timere>=0.8.0
- timezone
- timmy>=1.0.4
- 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!=0.15.4
- tls-eio
- tls-lwt
- tls-miou-unix
- tls-mirage
- tlstunnel
- toc
- tofn
- togglelog
- toml>=5.0.0
- toml-cconv
- toml_cconv
- tophide=1.0.4
- topkg>=1.0.6
- topkg-care
- topkg-jbuilder
- toplevel_backend!=v0.15.0
- toplevel_expect_test<113.33.02 | >=v0.9.2 & <v0.12.0 | >=v0.12.2 & !=v0.15.0
- topojson
- topological_sort
- topology
- torch<0.2 | >=0.6
- touist>=3.4.0
- tplib
- tqdm
- trace
- trace-fuchsia
- trace-tef
- tracing
- tracy-client
- trail
- traildb
- traits
- trakeva
- trampoline
- transept
- transmission-rpc
- traverse>=0.3.0
- travesty<0.6.0 | >=0.6.2
- trax
- tree_layout>=0.2
- treeprint>=2.1.1 & <2.3.0
- trie
- trs
- tsdl<0.8.1 | >=0.9.1
- tsdl-image
- tsdl-mixer
- tsdl-ttf
- tsort
- ttweetnacl
- tty
- tuareg
- tube
- tuntap>=1.3.0
- twirp_cohttp_lwt_unix
- twirp_core
- twirp_ezcurl
- twirp_tiny_httpd
- twostep
- tyabt
- type-beat
- type_eq
- type_id
- typebeat
- typehashlib
- typeid
- typerep>=v0.9.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>=4.4.0
- tyxml-jsx
- tyxml-lwd<0.2
- tyxml-ppx
- tyxml-syntax>=4.6.0
- u2f
- ubase
- ubpf
- uchar>=0.0.2
- uecc>=0.4
- uint>=2.0.1
- ulex-camlp5
- um-abt<0.1.5
- unidecode
- unionFind
- unison>=2.53.0
- universal-portal
- universo
- unix-dirent
- unix-errno<0.3.0 | >=0.6.0
- unix-sys-resource
- unix-sys-stat
- unix-time
- unix-unistd
- unmagic
- unstrctrd>=0.4
- uopt
- 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
- uspf
- uspf-lwt
- uspf-mirage
- uspf-unix
- utop>=2.14.0
- utp
- uucd>=4.0.0
- uucp>=13.0.0
- uuidm>=0.9.8
- uunf>=2.0.1
- uuseg!=1.0.0
- uutf>=1.0.3
- uuuu
- uwt<0.3.0
- valentine
- validate
- validator
- variantslib>=v0.9.0
- varint
- varray
- vcaml
- vcardgen<1.2
- vchan
- vchan-unix>=4.0.0
- vchan-xen
- vdom
- vec
- vecosek
- vecosek-engine
- vecosek-scene
- vector
- vector3>=1.0.0
- vendredi
- vercel
- versioned_polling_state_rpc
- vg<0.8.1 | >=0.9.0
- vhd-format!=0.8.0 & <0.9.2 | >=0.12.2
- vhd-format-lwt!=0.9.2 & <0.12.1 | >=0.13.0
- vhd-tool
- vhdlib
- virtual_dom>=v0.9.1
- virtual_dom_toplayer
- visitors>=20210127
- vlq<0.2.1
- vlt
- vmnet<1.2.0 | >=1.3.1
- voaacenc
- vocal
- 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.1
- wasmer
- wasmtime
- wayland
- waylaunch
- wcs
- wcs-api
- wcs-lib
- wcwidth
- wdialog
- webauthn
- webbrowser
- weberizer!=0.7.2 & !=0.7.7
- webidl>=1.0
- webmachine>=0.5.0
- 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 | >=1.6.0
- why3-coq
- why3-ide
- why3find
- wikitext
- win-error>=0.3
- win-eventlog>=0.2
- winsvc>=1.0.1
- ws
- ws-server
- wseg
- wtf8
- wtr
- wtr-ppx
- wu-manber-fuzzy-search
- wxOCaml
- wyrd>=1.4.6
- x509
- 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>=4.21.0
- xapi-stdext-zerocheck!=4.20.0
- 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
- xenctrl>=0.9.29 & <0.9.32
- xenstore>=2.1.1
- xenstore_transport<0.9.2 | >=0.9.6
- xentropyd
- xlsx2csv
- xml-light>=2.5
- xmldiff
- xmlm>=1.4.0
- xmlplaylist>=0.1.4
- xtmpl=0.10 | >=0.14.0
- xxhash
- yajl-extra<0.7.3
- yaml
- yara
- yices2_bindings
- yocaml
- yocaml_cmark
- yocaml_cmarkit
- yocaml_eio
- yocaml_git
- yocaml_jingoo
- yocaml_markdown
- yocaml_mustache
- yocaml_omd
- yocaml_otoml
- yocaml_runtime
- yocaml_syndication
- yocaml_unix
- yocaml_yaml
- yojson>=1.4.0
- yojson-bench
- yojson-five
- yosqlite
- yurt>=0.3
- yuscii
- yuujinchou
- z3>=4.8.14
- zar
- zarith>=1.4
- zarith-freestanding
- zarith-ppx
- zarith-xen
- zarith_stubs_js
- zarr
- zarr-eio
- zarr-lwt
- zarr-sync
- zbar
- zed>=1.6
- zeit
- zelus
- zelus-gtk
- zenon>=0.8.5
- zenon_modulo
- zephyrus
- zero<109.19.00
- zipc
- zipperposition
- zipperposition-tools
- zlib>=0.6
- zlist<0.4.0
- zmq<4.0-1 | >=5.0.0
- zmq-async
- zmq-eio
- zmq-lwt
- zstandard
- zstd
- zxcvbn
