namen van pakketten omschrijvingen namen van bronpakketten inhoud van pakketten alle opties

[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Bron: hol-light  ]

Verwijzigingen voor hol-light

Ubuntu bronnen:

• Probleemrapporten
• Ubuntu Changelog
• Copyright-bestand

Het bronpakket hol-light downloaden:

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

Beheerder:

• Ubuntu MOTU Developers (Mailarchief)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Mailarchief)
• Hendrik Tews

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

Externe bronnen:

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

Vergelijkbare pakketten:

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

Andere aan hol-light gerelateerde pakketten

depends

recommends

suggests

enhances

• dep: camlp5

  Pre Processor Pretty Printer for OCaml - classical version

• dep: camlp5-9cmo2 [riscv64]

  virtueel pakket geboden door camlp5

• dep: camlp5-e8hp4 [armhf]

  virtueel pakket geboden door camlp5

• dep: camlp5-g5at4 [amd64]

  virtueel pakket geboden door camlp5

• dep: camlp5-h6tn6 [arm64]

  virtueel pakket geboden door camlp5

• dep: camlp5-srj55 [ppc64el]

  virtueel pakket geboden door camlp5

• dep: camlp5-v6128 [s390x]

  virtueel pakket geboden door camlp5

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

  virtueel pakket geboden door libcamlp-streams-ocaml-dev

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

  virtueel pakket geboden door libcamlp-streams-ocaml-dev

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

  virtueel pakket geboden door libcamlp-streams-ocaml-dev

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

  virtueel pakket geboden door libcompiler-libs-ocaml-dev

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

  virtueel pakket geboden door libcompiler-libs-ocaml-dev

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

  virtueel pakket geboden door libcompiler-libs-ocaml-dev

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

  virtueel pakket geboden door libcompiler-libs-ocaml-dev

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

  virtueel pakket geboden door libcompiler-libs-ocaml-dev

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

  virtueel pakket geboden door libcompiler-libs-ocaml-dev

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

  virtueel pakket geboden door libstdlib-ocaml-dev

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

  virtueel pakket geboden door libstdlib-ocaml-dev

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

  virtueel pakket geboden door libstdlib-ocaml-dev

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

  virtueel pakket geboden door libzarith-ocaml-dev

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

  virtueel pakket geboden door libzarith-ocaml-dev

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

  virtueel pakket geboden door libzarith-ocaml-dev

• dep: ocaml-5.3.0

  virtueel pakket geboden door ocaml

• sug: coinor-csdp

  Software package for semidefinite programming (binaries)

• sug: dmtcp

  Pakket niet beschikbaar

• 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

  Pakket niet beschikbaar

• sug: python

  Pakket niet beschikbaar

• sug: readline-editor

  virtueel pakket geboden door ledit, rlfe, rlwrap

hol-light downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	5.694,1 kB	45.840,0 kB	[overzicht]
arm64	5.694,2 kB	45.840,0 kB	[overzicht]
armhf	5.694,1 kB	45.841,0 kB	[overzicht]
ppc64el	5.694,0 kB	45.841,0 kB	[overzicht]
riscv64	5.694,2 kB	45.840,0 kB	[overzicht]
s390x	5.694,6 kB	45.840,0 kB	[overzicht]