tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: haskell-sbv  ]

Paket: libghc-sbv-prof (10.2-1 ve diğerleri)

libghc-sbv-prof için bağlantılar

Screenshot

Debian Kaynakları:

haskell-sbv Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

symbolic Haskell theorem prover using SMT solving; profiling libraries

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

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

libghc-sbv-prof ile İlgili Diğer Paketler

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

libghc-sbv-prof indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 10.2-1+b1 9.173,2 kB119.772,0 kB [dosya listesi]
amd64 10.2-1+b2 6.083,2 kB72.746,0 kB [dosya listesi]
arm64 10.2-1+b2 7.149,0 kB94.015,0 kB [dosya listesi]
armel 10.2-1+b2 8.623,2 kB86.597,0 kB [dosya listesi]
armhf 10.2-1+b2 8.504,8 kB84.787,0 kB [dosya listesi]
hppa (resmi olmayan port) 10.2-1+b2 11.288,2 kB109.475,0 kB [dosya listesi]
i386 10.2-1+b1 8.905,0 kB80.331,0 kB [dosya listesi]
ia64 (resmi olmayan port) 10.2-1+b2 12.554,8 kB229.449,0 kB [dosya listesi]
m68k (resmi olmayan port) 8.17-1+b2 8.359,1 kB88.233,0 kB [dosya listesi]
mips64el 10.2-1+b2 8.213,1 kB111.747,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 10.2-1+b4 7.809,3 kB122.744,0 kB [dosya listesi]
ppc64el 10.2-1+b2 8.192,8 kB118.528,0 kB [dosya listesi]
riscv64 10.2-1+b2 13.719,5 kB179.854,0 kB [dosya listesi]
s390x 10.2-1+b2 10.049,9 kB146.854,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 10.2-1+b3 10.775,3 kB181.743,0 kB [dosya listesi]
x32 (resmi olmayan port) 8.17-1+b2 8.970,3 kB91.700,0 kB [dosya listesi]