tüm seçenekler
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Kaynak: haskell-simple-smt  ]

Paket: libghc-simple-smt-dev (0.9.1-1 ve diğerleri)

libghc-simple-smt-dev için bağlantılar

Screenshot

Debian Kaynakları:

haskell-simple-smt Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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.

libghc-simple-smt-dev ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-simple-smt-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 0.9.1-1+b3 124,6 kB1.259,0 kB [dosya listesi]
amd64 0.9.1-1+b3 93,9 kB774,0 kB [dosya listesi]
arm64 0.9.1-1+b3 106,5 kB1.038,0 kB [dosya listesi]
armel 0.9.1-1+b4 103,2 kB814,0 kB [dosya listesi]
armhf 0.9.1-1+b7 102,8 kB802,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.9.1-1+b4 149,3 kB1.248,0 kB [dosya listesi]
i386 0.9.1-1+b3 90,2 kB645,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.9.1-1+b3 123,0 kB990,0 kB [dosya listesi]
mips64el 0.9.1-1+b3 118,6 kB1.229,0 kB [dosya listesi]
mipsel 0.9.1-1+b3 107,7 kB979,0 kB [dosya listesi]
powerpcspe (resmi olmayan port) 0.8-1 119,4 kB1.021,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.9.1-1+b3 115,9 kB1.287,0 kB [dosya listesi]
ppc64el 0.9.1-1+b3 118,8 kB1.240,0 kB [dosya listesi]
riscv64 (resmi olmayan port) 0.9.1-1+b3 156,1 kB1.676,0 kB [dosya listesi]
s390x 0.9.1-1+b3 124,3 kB1.203,0 kB [dosya listesi]
sh4 (resmi olmayan port) 0.9.1-1+b1 120,5 kB945,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.9.1-1+b3 134,5 kB1.715,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.9.1-1+b3 144,3 kB1.040,0 kB [dosya listesi]