toutes les options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Paquet source : haskell-sbv  ]

Paquet : libghc-sbv-prof (7.13-1 et autres)

Liens pour libghc-sbv-prof

Screenshot

Ressources Debian :

Télécharger le paquet source haskell-sbv :

Responsables :

Ressources externes :

Paquets similaires :

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.

Autres paquets associés à libghc-sbv-prof

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libghc-sbv-prof

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 7.13-1+b2 4 920,7 ko67 327,0 ko [liste des fichiers]
amd64 7.13-1+b2 3 331,4 ko40 382,0 ko [liste des fichiers]
arm64 7.13-1+b2 3 737,2 ko46 555,0 ko [liste des fichiers]
armel 7.13-1+b1 3 607,7 ko34 868,0 ko [liste des fichiers]
armhf 7.13-1+b3 3 569,1 ko34 129,0 ko [liste des fichiers]
hppa (portage non officiel) 7.13-1+b2 6 055,3 ko63 481,0 ko [liste des fichiers]
i386 7.13-1+b2 3 344,0 ko30 327,0 ko [liste des fichiers]
m68k (portage non officiel) 7.13-1+b2 4 787,9 ko48 916,0 ko [liste des fichiers]
mips64el 7.13-1+b1 4 601,6 ko64 526,0 ko [liste des fichiers]
mipsel 7.13-1+b2 4 297,1 ko44 784,0 ko [liste des fichiers]
powerpcspe (portage non officiel) 7.5-1+b1 3 766,0 ko42 974,0 ko [liste des fichiers]
ppc64 (portage non officiel) 7.13-1+b3 4 227,3 ko67 202,0 ko [liste des fichiers]
ppc64el 7.13-1+b2 4 456,0 ko64 919,0 ko [liste des fichiers]
riscv64 (portage non officiel) 7.13-1+b1 8 095,0 ko115 352,0 ko [liste des fichiers]
s390x 7.13-1+b2 4 086,5 ko57 191,0 ko [liste des fichiers]
sparc64 (portage non officiel) 7.13-1+b3 6 321,9 ko109 784,0 ko [liste des fichiers]
x32 (portage non officiel) 7.13-1+b3 5 503,3 ko53 353,0 ko [liste des fichiers]