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

Paquet : libghc-sbv-prof (10.2-2 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) 10.2-1+b1 9 173,2 ko119 772,0 ko [liste des fichiers]
amd64 10.2-2 5 887,0 ko67 603,0 ko [liste des fichiers]
arm64 10.2-2 6 864,5 ko86 059,0 ko [liste des fichiers]
armel 10.2-2+b1 8 037,7 ko80 266,0 ko [liste des fichiers]
armhf 10.2-2+b1 7 897,2 ko78 659,0 ko [liste des fichiers]
hppa (portage non officiel) 10.2-2 10 649,5 ko99 888,0 ko [liste des fichiers]
i386 10.2-2+b1 8 472,5 ko73 860,0 ko [liste des fichiers]
ia64 (portage non officiel) 10.2-1+b2 12 554,8 ko229 449,0 ko [liste des fichiers]
m68k (portage non officiel) 8.17-1+b2 8 359,1 ko88 233,0 ko [liste des fichiers]
mips64el 10.2-2+b1 7 957,6 ko102 571,0 ko [liste des fichiers]
ppc64 (portage non officiel) 10.2-2 7 507,3 ko112 620,0 ko [liste des fichiers]
ppc64el 10.2-2 7 965,6 ko108 831,0 ko [liste des fichiers]
riscv64 10.2-2 12 841,8 ko163 821,0 ko [liste des fichiers]
s390x 10.2-2 9 089,6 ko134 026,0 ko [liste des fichiers]
sparc64 (portage non officiel) 10.2-2 10 338,4 ko165 200,0 ko [liste des fichiers]
x32 (portage non officiel) 8.17-1+b2 8 970,3 ko91 700,0 ko [liste des fichiers]