alle opties
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: haskell-simple-smt  ]

Pakket: libghc-simple-smt-dev (0.9.7-2 en anderen)

Verwijzigingen voor libghc-simple-smt-dev

Screenshot

Debian bronnen:

Het bronpakket haskell-simple-smt downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan libghc-simple-smt-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-simple-smt-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.9.7-2+b1 148,1 kB1.529,0 kB [overzicht]
amd64 0.9.7-2+b1 108,0 kB850,0 kB [overzicht]
arm64 0.9.7-2+b1 109,2 kB993,0 kB [overzicht]
armel 0.9.7-2+b2 119,2 kB1.022,0 kB [overzicht]
armhf 0.9.7-2+b2 117,9 kB1.008,0 kB [overzicht]
hppa (unofficial port) 0.9.7-2+b4 179,3 kB1.466,0 kB [overzicht]
i386 0.9.7-2+b1 159,6 kB1.090,0 kB [overzicht]
ia64 (unofficial port) 0.9.7-2+b1 159,7 kB2.552,0 kB [overzicht]
m68k (unofficial port) 0.9.7-2 140,6 kB1.092,0 kB [overzicht]
mips64el 0.9.7-2+b1 137,5 kB1.442,0 kB [overzicht]
ppc64 (unofficial port) 0.9.7-2+b1 136,0 kB1.543,0 kB [overzicht]
ppc64el 0.9.7-2+b1 137,8 kB1.417,0 kB [overzicht]
riscv64 0.9.7-2+b1 156,2 kB1.586,0 kB [overzicht]
s390x 0.9.7-2+b1 139,5 kB1.570,0 kB [overzicht]
sh4 (unofficial port) 0.9.5-1 125,5 kB996,0 kB [overzicht]
sparc64 (unofficial port) 0.9.7-2+b2 162,5 kB1.945,0 kB [overzicht]
x32 (unofficial port) 0.9.7-2 162,1 kB1.158,0 kB [overzicht]