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

Paket: libghc-sbv-prof (8.7-1 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
amd64 8.7-1+b1 5.105,2 kB64.888,0 kB [Liste der Dateien]
arm64 8.7-1+b1 6.295,5 kB80.501,0 kB [Liste der Dateien]
armel 8.7-1+b1 6.233,7 kB59.831,0 kB [Liste der Dateien]
armhf 8.7-1+b1 6.107,9 kB58.299,0 kB [Liste der Dateien]
i386 8.7-1+b1 5.170,7 kB49.001,0 kB [Liste der Dateien]
mips64el 8.7-1 6.859,0 kB98.905,0 kB [Liste der Dateien]
mipsel 8.7-1 6.560,5 kB69.885,0 kB [Liste der Dateien]
ppc64el 8.7-1+b1 6.991,5 kB105.106,0 kB [Liste der Dateien]
s390x 8.7-1+b1 8.124,2 kB123.874,0 kB [Liste der Dateien]