alla flaggor
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Källkod: haskell-simple-smt  ]

Paket: libghc-simple-smt-dev (0.9.1-1 och andra)

Länkar för libghc-simple-smt-dev

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-simple-smt:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libghc-simple-smt-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libghc-simple-smt-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 0.9.1-1+b2 126,0 kbyte1.279,0 kbyte [filförteckning]
amd64 0.9.1-1+b3 93,9 kbyte774,0 kbyte [filförteckning]
arm64 0.9.1-1+b3 106,5 kbyte1.038,0 kbyte [filförteckning]
armel 0.9.1-1+b4 103,2 kbyte814,0 kbyte [filförteckning]
armhf 0.9.1-1+b7 102,8 kbyte802,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 0.9.1-1+b4 149,3 kbyte1.248,0 kbyte [filförteckning]
i386 0.9.1-1+b3 90,2 kbyte645,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 0.9.1-1+b3 123,0 kbyte990,0 kbyte [filförteckning]
mips64el 0.9.1-1+b3 118,6 kbyte1.229,0 kbyte [filförteckning]
mipsel 0.9.1-1+b3 107,7 kbyte979,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 0.8-1 119,4 kbyte1.021,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 0.9.1-1+b3 115,9 kbyte1.287,0 kbyte [filförteckning]
ppc64el 0.9.1-1+b3 118,8 kbyte1.240,0 kbyte [filförteckning]
riscv64 (inofficiell anpassning) 0.9.1-1+b3 156,1 kbyte1.676,0 kbyte [filförteckning]
s390x 0.9.1-1+b3 124,3 kbyte1.203,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 0.9.1-1 125,5 kbyte976,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 0.9.1-1+b3 134,5 kbyte1.715,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 0.9.1-1+b3 144,3 kbyte1.040,0 kbyte [filförteckning]