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 | QPL-1.0 AND LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception |
Published | |
Homepage | https://ocaml.org |
Issue Tracker | https://caml.inria.fr/mantis/ |
Maintainer | David Allsopp <david@tarides.com> |
Dependencies |
|
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocaml/ocaml.4.00.0/opam |
Required by
- 0install<2.12.1
- aacplus
- abella=2.0.3
- abt
- acpc<1.1.1
- aez
- afl
- afl-persistent>=1.2 & <1.4
- ago>=0.4
- agrep
- aifad<2.1.0
- aio
- alberto<0.3
- aliases
- alphaCaml
- alsa<0.3.0
- alt-ergo<1.30
- altgr-ergo<1.30
- ancient<0.9.1
- annexlib
- annot
- ansi-parse<0.4.0
- ansicolor
- ANSITerminal
- ao<0.2.2
- apalogretrieve
- apron
- arakoon<1.8.6
- archimedes>=0.4.15
- argot
- ascii85>=0.4
- asl
- assertions
- assimp
- async<112.17.00
- async-uri>=0.4.0
- async-zmq<0.1.0
- async_core
- async_extra<112.17.00
- async_find<113.24.00
- async_graphics<0.7.0
- async_inotify<113.24.00
- async_kernel<112.17.00
- async_shell<113.24.00
- async_smtp<113.24.00
- async_ssl<112.17.00
- async_unix<112.17.00
- atd<1.13.0
- atdgen<1.13.0
- atdj>=20151001.01
- augeas
- avroc
- aws<1.0.1
- aws-autoscaling<1.2
- aws-cloudformation<1.2
- aws-cloudtrail<1.2
- aws-ec2<1.2
- aws-elasticloadbalancing<1.2
- aws-s3<2.0.0
- aws-sdb<1.2
- aws-ssm<1.2
- aws-sts<1.2
- baardskeerder
- balancer
- bamboo
- bap-abi<1.4.0
- bap-api<1.4.0
- bap-arm<1.4.0
- bap-beagle<1.4.0
- bap-byteweight<1.4.0
- bap-byteweight-frontend<1.4.0
- bap-c<1.4.0
- bap-cache<1.4.0
- bap-callsites<1.4.0
- bap-cxxfilt<1.4.0
- bap-dead-code-elimination<1.4.0
- bap-demangle<1.4.0
- bap-dump-symbols<1.4.0
- bap-dwarf<1.4.0
- bap-elf<1.5.0
- bap-emacs-dot
- bap-emacs-goodies
- bap-emacs-mode
- bap-frames<2.1.1
- bap-frontc<1.4.0
- bap-frontend<1.4.0
- bap-fsi-benchmark<1.4.0
- bap-future<1.4.0
- bap-ida<1.4.0
- bap-ida-plugin<1.4.0
- bap-ida-python<1.4.0
- bap-mc<1.4.0
- bap-microx<1.4.0
- bap-objdump<1.4.0
- bap-phoenix<1.4.0
- bap-piqi<1.4.0
- bap-primus<1.4.0
- bap-primus-lisp<1.4.0
- bap-primus-support<1.4.0
- bap-primus-x86<1.4.0
- bap-print<1.4.0
- bap-relocatable<1.4.0
- bap-run<1.4.0
- bap-saluki
- bap-signatures<2.4.0
- bap-ssa<1.4.0
- bap-strings<1.4.0
- bap-symbol-reader<1.4.0
- bap-taint<1.4.0
- bap-taint-propagator<1.4.0
- bap-term-mapper<1.4.0
- bap-trace<1.4.0
- bap-traces<1.4.0
- bap-warn-unused<1.4.0
- bap-x86<1.4.0
- base-bytes<base
- base-implicits
- base-metaocaml-ocamlfind
- base-native-int63
- base-no-ppx
- base-num
- base-ocamlbuild
- base-unsafe-string
- base64<2.3.0
- batch_jaro_winkler
- batteries>=1.5.0 & !=2.3.0 & <3.6.0
- bdd
- bddrand<2.71.15
- beluga<1.0
- bench
- benchmark
- bes
- bestline
- bheap
- bibtex2html<1.99
- bigbro
- bigstring<0.2
- bin_prot<112.17.00
- bin_tree
- binaryen_dsl
- binbin
- bindlib<6.0.0
- biniou<1.0.13
- biocaml<0.4.0 | >=0.9.0
- bisect<1.3.1
- bisect-summary
- bisect_ppx-ocamlbuild
- bistro<0.2.0
- bitcoin<3.0
- bitcoinml<0.4.1
- bitmasks
- bitstring<3.0.0
- bitv<1.2 | >=1.4 & <2.0
- bjack<0.1.6
- blahcaml
- bogue-tutorials<0.2.0
- bolt>=1.3
- bookaml<3.0
- broken
- bsdowl
- bson
- bst>=3.0.0
- bytearray<1.0.2
- cache
- cairo>=0.4.2
- cairo2<0.6
- calendar!=2.03.1 & <3.0.0
- caml-mode
- caml2html>=1.4.3
- camlbz2
- Camldiets
- camldm
- CamlGI
- camlgpc
- camlhighlight
- camlidl<1.07
- camlimages!=4.1.1 & <4.2.0
- camllib<1.3.1
- camlmix
- camlp4<4.02+1 | =4.02.0-1modular-implicits
- camlp5>=6.06 & !=6.15 & <7.00
- camlpdf<2.5
- camlprime
- camltemplate
- camlzip<1.06
- camomile<0.8.6
- caqti-async
- caqti-driver-mariadb
- caqti-driver-pgx<2.1.1
- caqti-driver-postgresql
- caqti-driver-sqlite3!=1.7.0
- caqti-dynload<0.10.2
- caqti-lwt
- caqti-mirage
- caqti-tls
- caqti-type-calendar
- caradoc
- caravan
- cbor<0.5
- cconv<0.4
- ccss<1.6
- cdrom
- cduce
- ceph
- cfg<2.1.0
- cfgen
- cfstream<1.1.1
- cgi<0.9
- chalk
- chamo<2.03
- channel<1.1.1
- choice<0.4
- cil
- clangml<0.5.2 | =3.7.0.2
- clangml-transforms<0.25
- cmarker
- cmdliner<1.0.0
- cmitomli
- coccinelle<1.3.0
- cohttp<0.13.0
- coinst
- combic
- combine>=0.42
- comparelib
- conduit<0.6.0
- conf-bap-llvm<1.7
- conf-binutils<0.3
- conf-ida<0.3
- conf-libev
- configwith-test & >=0.0.3
- config-file<1.2.1
- containers>=0.4 & <1.0
- cookie-js
- coq!=8.5.0~camlp4 & !=8.5.2~camlp4 & <8.6
- coq-lsp>=0.1.9+8.17
- coq-shell
- coqide<8.6
- core<108.07.00 | =109.15.01
- core_bench<112.17.00
- core_extended>=108.00.02 & <109.19.00
- cow<2.0.0
- cowabloga
- cpdf<2.3
- cpm
- cppo<1.6.6
- cppo_ocamlbuild
- cpu
- craml
- crontab
- crunch<2.0.0
- cry!=0.6.4 & <1.0.0
- crypt
- cryptgps
- cryptohash
- cryptokit<1.11
- cstruct<1.6.0
- csv<1.6
- ctypes<0.6.0 | =0.9.1
- ctypes-build
- cubicle<1.1.2
- cudf<0.10
- curses<1.0.9
- custom_printf<112.06.00
- daft<0.0.4
- datakit-bridge-github
- datakit-bridge-local-git
- datakit-client
- datakit-client-9p
- datakit-client-git
- datakit-github
- datakit-server
- datakit-server-9p
- datalog<0.5
- dbforge
- dbm
- debian-formats<0.1.2
- decoders<0.3.0
- decoders-ezjsonm<0.3.0
- decoders-yojson<0.3.0
- delimcc<2017.03.02
- depext>=0.3
- deriving<0.8.1
- deriving-ocsigen
- deriving-yojson
- dispatch<0.4.1
- diy
- dkml-component-offline-ocamlrun
- dlm
- dns<0.17.0
- dnscurve
- doc-ock-xml
- docker-api<0.2
- dockerfile>=1.1.0 & <1.2.0
- docout
- dog=0.2.0
- dokeysto
- dokeysto_camltc
- dokeysto_lz4
- dolmen<0.4
- dolog
- domainslib<0.3.2
- dose
- dose3<6.1
- dssi<0.1.3
- dtools<0.4.2
- dum!=1.0.2
- dumpast>=0.2.0
- dune-configurator=1.11.4
- dune-deps
- duppy<0.7.0
- duration<0.1.2
- dyntype>=0.8.3
- dypgen
- easy-format<1.3.0
- efl
- either
- elf2json
- elina
- eliom<5.0.0
- elpi-option-legacy-parser
- email_message<112.17.00
- erm_xml
- erm_xmpp
- errpy<0.0.9
- erssical<1.1.0
- estring
- exenum<0.86
- expect
- extlib>=1.5.3 & <1.7.9
- extlib-compat
- extprot<1.4.0
- extunix<0.3.1
- ez-conf-lib
- ezdl<2.71.15
- ezjsonm<1.1.0
- ezjsonm-lwt!=1.0.0
- ezxenstore
- faad<0.5.0
- facile<1.1.4
- faillib
- fasmifra
- fat-filesystem<0.11.0 | =0.12.1
- fd-send-recv<2.0.2
- fdkaac<0.3.2
- feather<0.2.0
- ffmpeg<0.2.0
- fftw3<0.8
- fiat-p256<0.2.1
- fieldslib<113.24.00
- fileutils<0.6.1
- fix<20181206
- fkie-cad-cwe-checker<0.2
- flac<0.1.3
- flex-array
- flow
- flowcaml
- fluent-logger<1.1.0
- fm-simplex-plugin<1.30
- forester<3.0.0
- forkwork
- format
- frag
- frama-c>=8.0 & <13.1
- frama-c-base<13.1
- frama-c-e-acsl
- freetds<0.5.2
- freetennis
- frei0r<0.1.2
- frenetic<2.0.0
- froc
- FrontC<4.0.0
- fstreams
- ftp
- functory<0.6
- funfields
- fury-puyo
- future
- gadelac
- gamepad
- gammu<0.9.4
- gapi-ocaml!=0.3.1 & <0.3.5
- gavl
- gbddml<2.71.15
- gd<1.1
- gen<0.5.3
- gen-bs<0.1.0
- gen_server
- genet
- genlet
- genspir
- gensqlite
- geoip
- get_line<5.0.0
- getopt<20230213
- getopts<0.4.0
- gettext<0.4.1
- gg<0.9.0
- git-unix<1.10.0
- github<1.1.0
- github-hooks<0.1.1
- gitlab_pipeline_notifier
- glical
- glMLite<0.03.53
- glpk
- glsurf
- gmp-freestanding
- gmp-xen
- gnuplot<0.5.1
- gobject-introspection
- google-drive-ocamlfuse<0.6.22
- gperftools
- gptar
- graphics<3.07 | =4.00.0
- graphicspdf
- graphql_jsoo_client
- grib<0.11.0
- grid<0.2.0
- gsl<1.20.0
- gstreamer<0.3.0
- gtk-light
- gtktop
- gxl-light
- hacl_x25519
- hashcons<1.4.0
- hashset
- hdf
- headache<1.04 | =1.06
- heptagon<1.03.03
- herelib>=109.10.00 & <112.35.00
- hevea<2.35
- hex!=0.2.0 & <1.4.0
- higher
- hll<3.16
- http2https
- http_router
- hweak
- hydro
- hyper<1.0.0~alpha2
- i2c
- ibx<0.8.0
- imagelib<20171028
- imagemagick
- indexmap
- inotify<2.4
- inquirer_oc
- inspect
- integers<0.3.0
- integration1d<0.5.1
- interval<1.5
- io
- io-page<2.0.0
- io-page-unix<2.0.0
- io-page-xen<2.0.0
- ipaddr<2.6.0
- irc-client>=0.7.0
- irc-client-lwt>=0.7.0
- irc-client-lwt-ssl>=0.7.0
- irc-client-tls>=0.7.0
- irc-client-unix>=0.7.0
- irmin-indexeddb<2.0
- irmin-mirage<2.0.0
- irmin-tezos>=3.2.1 & <3.4.0
- irrlicht<0.0.5
- ISO8601
- iter<1.3
- itv-tree
- ivy
- javalib<2.3.4
- jbuilder>=transition
- jenga<112.17.00
- jhupllib<0.2.1
- jingoo<1.2.16
- jitsu
- jitsu-libvirt
- jitsu-libxl
- jitsu-xapi
- joolog
- js-lz4
- js_of_ocaml<2.8
- js_of_ocaml-ocamlbuild<3.5.0
- json-pointer
- json-predicate
- json-static
- json-wheel<1.0.6+safe-string
- jsondiff
- jsonm<1.0.0
- jwt
- kafka<0.3
- kappa-agents<4.1.3
- kappa-binaries<4.1.3
- kappa-server
- kaputt
- KaSim<4.0.0
- krb5
- kyotocabinet
- lablgl<1.06
- lablgtk<2.18.6
- lablgtk-extras<1.5
- lablgtkosx
- lacaml<9.0.0
- lacc
- ladspa<0.2.0
- lambda-term<1.8
- lambdasoup<0.6.4
- lame<0.3.4
- lastfm<0.3.3
- launchd<1.3
- lazy-trie<1.2.0
- lbfgs
- lbvs_consent<2.0.0
- ldap<2.4.1
- ledit<2.04
- lemonade<0.4.0
- lemonade-sqlite
- let-if
- leveldb<1.2.0
- libevent<0.8.1
- libra-tk
- libres3
- libsvm<0.9.3
- libvhd
- libvirt
- lilis<0.2.1
- line_oriented
- linenoise!=1.0.0 & <1.3.1
- liquidsoap<1.3.4
- liquidsoap-daemon
- litiom
- llopt
- llvm
- lo<0.2.0
- logs-async>=1.3
- logs-async-reporter>=1.3
- lpd
- lutils<1.44
- lutin=2.71.10
- lwt>=2.4.0 & <2.4.7
- lwt-canceler<0.3
- lwt-parallel<1.0.0
- lwt-watcher
- lwt-zmq
- lwt_camlp4
- lwt_domain<0.2.0
- lwt_eio<0.2
- lwt_glib
- lwt_log<1.1.2
- lwt_ppx<1.1.0
- lwt_react<1.2.0
- lwt_ssl
- lz4<1.2.0
- lz4_chans>=3.0.0
- lzo
- macaque
- macaque_lwt
- mad<0.5.0
- magic<0.7.4
- magic-mime<1.0.1
- maildir
- malfunction<0.3
- markup<0.8.2
- mascot
- mbr-format<0.3
- mccs
- md2mld<0.6
- mecab
- mel
- melange-atdgen-codec-runtime
- melange-fest
- melange-fetch
- melange-json>=1.1.0
- melange-moment
- melange-numeral
- melange-react-dates
- melange-recharts
- melange-testing-library
- melange-webapi>=0.21.0
- meldep
- melt
- menhir<20141215
- merge-queues
- merge-ropes
- merlin>=2.3 & <2.5.0
- merlin-of-pds
- mesh<0.9.0
- mesh-display
- mesh-easymesh<0.9.0
- mesh-triangle<0.9.0
- message-switch
- meta_conv<0.10.0
- mikmatch<1.0.7
- milter
- mindstorm<0.8
- minicaml<0.3.1
- minicli>=5.0.0
- minilight
- minisat<0.3
- minivpt
- mirage-block-solo5<0.3.0
- mirage-block-unix<2.5.0
- mirage-block-xen<1.4.0
- mirage-bootvar-solo5<0.3.0
- mirage-bootvar-xen<0.6.0
- mirage-btrees
- mirage-clock<2.0.0
- mirage-clock-freestanding<2.0.0
- mirage-clock-lwt<2.0.0
- mirage-clock-unix<1.4.1
- mirage-clock-xen
- mirage-console<2.2.0 | =2.3.3
- mirage-console-lwt!=2.3.2 & <2.3.4
- mirage-console-solo5<0.2.0
- mirage-console-unix<2.2.0
- mirage-console-xen<2.2.0
- mirage-console-xen-backend<2.3.2
- mirage-device<1.2.0
- mirage-flow<1.5.0
- mirage-flow-lwt<1.5.0
- mirage-flow-unix<1.5.0
- mirage-fs<1.0.0
- mirage-fs-unix<1.1.1
- mirage-git
- mirage-http<3.1.0
- mirage-http-unix
- mirage-http-xen
- mirage-irmin
- mirage-nat<1.1.0
- mirage-net<1.1.1
- mirage-net-direct
- mirage-net-lwt<1.2.0
- mirage-net-macosx<1.5.0
- mirage-net-socket
- mirage-net-unix<2.3.0
- mirage-net-xen<1.4.2
- mirage-no-solo5
- mirage-no-xen
- mirage-profile>=0.3 & <0.7.0
- mirage-random<1.2.0
- mirage-seal
- mirage-tcpip-unix
- mirage-tcpip-xen
- mirage-time<1.3.0
- mirage-time-lwt<1.3.0
- mirage-time-unix<1.3.0
- mirage-types<2.0.0 | >=3.0.0 & <3.0.7
- mirage-types-lwt<3.0.7
- mirage-unix<2.0.0
- mirage-vnetif<0.4.1
- mirage-www
- mirage-xen-minios
- mirari
- mirror
- missinglib
- mkaudio>=1.1.0 & <1.1.2
- ml2mxml
- mlbdd<0.7.2
- mlcuddidl<3.0.0
- mldonkey>=3.1.3 & <3.2.1
- mlgmp
- mlgmpidl<1.2.5 | >=1.2.6-1
- mlpost<0.8.2
- mm<0.5.0 | >=0.7.0 & <0.7.4
- mmap=1.1.0
- mmseg>=transition
- mock<0.1.1
- mock-ounit<0.1.1
- molenc>=7.0.1 & <15.4.0
- monadlib
- monads<1.4.0
- mongo
- monomorphic<1.5
- more-ocaml
- mosquitto
- moss
- mparser<1.3
- mpp!=0.2.0 & <0.3.2
- mrt-format
- msat=0.3
- msgpack<1.1.0
- mstruct
- murmur3<0.3
- mustache>=0.0.2 & <1.0.1
- mybuild<7
- mysql
- mysql_protocol<2.0
- named-pipe
- nbd<2.0.1
- netamqp
- netlink
- nit
- nlopt-ocaml
- nonstd<0.0.3
- not-ocamlfind!=0.07 & <0.09
- nproc
- num<1.0
- numerix
- oasis>=0.3.0
- oasis-mirage
- oasis2debian
- oasis2opam
- obeam=0.1.2
- obeanstalk
- obigstore
- objsize<0.18
- obuild
- obus!=1.1.8 & <1.2.5
- oc45
- ocal<0.2.0
- ocaml-arg
- ocaml-base-compilerpost & =4.00.0
- ocaml-buddy
- ocaml-data-notation
- ocaml-expat<1.0.0
- ocaml-http<0.1.6
- ocaml-indent<1.2.1
- ocaml-inifiles
- ocaml-lua<1.3
- ocaml-makefile<6.39.2
- ocaml-markdown
- ocaml-protoc<1.2.0
- ocaml-protoc-yojson<0.2.0
- ocaml-r<0.4.0
- ocaml-src=4.00.0
- ocaml-systempost & <4.13.0
- ocaml-systemd>=1.2
- ocaml-top<1.1.5
- ocaml-twt
- ocaml-variantspost & >=4.00.0+debug-runtime & <4.00.1+BER
- ocaml-xdg-basedir<transition
- ocaml-xml-rpc
- ocaml-zmq
- ocaml_plugin<112.17.00
- ocamlbuild<0.9.0
- ocamlcc
- ocamlclean<2.1
- ocamldap>=2.2
- ocamldbi
- ocamldiff<1.2
- ocamldot<1.1
- ocamldsort
- ocamleditor<1.12.0
- ocamlfind>=1.3.2 & !=1.9.5
- ocamlfind-lint
- ocamlfuse<2.7.1-cvs7
- ocamlgraph<2.0.0
- ocamlify
- ocamline
- ocamlmod
- ocamlnet>=3.6.0 & <4.1.7
- ocamlpp<1.1
- ocamlrss
- ocamlscript<3.0.0
- ocamlsdl
- ocamlsdl2-image
- ocamlsdl2-ttf
- ocamlspot<4.00.1.2.1.2
- ocamltter=2.1.1
- ocamlviz
- ocamlwc
- ocamlweb
- ocamlyices
- OCanren<0.2.0
- OCanren-ppx<0.3.0~alpha1
- ocapic<3.3
- ocephes
- oclock
- ocp-browser<1.1.6
- ocp-build!=1.99.20-beta
- ocp-indent
- ocp-index!=1.1.0 & <1.1.3
- ocp-manager
- ocp-pack-split
- ocp-pp<1.99.19-beta
- ocplib-compat
- ocplib-config
- ocplib-endian<1.1
- ocplib-file
- ocplib-resto
- ocs
- ocsfml
- ocsigenserver<2.9
- ocurl<0.8.2
- odate<0.6
- odb-server
- odbc
- odepack>=0.6.3 & <0.6.9
- odiff-gtk
- odisco
- odnnr
- ogen<0.1.2
- ogg<0.5.2 | =0.6.1
- ogre<1.4.0
- ojquery
- ojwidgets
- olinq<0.3
- olmi
- omake<0.9.8.7
- omd<1.3.1
- omlr
- opa-base
- opam-build-revdeps
- opam-bundlebuild
- opam-depext
- opam-file-format<2.2.0~alpha1
- opam-installext
- opam-lib
- opam-lock
- opam-package-upgrade<0.2
- opam-publish<2.0.0
- opam2web<1.4.0
- opamconfig
- opamfu
- opass
- openbsd
- opencc
- openflow<0.2.0
- operf-macro
- oplay
- oplsr
- optcomp
- opti
- optimization1d
- opus<0.2.0
- oqamldebug
- orakuda<1.2.0
- orandforest
- orf<1.0.1
- orm
- orrandomForest
- orsvm_e1071
- orxgboost
- osc<0.1.4
- osdp<1.1.1
- ospec>=0.3.1
- ostap<0.6
- osx-acl
- osx-attr
- osx-cf
- osx-fsevents
- osx-membership
- osx-mount
- osx-secure-transport
- osx-xattr
- otags=4.00.1
- otetris
- otfm<0.2.0
- ott<0.29
- otto
- ounit<2.1.2
- override>=0.2.0 & <0.3.0
- owebl
- owl<0.2.0
- ox
- oxylc
- pa_bench
- pa_comprehension
- pa_do
- pa_fields_conv
- pa_monad_custom
- pa_ounit<112.17.00
- pa_test<112.24.00
- pa_variants_conv
- pa_where
- packet<0.2.1 | =0.3.1
- papi
- parany>=7.0.2 & <12.0.2
- parmap<1.1.1
- patdiff<113.24.00
- patoline<0.2
- pbkdf<0.3.0
- pbs
- pcap-format<0.5.2
- pcf-format
- pci-db
- pcre<7.3.0
- pds-reachability<0.2.2
- perf
- pfff<0.29
- pgocaml<2.3
- phashtbl
- pipebang<109.10.00
- piqi<0.7.6
- piqilib<0.6.14
- pixel_pusher
- plasma
- plotkicadsch>=0.2.0 & <0.4.0
- polars
- polka<2.71.15
- polly<0.4.1
- polyglot
- pomap<4.0.0
- portaudio<0.2.2
- posix-clock
- posix-getopt<2.0.0
- posix-math
- posix-mqueue
- posix-semaphore
- posix-time
- postgresql<4.1.0
- pprint<20171003
- ppx_bitstring<1.0.1
- ppx_blob>=0.3.0 & <0.9.0
- ppx_derivers
- ppx_deriving_cmdliner<0.4.1
- ppx_deriving_madcast>=0.2
- ppx_deriving_morphism<0.4
- ppx_deriving_protobuf!=2.5 & <2.7
- ppx_deriving_protocol>=0.8.1
- ppx_deriving_variant_string
- ppx_deriving_yojson<3.3
- ppx_distr_guards=0.2
- ppx_dream_eml
- ppx_gen_rec
- ppx_graphql
- ppx_json_types
- ppx_nanocaml
- ppx_optint
- ppx_sexp_conv>=113.33.00 & <113.33.01+4.03
- ppx_sqlexpr
- ppx_system
- printbox<0.2
- prob-cache
- procord
- prof_spacetime
- profiler-plugin<1.30
- proj4
- promela
- promise
- protobuf
- proverif<2.01
- ptmap!=2.0.4
- ptset
- publish
- pulseaudio<0.1.4
- pure-splitmix<0.3
- pvem
- pvem_lwt_unix
- pxp<1.2.8
- pyml
- qbf<0.3
- qcheck<0.8
- qfs<0.5
- qmp
- qrencode
- qtest<2.9
- quickcheck
- r2pipe
- randomconv<0.1.1
- rashell>=0.2.0
- rdf<0.9.0
- re<1.7.2
- re2<112.35.00
- react<1.2.1
- reactiveData<0.2.2
- reactjs-jsx-ppx
- reason-react>=0.14.0
- records>=0.2.0 & <0.5.0
- redis<0.2.1
- regstab
- reins
- release!=1.0.2
- res<5.0.0
- rescript-syntax
- reshowcase
- result
- riak
- riak-pb
- riakc
- rlp
- rml<1.09.05
- root1d<0.5
- rope<0.6
- rpc<5.9.0
- rpclib-async!=6.0.0
- rpclib-html
- rpclib-js
- rpclib-lwt!=6.0.0
- rtime
- rtree
- rungen
- rusage
- safepass<2.0
- samplerate<0.1.5
- satML-plugin<1.30
- sawja<1.5.3
- schoca
- schroedinger
- scrypt
- secp256k1
- secp256k1-internal<0.2.0
- selfie
- semaphore-compat
- seq!=0.3 & <base
- sequence
- session<0.4.0
- session-cohttp<0.5.0
- session-cohttp-async<0.5.0
- session-cohttp-lwt<0.5.0
- session-postgresql<0.5.0
- session-postgresql-async<0.5.0
- session-postgresql-lwt<0.5.0
- session-redis-lwt<0.5.0
- session-webmachine<0.5.0
- setcore
- sexplib<112.06.00
- sha<1.10 | >=1.13 & <1.15.1
- shades
- shapefile
- shared-block-ring>=2.3.0 & <3.0.0
- shared-memory-ring<1.2.0
- shine<0.2.2
- should
- sibylfs
- sibylfs-lem
- simlog<0.0.4
- simple-diff
- simple_pam
- slap<1.0.0 | >=2.0.1
- smart-print
- smtp
- snappy
- socketcan
- sodium<0.3.0
- sonet
- sosa<0.2.0
- soundtouch
- space-search
- spacetime_lib
- spatial_index
- spdiff
- speex<0.4.0
- spelll<0.3
- spf
- spirv
- spotify-cli
- spotify_ml
- spotinstall<1.2.0
- spotlib>=2.0.1 & <2.2.0
- sqlexpr<0.6.1
- sqlgg<0.4.3
- sqlite3<4.2.0
- sqlite3EZ
- srs
- srt<0.1.1
- ssh-agent-unix
- ssl<0.5.4
- starred_ml
- starterkit
- statmemprof-emacs
- statsd-client
- statverif
- stb_image
- stb_image_write
- stb_truetype<0.4
- stdcompat
- stdint<0.6.0
- stemmer
- stemming
- stog<0.10.0
- stog-rdf<0.15.0
- stog-writing<0.13.0
- stone
- stringext<1.5.0
- subtype-refinement
- sundialsml<3.1.1p0
- swdogen
- sys-socket
- sys-socket-unix
- syslog<2.0.0
- tablecloth-native!=0.0.8
- tabr
- taglib<0.3.6
- tar-format<0.3.0
- tcpip<2.1.0
- termbox
- testsimple
- text>=0.6
- text-tags<1.4.0
- textutils<112.17.00
- textwrap
- tezos-lwt-result-stdlib<9.0
- tezos-shell-services<8.0
- tezt-bam
- themoviedb
- theora<0.4.0
- thrift<0.10.0
- tiny_json<1.1.5
- tiny_json_conv!=1.0.1
- tip-parser<0.5
- tjr_simple_earley
- tlstunnel
- toc
- tofn
- tophide=1.0.2
- topkg-jbuilder
- topology
- tplib
- tptp
- traildb
- trakeva
- trampoline
- transmission-rpc
- travis-opam
- travis-senv
- treeprint<1.0.3
- trie<1.0.0
- tryocaml
- tsdl-image<0.1.2
- tsdl-mixer<0.3.0
- tsdl-ttf<0.3
- tuareg
- tuntap<1.3.0
- type_conv<109.15.00 | >=109.28.00 & <112.01.00
- typehashlib
- typerex-attic
- typerex-binutils
- typerex-build
- typerex-clibs
- typerex-system
- tyxml<4.0.0
- ucaml
- uchar
- ucorelib
- udunits
- uint<2.0.1
- ulex
- unison<2.51.4
- unix-errno<0.3.0
- unix-fcntl<0.3.0
- unix-sys-resource
- unix-sys-stat
- unix-time
- unix-type-representations
- unix-unistd
- uri<1.9.2
- uring-trace
- uritemplate>=0.2.0
- usb<1.3.1
- user-setup>=0.6
- utop!=1.6 & <1.16
- uucd<4.0.0
- uucp!=1.0.0 & <2.0.0
- uuidm<0.9.6
- uunf<1.0.0
- uutf<1.0.0
- variantslib<113.24.00
- varint
- vcardgen<1.2
- vector
- vector3
- vg<0.8.1
- vhd-format<0.8.0
- vhd-tool
- vhdlib
- vimebac
- vlq>=0.2.0
- vmnet<1.3.2
- voaacenc
- vorbis<0.7.1
- vpnkit
- vpt<5.0.0
- wall
- wdialog
- webdav<1.1.5
- weberizer<0.7.8
- websocket<0.9.1
- wget
- why>=2.32 & <2.35
- why3<0.86
- why3-base<0.86
- win-error
- win-eventlog<0.4
- wiringpi
- wxOCaml
- wyrd>=1.4.6
- xapi-backtrace
- xapi-forkexecd
- xapi-idl
- xapi-inventory!=1.2.1
- xapi-libs-transitional
- xapi-rrd>=1.0.0 & <1.8.2
- xapi-rrd-transport
- xapi-rrdd
- xapi-stdext
- xapi-stdext-encodings<4.22.0
- xapi-stdext-pervasives<4.16.0
- xapi-stdext-threads
- xapi-stdext-unix=4.20.0
- xapi-stdext-zerocheck
- xapi-tapctl
- xapi-xenops
- xe
- xe-unikernel-upload
- xen-api-client
- xen-block-driver
- xen-disk
- xen-evtchn<2.1.0
- xen-evtchn-unix<2.1.0
- xen-gnt<3.0.1
- xen-gnt-unix<3.0.1
- xenbigarray
- xenctrl
- xenstore<1.3.0
- xenstore_transport<1.0.0
- xml-light<2.5
- xmldiff<0.3.0
- xmlm<1.3.0
- xmlplaylist<0.1.5
- xstr
- xstrp4
- xtmpl<0.10
- xxhash
- yajl
- yajl-extra
- yices2
- yojson>=1.1.6 & <1.3.0
- yosqlite
- z3<4.8.14
- zarith<1.12
- zarith-freestanding
- zarith-xen
- zbar
- zed<1.5
- zeit
- zenon<0.8.4
- zephyrus
- zero
- zlib
- zlist<0.4.0
- zmq<5.1.0
- zmq-async<5.1.0
- zmq-lwt<5.1.0
- zstd