Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: haskell-sbv  ]

Paket: libghc-sbv-prof (10.2-2 und andere)

Links für libghc-sbv-prof

Screenshot

Debian-Ressourcen:

Quellcode-Paket haskell-sbv herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libghc-sbv-prof

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libghc-sbv-prof herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 10.2-1+b1 9.173,2 kB119.772,0 kB [Liste der Dateien]
amd64 10.2-2+b1 5.892,2 kB67.597,0 kB [Liste der Dateien]
arm64 10.2-2+b1 6.863,4 kB86.054,0 kB [Liste der Dateien]
armel 10.2-2+b1 8.037,7 kB80.266,0 kB [Liste der Dateien]
armhf 10.2-2+b1 7.897,2 kB78.659,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 10.2-2+b1 10.613,8 kB100.009,0 kB [Liste der Dateien]
i386 10.2-2+b1 8.472,5 kB73.860,0 kB [Liste der Dateien]
ia64 (inoffizielle Portierung) 10.2-1+b2 12.554,8 kB229.449,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 8.17-1+b2 8.359,1 kB88.233,0 kB [Liste der Dateien]
mips64el 10.2-2+b1 7.957,6 kB102.571,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 10.2-2 7.507,3 kB112.620,0 kB [Liste der Dateien]
ppc64el 10.2-2 7.965,6 kB108.831,0 kB [Liste der Dateien]
riscv64 10.2-2 12.841,8 kB163.821,0 kB [Liste der Dateien]
s390x 10.2-2 9.089,6 kB134.026,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 10.2-2 10.338,4 kB165.200,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 8.17-1+b2 8.970,3 kB91.700,0 kB [Liste der Dateien]