Pakiet: libghc-simple-smt-dev (0.9.5-1)

[ Pakiet źródłowy: haskell-simple-smt  ]

A simple way to interact with an SMT solver process.

This package provides a simple way to interact with an SMT solver process, using the SmtLib-2 format.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Inne pakiety związane z libghc-simple-smt-dev

• dep: libc6 (>= 2.17) [arm64, ppc64el]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

  dep: libc6 (>= 2.2) [mips64el, s390x]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.3.6-6~) [i386]

  dep: libc6 (>= 2.4) [armel, armhf, mipsel]

• dep: libghc-base-dev-4.13.0.0-2f220 [amd64]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-base-dev-4.13.0.0-3cd45 [i386]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-base-dev-4.13.0.0-5b8ba [armel, armhf]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-base-dev-4.13.0.0-7d708 [mipsel]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-base-dev-4.13.0.0-8a208 [mips64el]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-base-dev-4.13.0.0-95196 [s390x]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-base-dev-4.13.0.0-bfdb4 [ppc64el]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-base-dev-4.13.0.0-d4e5b [arm64]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-process-dev-1.6.9.0-23e5c [arm64]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-process-dev-1.6.9.0-53673 [mipsel]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-process-dev-1.6.9.0-83e3e [armel, armhf]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-process-dev-1.6.9.0-88a89 [amd64, ppc64el]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-process-dev-1.6.9.0-d3807 [mips64el, s390x]

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-process-dev-1.6.9.0-ef5bd [i386]

  pakiet wirtualny udostępniany przez ghc

• dep: libgmp10

  Biblioteka działań arytmetycznych z dużą dokładnością

• sug: libghc-simple-smt-doc

  A simple way to interact with an SMT solver process.; documentation

• sug: libghc-simple-smt-prof

  A simple way to interact with an SMT solver process.; profiling libraries

Pobieranie libghc-simple-smt-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	97,6 KiB	811,0 KiB	[lista plików]
arm64	111,0 KiB	1 069,0 KiB	[lista plików]
armel	107,9 KiB	852,0 KiB	[lista plików]
armhf	107,1 KiB	840,0 KiB	[lista plików]
i386	94,9 KiB	675,0 KiB	[lista plików]
mips64el	123,0 KiB	1 346,0 KiB	[lista plików]
mipsel	116,4 KiB	1 035,0 KiB	[lista plików]
ppc64el	124,2 KiB	1 286,0 KiB	[lista plików]
s390x	134,2 KiB	1 287,0 KiB	[lista plików]