package names descriptions source package names package contents all options

[  noble  ] [  plucky  ] [  questing  ] [  resolute  ]

[ Source: hol-light  ]

Links for hol-light

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package hol-light:

• [hol-light_3.0.0-2build10.dsc]
• [hol-light_3.0.0.orig.tar.xz]
• [hol-light_3.0.0-2build10.debian.tar.xz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Mail Archive)
• Hendrik Tews

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [www.cl.cam.ac.uk]

Similar packages:

• mona
• z3
• cvc4
• cvc5
• alt-ergo
• libcvc4-7
• libghc-sbv-dev
• libz3-4
• libz3-dev
• libz3-java
• libz3-jni

Other Packages Related to hol-light

depends

recommends

suggests

enhances

• dep: camlp5

  Pre Processor Pretty Printer for OCaml - classical version

• dep: camlp5-9cmo2 [riscv64]

  virtual package provided by camlp5

• dep: camlp5-e8hp4 [armhf]

  virtual package provided by camlp5

• dep: camlp5-g5at4 [amd64]

  virtual package provided by camlp5

• dep: camlp5-h6tn6 [arm64]

  virtual package provided by camlp5

• dep: camlp5-srj55 [ppc64el]

  virtual package provided by camlp5

• dep: camlp5-v6128 [s390x]

  virtual package provided by camlp5

• dep: libcamlp-streams-ocaml-dev-0lin0 [not armhf, s390x]

  virtual package provided by libcamlp-streams-ocaml-dev

• dep: libcamlp-streams-ocaml-dev-lshm7 [armhf]

  virtual package provided by libcamlp-streams-ocaml-dev

• dep: libcamlp-streams-ocaml-dev-vpz28 [s390x]

  virtual package provided by libcamlp-streams-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-19dg7 [arm64]

  virtual package provided by libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-7h1n2 [amd64]

  virtual package provided by libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-lgb23 [armhf]

  virtual package provided by libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-pv9n0 [ppc64el]

  virtual package provided by libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-wyco3 [s390x]

  virtual package provided by libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-yozh2 [riscv64]

  virtual package provided by libcompiler-libs-ocaml-dev

• dep: libstdlib-ocaml-dev-2d5j3 [s390x]

  virtual package provided by libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-m4xw9 [not armhf, s390x]

  virtual package provided by libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-ye7o9 [armhf]

  virtual package provided by libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-2ofb9 [s390x]

  virtual package provided by libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-7dab1 [armhf]

  virtual package provided by libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-h79v1 [not armhf, s390x]

  virtual package provided by libzarith-ocaml-dev

• dep: ocaml-5.3.0

  virtual package provided by ocaml

• sug: coinor-csdp

  Software package for semidefinite programming (binaries)

• sug: dmtcp

  Package not available

• sug: libocamlgraph-ocaml-dev

  graph library for OCaml

• sug: maxima

  Computer algebra system -- base system

• sug: pari-gp

  PARI/GP Computer Algebra System binaries

• sug: prover9

  Package not available

• sug: python

  Package not available

• sug: readline-editor

  virtual package provided by ledit, rlfe, rlwrap

Download hol-light

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	5,694.1 kB	45,840.0 kB	[list of files]
arm64	5,694.2 kB	45,840.0 kB	[list of files]
armhf	5,694.1 kB	45,841.0 kB	[list of files]
ppc64el	5,694.0 kB	45,841.0 kB	[list of files]
riscv64	5,694.2 kB	45,840.0 kB	[list of files]
s390x	5,694.6 kB	45,840.0 kB	[list of files]