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