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 |
|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocaml/ocaml.3.07/opam |
Required by
- 0install<2.8
- aacplus
- abt
- acpc<1.1.1
- afl
- ago>=0.4
- agrep
- aio
- alberto<0.3
- aliases
- alphaCaml
- alsa
- alt-ergo<1.30
- altgr-ergo<1.30
- ancient
- annexlib
- annot
- ansi-parse
- ansicolor
- ANSITerminal
- ao
- apalogretrieve
- apron
- arakoon<1.8.6
- archimedes>=0.4.15
- ascii85>=0.4
- asl
- assertions
- assimp
- async<109.19.00
- async-zmq<0.1.0
- async_core<109.19.00
- async_extra<109.19.00
- async_find<109.15.02
- async_graphics
- async_inotify<109.58.00
- async_shell<109.28.02
- async_smtp<113.24.00
- async_unix<109.19.00
- atd<1.13.0
- atdgen<1.13.0
- atdj>=20151001.01
- aws<1.0.1
- aws-autoscaling
- aws-cloudformation
- aws-cloudtrail
- aws-ec2
- aws-elasticloadbalancing
- aws-s3<2.0.0
- aws-sdb
- aws-ssm
- aws-sts
- 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.5.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
- 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-flambda
- base-implicits
- base-metaocaml-ocamlfind
- base-native-int63
- base-no-ppx
- base-num
- base64<2.3.0
- batteries<2.3.0 | =2.5.0
- bdd
- beluga
- bench
- benchmark<1.4
- bes
- bheap
- bibtex2html<1.99
- bigbro
- bigstring<0.2
- bin_prot<109.53.02
- binbin
- bindlib<4.0.4
- biniou<1.0.12
- biocaml<0.4.0 | >=0.9.0
- bisect<1.3.1
- bisect-summary
- bisect_ppx-ocamlbuild
- bistro<0.2.0
- bitcoin
- bitcoinml
- bitmasks>=1.1.0
- bitv<1.2
- bjack
- blahcaml
- bolt>=1.3
- bsdowl
- bson
- bst
- cache
- cairo>=0.4.2
- cairo2<0.6
- calendar>=2.03.2
- caml-mode
- camlbz2
- Camldiets
- camldm
- CamlGI
- camlgpc
- camlhighlight
- camlidl
- camlimages<4.1.0
- camlmix
- camlp4<4.02+1 | =4.02.0-1modular-implicits
- camlp5>=6.06 & !=6.15 & <7.00
- camlpdf
- camlprime
- camltemplate
- camlzip<1.06
- camomile<0.8.6
- caqti-async
- caqti-driver-mariadb
- caqti-driver-postgresql
- caqti-driver-sqlite3
- caqti-dynload<0.10.2
- caqti-lwt
- caqti-type-calendar
- caravan
- ccss<1.6
- cdrom
- cduce
- cfg<2.1.0
- cfgen
- cgi<0.9
- chalk
- channel<1.1.1
- choice
- cil
- clangml<0.5.2 | =3.7.0.2
- clangml-transforms
- coccinelle
- cohttp<0.13.0
- coinst
- combine>=0.42
- comparelib<109.60.00
- conf-bap-llvm
- conf-binutils
- conf-ida
- config-file<1.2
- cookie-js
- coq>=8.5.0 & !=8.5.2~camlp4 & <8.5.3
- coq-shell
- coqide<8.5.3
- core<109.07.00
- core_bench<109.58.00
- core_extended>=108.00.02 & <109.19.00
- cow<1.3.0
- cowabloga
- cpdf<2.1.1
- cpm>=4.0.0
- cppo
- cppo_ocamlbuild
- craml
- crunch<2.0.0
- cry
- crypt
- cryptgps
- cryptohash
- cryptokit<1.11
- cstruct<1.6.0
- csv<1.6
- ctypes=0.9.1
- ctypes-build
- ctypes-foreign
- cudf
- curses
- custom_printf<109.60.00
- daft
- 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
- decoders
- decoders-ezjsonm
- decoders-yojson
- delimcc<2017.03.02
- depext>=0.3
- deriving<0.8.1
- deriving-ocsigen
- deriving-yojson<0.4
- dispatch
- diy
- dlm
- dns=0.6.0
- dnscurve
- doc-ock-xml
- docker-api<0.2
- dockerfile>=1.1.0 & <1.2.0
- dog=0.2.0
- dokeysto
- dokeysto_camltc
- dokeysto_lz4
- dolmen<0.4
- dolog
- dose
- dose3
- dssi
- dtools
- dum
- duppy<0.7.0
- duration<0.1.2
- dyntype>=0.8.3
- dypgen
- easy-format<1.3.0
- elf2json
- elina
- eliom<4.1.0
- email_message<112.17.00
- erm_xml
- erm_xmpp
- erssical
- estring
- exenum<0.86
- expect
- extlib
- extlib-compat
- extprot<1.4.0
- extunix
- ezjsonm
- ezjsonm-lwt<1.0.0
- ezxenstore
- faad
- facile<1.1.4
- faillib<109.60.00
- fat-filesystem=0.12.1
- fd-send-recv
- fdkaac
- ffmpeg<0.2.0
- fftw3<0.7.2
- fieldslib<109.19.00
- fileutils
- fix<20181206
- fkie-cad-cwe-checker
- flac<0.1.3
- flow<0.2
- flowcaml
- fluent-logger
- fm-simplex-plugin<1.30
- forkwork
- format
- frag
- frama-c>=8.0 & <10.0
- freetds<0.5.2
- freetennis
- frei0r
- froc
- FrontC
- fstreams
- ftp
- functory<0.6
- fury-puyo
- future
- gamepad
- gammu<0.9.4
- gapi-ocaml<0.2.1
- gavl
- gd
- gen
- gen-bs<0.1.0
- gen_server
- genlet
- genspir
- gensqlite
- geoip
- get_line<5.0.0
- getopt
- getopts<0.4.0
- gettext
- git-unix<1.10.0
- github<1.1.0
- github-hooks<0.1.1
- glMLite
- glpk
- glsurf
- gmp-freestanding
- gmp-xen
- gperftools
- graphics
- graphicspdf
- grib<0.11.0
- gstreamer<0.3.0
- gtk-light
- gxl-light
- hashcons
- hashset
- hdf
- headache<1.04
- heptagon<1.03.03
- herelib>=109.10.00 & !=109.12.00 & <109.35.00
- hevea
- hex!=0.2.0
- higher
- hll
- http2https
- http_router
- hweak
- hydro
- i2c
- ibx<0.5.1
- imagemagick
- inotify
- inspect
- integers<0.3.0
- integration1d
- interval
- io
- io-page<1.2.0
- io-page-unix<2.0.0
- io-page-xen<2.0.0
- ipaddr<2.6.0
- irmin-indexeddb
- irmin-mirage
- itv-tree
- ivy
- javalib<2.3.2
- jbuilder>=transition
- jenga<109.19.00
- jhupllib
- jingoo<1.2.16
- jitsu
- jitsu-libvirt
- jitsu-libxl
- jitsu-xapi
- joolog
- js-lz4
- js_of_ocaml<2.6
- json-pointer
- json-predicate
- json-static
- json-wheel<1.0.6+safe-string
- jsondiff
- jwt
- kafka<0.3
- kaputt
- KaSim<4.0.0
- krb5
- kyotocabinet
- lablgl
- lablgtk-extras<1.5
- lablgtkosx
- lacc
- ladspa
- lambda-term<1.4
- lambdasoup
- lame
- lastfm
- launchd<1.3
- lazy-trie
- lbfgs
- lbvs_consent<2.0.0
- ldap
- ledit<2.04
- lemonade<0.4.0
- lemonade-sqlite
- let-if
- leveldb<1.2.0
- libevent<0.8.1
- libsvm<0.9.2
- libvhd
- libvirt
- lilis<0.2.1
- linenoise!=1.0.0 & <1.2.0
- liquidsoap-daemon
- litiom
- llopt
- llvm<3.6
- lo
- lpd
- lutils<1.44
- lwt<2.4.4 | =2.4.6
- lwt-parallel
- lwt-zmq<2.0.1
- lwt_camlp4
- lwt_glib
- lwt_log
- lwt_ppx<1.1.0
- lwt_react
- lwt_ssl
- lz4
- lzo
- macaque
- macaque_lwt
- mad
- magic
- magic-mime<1.0.1
- maildir
- markup
- mccs
- md2mld
- mecab
- melt
- menhir<20141215
- merge-queues
- merge-ropes
- merlin-of-pds
- mesh<0.9.0
- mesh-display
- mesh-easymesh<0.9.0
- mesh-triangle<0.9.0
- message-switch
- mikmatch<1.0.6
- milter
- mindstorm<0.6
- minicli>=5.0.0
- minilight
- minios-xen
- minisat>=0.2
- minivpt
- mirage-block-solo5<0.3.0
- mirage-bootvar-solo5<0.3.0
- mirage-bootvar-xen
- 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-console-xen-proto<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-git
- mirage-irmin
- mirage-nat
- mirage-net<1.1.1
- mirage-net-direct
- mirage-net-lwt<1.2.0
- mirage-net-macosx<1.5.0
- mirage-net-socket
- mirage-no-solo5
- mirage-no-xen
- mirage-random<1.2.0
- mirage-seal
- mirage-time
- mirage-time-lwt
- mirage-time-unix
- mirage-types<1.0.0 | >=3.0.0 & <3.0.7
- mirage-types-lwt>=2.3.0 & <3.0.7
- mirage-unix<0.9.8
- mirage-vnetif<0.4.1
- mirage-xen-minios
- mirror
- missinglib
- mkaudio>=1.1.0
- ml2mxml
- mlbdd
- mlcuddidl<3.0.0
- mlgmp
- mlgmpidl<1.2.5
- mlpost<0.8.2
- mm
- mock
- mock-ounit
- monadlib
- monads<1.4.0
- mongo
- monomorphic<1.5
- more-ocaml
- mosquitto
- moss
- mparser
- mpp!=0.2.0 & <0.3.2
- mrt-format
- mstruct
- murmur3
- mybuild
- mysql
- nbd<2.0.1
- netamqp
- netlink
- nit
- nlopt-ocaml<0.5.1
- nproc
- num<1.0
- numerix
- oasis<0.4.5
- oasis-mirage
- oasis2opam
- obeam=0.1.2
- obeanstalk
- obigstore
- obuild
- obus<1.1.8
- oc45
- ocal<0.2.0
- ocaml-arg
- ocaml-base-compilerpost & <3.07+1
- ocaml-buddy
- ocaml-data-notation
- ocaml-expat<1.0.0
- ocaml-http<0.1.6
- ocaml-inifiles
- ocaml-makefile<6.39.2
- ocaml-markdown
- ocaml-protoc<1.2.0
- ocaml-protoc-yojson<0.2.0
- ocaml-r
- ocaml-systempost
- ocaml-systemd>=1.2
- ocaml-top<1.1.5
- ocaml-twt
- ocaml-xdg-basedir
- ocaml-xml-rpc
- ocaml-zmq
- ocaml_plugin<109.53.02
- ocamlbuild<0.9.0
- ocamlclean<2.1
- ocamldap>=transition
- ocamldbi
- ocamldiff
- ocamldot
- ocamldsort
- ocamlfind-lint
- ocamlfuse<2.7.1-cvs2
- ocamlgraph
- ocamlify
- ocamlmod
- ocamlnet<4.0.1
- ocamlpp<1.1
- ocamlrss
- ocamlscript
- ocamlsdl
- ocamltter=2.1.1
- ocamlviz
- ocamlwc
- ocamlweb
- ocamlyices
- ocapic<3.3
- ocephes
- oclock
- ocp-browser<1.1.6
- ocp-build<1.99.13-beta
- ocp-indent<0.6.0 | >=1.0.0 & !=1.3.0
- ocp-manager
- ocp-pack-split
- ocp-pp>=1.99.19-beta
- ocplib-endian
- ocplib-resto
- ocs
- ocsfml
- ocsigenserver<2.9
- ocurl<0.8.2
- odb-server
- odbc
- odiff-gtk
- ogen<0.1.2
- ogg<0.5.2
- ogre<1.4.0
- ojquery
- ojwidgets
- omake<0.9.8.7
- omd<1.3.1
- opa-base
- opam-bundlebuild
- opam-depext=1.1.1
- opam-file-format
- opam-installext
- opam-lib
- opam-lock<0.2
- opam-package-upgrade
- opam-publish<2.0.0
- opamconfig
- opamfu
- opass<1.0.0 | >=1.0.6
- opencc
- openflow<0.2.0
- operf-macro
- oplay
- optcomp<1.5
- opti
- optimization1d
- opus
- oqamldebug
- orandforest
- orm
- orrandomForest
- orsvm_e1071
- orxgboost
- osc<0.1.4
- osdp<1.0.0
- ospec>=0.3.1
- osx-acl
- osx-attr
- osx-cf
- osx-fsevents
- osx-membership
- osx-mount
- osx-secure-transport
- osx-xattr
- otags<4.00.1
- otetris
- ott<0.26
- otto
- ounit<2.0.5
- owebl
- owl<0.2.0
- ox
- pa_bench<109.55.02
- pa_comprehension
- pa_do
- pa_monad_custom
- pa_ounit<109.53.02
- pa_test<109.53.02
- pa_where
- packet<0.2.0 | =0.3.1
- parmap
- patdiff>=109.10.00 & <113.24.00
- patoline
- pbkdf<0.3.0
- pcap-format
- pcf-format
- pci-db
- pcre<7.1.2
- pds-reachability
- perf
- pgocaml!=2.0 & <2.3
- phashtbl
- pipebang<109.09.00
- piqi<0.7.6
- piqilib<0.6.14
- plasma
- plotkicadsch>=0.2.0 & <0.4.0
- portaudio
- posix-clock
- posix-getopt
- posix-math
- posix-mqueue
- posix-semaphore
- posix-time
- pprint<20171003
- ppx_bitstring<1.0.1
- ppx_blob>=0.3.0
- ppx_derivers
- ppx_deriving_cmdliner<0.4.1
- ppx_deriving_morphism<0.4
- ppx_deriving_protobuf!=2.5
- ppx_deriving_protocol>=0.8.1
- ppx_deriving_yojson<3.3
- ppx_gen_rec
- ppx_graphql
- ppx_json_types
- ppx_nanocaml
- ppx_sexp_conv>=113.33.00 & <113.33.01+4.03
- ppx_sqlexpr
- prob-cache
- procord
- prof_spacetime
- profiler-plugin<1.30
- proj4
- promela
- protobuf
- proverif<1.98
- ptmap<2.0.4
- ptset
- publish
- pulseaudio
- pure-splitmix
- pxp<1.2.8
- pyml<20171117
- qbf
- qfs<0.5
- qmp
- qrencode
- quickcheck
- r2pipe
- randomconv<0.1.1
- rashell>=0.2.0
- re<1.7.2
- re2<109.55.02
- react<1.0.0
- regstab
- reins
- release!=1.0.2
- result
- riak
- riak-pb
- riakc
- rlp
- rml<1.09.05
- root1d<0.4
- rope<0.6
- rpc
- rpclib-async
- rpclib-lwt
- rtime
- safepass<2.0
- samplerate
- satML-plugin<1.30
- sawja<1.5.2
- schoca
- schroedinger
- scrypt
- secp256k1
- seq<base
- sequence
- session<0.4.0
- session-cohttp
- session-cohttp-async
- session-cohttp-lwt
- session-postgresql
- session-postgresql-async
- session-postgresql-lwt
- session-redis-lwt
- session-webmachine
- sexplib<109.58.00
- sha<1.10
- shared-block-ring>=2.3.0
- shared-memory-ring<1.2.0
- shine
- should
- sibylfs
- sibylfs-lem
- simple_pam
- smtp
- snappy
- socketcan
- sodium<0.3.0
- soundtouch
- space-search
- spacetime_lib
- spdiff
- speex
- spf
- spirv
- spotify-cli
- sqlexpr<0.6.1
- sqlgg<0.4.3
- sqlite3EZ
- srs
- ssl<0.5.6
- starterkit
- statmemprof-emacs
- statsd-client
- statverif
- stb_image
- stb_image_write
- stb_truetype<0.4
- stdcompat<2 | >=5
- stdint
- stemmer
- stemming
- stone
- stringext<1.2.0
- swdogen
- syslog
- tablecloth-native
- taglib
- tar-format<0.3.0
- termbox
- testsimple
- text>=0.6
- text-tags<1.4.0
- textutils<109.53.02
- textwrap
- themoviedb
- theora
- thrift
- tip-parser<0.5
- tjr_simple_earley
- tlstunnel
- topkg-jbuilder
- topology
- tptp
- traildb
- trakeva
- transmission-rpc
- travis-opam
- travis-senv
- trie
- tryocaml
- tsdl-image<0.1.2
- tsdl-mixer
- tsdl-ttf
- tuareg
- tuntap<1.0.0
- type_conv=108.07.00
- typehashlib<109.15.04
- tyxml>=3.1.1 & <4.0.0
- ucaml
- udunits
- uint
- ulex
- unison
- 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.3.6 | >=1.3.9 & <1.9.2
- usb
- uucd<1.0.0
- uuidm<0.9.6
- variantslib<109.15.02
- varint
- vcardgen
- vector3
- vhd-format<0.8.0
- vhd-tool>=0.7.1
- vhdlib
- vimebac
- vlq>=0.2.0
- vmnet<1.3.2
- voaacenc
- vorbis<0.7.1
- vpnkit
- vpt
- wall
- wamp<1.0
- wdialog
- webdav<1.1.5
- weberizer<0.7.8
- wget
- why<2.35
- why3<0.86
- why3-base<0.86
- win-eventlog
- wiringpi
- wyrd>=1.4.6
- xapi-backtrace
- xapi-forkexecd
- xapi-idl
- xapi-inventory
- xapi-libs-transitional
- xapi-rrd>=1.0.0
- xapi-rrd-transport
- xapi-rrdd
- xapi-stdext
- xapi-tapctl
- xapi-xenops
- xe
- xe-unikernel-upload
- xen-api-client
- xen-block-driver
- xen-disk
- xenbigarray
- xenstore<1.3.0
- xenstore_transport<1.0.0
- xml-light
- xmldiff<0.2
- xmlm<1.1.1
- xmlplaylist
- xstr
- xstrp4
- xtmpl<0.10
- xxhash
- yajl
- yajl-extra
- yices2
- yojson>=1.1.6 & <1.3.0
- z3
- zarith
- zarith-freestanding
- zarith-xen
- zbar
- zeit
- zenon<0.8.4
- zephyrus
- zero<109.19.00
- zlib
- zlist
- zmq
- zmq-async
- zmq-lwt
- zstd
