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

Paket: libghc-sbv-prof (10.2-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) 10.2-1+b1 9.173,2 kbyte119.772,0 kbyte [filförteckning]
amd64 10.2-1+b2 6.083,2 kbyte72.746,0 kbyte [filförteckning]
arm64 10.2-1+b2 7.149,0 kbyte94.015,0 kbyte [filförteckning]
armel 10.2-1+b2 8.623,2 kbyte86.597,0 kbyte [filförteckning]
armhf 10.2-1+b2 8.504,8 kbyte84.787,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 10.2-1+b2 11.288,2 kbyte109.475,0 kbyte [filförteckning]
i386 10.2-1+b1 8.905,0 kbyte80.331,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-1+b2 8.213,1 kbyte111.747,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 10.2-1+b4 7.809,3 kbyte122.744,0 kbyte [filförteckning]
ppc64el 10.2-1+b2 8.192,8 kbyte118.528,0 kbyte [filförteckning]
riscv64 10.2-1+b2 13.719,5 kbyte179.854,0 kbyte [filförteckning]
s390x 10.2-1+b2 10.049,9 kbyte146.854,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 10.2-1+b3 10.775,3 kbyte181.743,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 8.17-1+b2 8.970,3 kbyte91.700,0 kbyte [filförteckning]