alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: haskell-sbv  ]

Paket: libghc-sbv-prof (10.2-2 och andra)

Länkar för libghc-sbv-prof

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-sbv:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libghc-sbv-prof

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

Hämta libghc-sbv-prof

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 10.2-1+b1 9.173,2 kbyte119.772,0 kbyte [filförteckning]
amd64 10.2-2+b1 5.892,2 kbyte67.597,0 kbyte [filförteckning]
arm64 10.2-2+b1 6.863,4 kbyte86.054,0 kbyte [filförteckning]
armel 10.2-2+b1 8.037,7 kbyte80.266,0 kbyte [filförteckning]
armhf 10.2-2+b1 7.897,2 kbyte78.659,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 10.2-2+b1 10.613,8 kbyte100.009,0 kbyte [filförteckning]
i386 10.2-2+b1 8.472,5 kbyte73.860,0 kbyte [filförteckning]
ia64 (inofficiell anpassning) 10.2-1+b2 12.554,8 kbyte229.449,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 8.17-1+b2 8.359,1 kbyte88.233,0 kbyte [filförteckning]
mips64el 10.2-2+b1 7.957,6 kbyte102.571,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 10.2-2 7.507,3 kbyte112.620,0 kbyte [filförteckning]
ppc64el 10.2-2 7.965,6 kbyte108.831,0 kbyte [filförteckning]
riscv64 10.2-2 12.841,8 kbyte163.821,0 kbyte [filförteckning]
s390x 10.2-2 9.089,6 kbyte134.026,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 10.2-2 10.338,4 kbyte165.200,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 8.17-1+b2 8.970,3 kbyte91.700,0 kbyte [filförteckning]