wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: haskell-sbv  ]

Pakiet: libghc-sbv-prof (10.2-2 i inne)

Odnośniki dla libghc-sbv-prof

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego haskell-sbv:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z libghc-sbv-prof

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libghc-sbv-prof

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 10.2-2 8 542,7 KiB109 652,0 KiB [lista plików]
amd64 10.2-2+b1 5 892,2 KiB67 597,0 KiB [lista plików]
arm64 10.2-2+b1 6 863,4 KiB86 054,0 KiB [lista plików]
armel 10.2-2+b1 8 037,7 KiB80 266,0 KiB [lista plików]
armhf 10.2-2+b1 7 897,2 KiB78 659,0 KiB [lista plików]
hppa (port nieoficjalny) 10.2-2+b2 10 598,5 KiB99 886,0 KiB [lista plików]
i386 10.2-2+b1 8 472,5 KiB73 860,0 KiB [lista plików]
ia64 (port nieoficjalny) 10.2-1+b2 12 554,8 KiB229 449,0 KiB [lista plików]
loong64 (port nieoficjalny) 10.2-2+b1 12 662,0 KiB163 196,0 KiB [lista plików]
m68k (port nieoficjalny) 8.17-1+b2 8 359,1 KiB88 233,0 KiB [lista plików]
mips64el 10.2-2+b1 7 957,6 KiB102 571,0 KiB [lista plików]
ppc64 (port nieoficjalny) 10.2-2 7 507,3 KiB112 620,0 KiB [lista plików]
ppc64el 10.2-2 7 965,6 KiB108 831,0 KiB [lista plików]
riscv64 10.2-2 12 841,8 KiB163 821,0 KiB [lista plików]
s390x 10.2-2 9 089,6 KiB134 026,0 KiB [lista plików]
sparc64 (port nieoficjalny) 10.2-2 10 338,4 KiB165 200,0 KiB [lista plików]
x32 (port nieoficjalny) 8.17-1+b2 8 970,3 KiB91 700,0 KiB [lista plików]