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

Paket: libghc-sbv-prof (8.7-1 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) 8.7-1 7.701,7 kbyte106.611,0 kbyte [filförteckning]
amd64 8.7-1+b1 5.105,2 kbyte64.888,0 kbyte [filförteckning]
arm64 8.7-1+b1 6.295,5 kbyte80.501,0 kbyte [filförteckning]
armel 8.7-1+b1 6.233,7 kbyte59.831,0 kbyte [filförteckning]
armhf 8.7-1+b1 6.107,9 kbyte58.299,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 8.7-1 9.351,7 kbyte97.313,0 kbyte [filförteckning]
i386 8.7-1+b1 5.170,7 kbyte49.001,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 8.7-1 7.558,7 kbyte81.665,0 kbyte [filförteckning]
mips64el 8.7-1 6.859,0 kbyte98.905,0 kbyte [filförteckning]
mipsel 8.7-1 6.560,5 kbyte69.885,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 8.7-1 6.605,3 kbyte108.786,0 kbyte [filförteckning]
ppc64el 8.7-1+b1 6.991,5 kbyte105.106,0 kbyte [filförteckning]
riscv64 (inofficiell anpassning) 8.7-1 11.772,9 kbyte160.504,0 kbyte [filförteckning]
s390x 8.7-1+b1 8.124,2 kbyte123.874,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 8.7-1 9.397,6 kbyte163.879,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 8.7-1 7.886,9 kbyte81.669,0 kbyte [filförteckning]