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

Paket: libghc-sbv-prof (10.2-2 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-2 5.887,0 kB67.603,0 kB [dosya listesi]
arm64 10.2-2 6.864,5 kB86.059,0 kB [dosya listesi]
armel 10.2-2+b1 8.037,7 kB80.266,0 kB [dosya listesi]
armhf 10.2-2+b1 7.897,2 kB78.659,0 kB [dosya listesi]
hppa (resmi olmayan port) 10.2-2 10.649,5 kB99.888,0 kB [dosya listesi]
i386 10.2-2+b1 8.472,5 kB73.860,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-2+b1 7.957,6 kB102.571,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 10.2-2 7.507,3 kB112.620,0 kB [dosya listesi]
ppc64el 10.2-2 7.965,6 kB108.831,0 kB [dosya listesi]
riscv64 10.2-2 12.841,8 kB163.821,0 kB [dosya listesi]
s390x 10.2-2 9.089,6 kB134.026,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 10.2-2 10.338,4 kB165.200,0 kB [dosya listesi]
x32 (resmi olmayan port) 8.17-1+b2 8.970,3 kB91.700,0 kB [dosya listesi]