Paket: hol-light (1:3.0.0-2build10) [universe]

Links für hol-light

Ubuntu-Ressourcen:

Quellcode-Paket hol-light herunterladen:

Betreuer:

Ubuntu MOTU Developers (E-Mail-Archiv)

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

Original Maintainers (usually from Debian):

Debian OCaml Maintainers (E-Mail-Archiv)
Hendrik Tews

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

Externe Ressourcen:

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

HOL Light theorem prover

Andere Pakete mit Bezug zu hol-light

hängt ab von

empfiehlt

schlägt vor

enhances

dep: camlp5

Pre Processor Pretty Printer for OCaml - classical version
dep: camlp5-9cmo2 [riscv64]

virtuelles Paket, bereitgestellt durch camlp5
dep: camlp5-e8hp4 [armhf]

virtuelles Paket, bereitgestellt durch camlp5
dep: camlp5-g5at4 [amd64]

virtuelles Paket, bereitgestellt durch camlp5
dep: camlp5-h6tn6 [arm64]

virtuelles Paket, bereitgestellt durch camlp5
dep: camlp5-srj55 [ppc64el]

virtuelles Paket, bereitgestellt durch camlp5
dep: camlp5-v6128 [s390x]

virtuelles Paket, bereitgestellt durch camlp5
dep: libcamlp-streams-ocaml-dev-0lin0 [nicht armhf, s390x]

virtuelles Paket, bereitgestellt durch libcamlp-streams-ocaml-dev
dep: libcamlp-streams-ocaml-dev-lshm7 [armhf]

virtuelles Paket, bereitgestellt durch libcamlp-streams-ocaml-dev
dep: libcamlp-streams-ocaml-dev-vpz28 [s390x]

virtuelles Paket, bereitgestellt durch libcamlp-streams-ocaml-dev
dep: libcompiler-libs-ocaml-dev-19dg7 [arm64]

virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
dep: libcompiler-libs-ocaml-dev-7h1n2 [amd64]

virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
dep: libcompiler-libs-ocaml-dev-lgb23 [armhf]

virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
dep: libcompiler-libs-ocaml-dev-pv9n0 [ppc64el]

virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
dep: libcompiler-libs-ocaml-dev-wyco3 [s390x]

virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
dep: libcompiler-libs-ocaml-dev-yozh2 [riscv64]

virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev
dep: libstdlib-ocaml-dev-2d5j3 [s390x]

virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-m4xw9 [nicht armhf, s390x]

virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-ye7o9 [armhf]

virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
dep: libzarith-ocaml-dev-2ofb9 [s390x]

virtuelles Paket, bereitgestellt durch libzarith-ocaml-dev
dep: libzarith-ocaml-dev-7dab1 [armhf]

virtuelles Paket, bereitgestellt durch libzarith-ocaml-dev
dep: libzarith-ocaml-dev-h79v1 [nicht armhf, s390x]

virtuelles Paket, bereitgestellt durch libzarith-ocaml-dev
dep: ocaml-5.3.0

virtuelles Paket, bereitgestellt durch ocaml

sug: coinor-csdp

Software package for semidefinite programming (binaries)
sug: dmtcp

Paket nicht verfügbar
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

Paket nicht verfügbar
sug: python

Paket nicht verfügbar
sug: readline-editor

virtuelles Paket, bereitgestellt durch ledit, rlfe, rlwrap

hol-light herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	5.694,1 kB	45.840,0 kB	[Liste der Dateien]
arm64	5.694,2 kB	45.840,0 kB	[Liste der Dateien]
armhf	5.694,1 kB	45.841,0 kB	[Liste der Dateien]
ppc64el	5.694,0 kB	45.841,0 kB	[Liste der Dateien]
riscv64	5.694,2 kB	45.840,0 kB	[Liste der Dateien]
s390x	5.694,6 kB	45.840,0 kB	[Liste der Dateien]