alle opties
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: haskell-presburger  ]

Pakket: libghc-presburger-prof (1.3.1-10 en anderen)

Verwijzigingen voor libghc-presburger-prof

Screenshot

Debian bronnen:

Het bronpakket haskell-presburger downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

decision procedure for quantifier-free linear arithmetic; profiling libraries

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.

This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Andere aan libghc-presburger-prof gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-presburger-prof downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 1.3.1-10+b1 205,6 kB2.337,0 kB [overzicht]
amd64 1.3.1-10+b1 136,9 kB1.352,0 kB [overzicht]
arm64 1.3.1-10+b1 162,9 kB1.811,0 kB [overzicht]
armel 1.3.1-10+b2 200,1 kB1.624,0 kB [overzicht]
armhf 1.3.1-10+b2 195,9 kB1.585,0 kB [overzicht]
hppa (unofficial port) 1.3.1-10+b2 266,0 kB2.177,0 kB [overzicht]
i386 1.3.1-10 204,2 kB1.573,0 kB [overzicht]
ia64 (unofficial port) 1.3.1-10+b1 313,3 kB4.899,0 kB [overzicht]
m68k (unofficial port) 1.3.1-9+b2 202,8 kB1.761,0 kB [overzicht]
mips64el 1.3.1-10+b1 184,6 kB2.196,0 kB [overzicht]
ppc64 (unofficial port) 1.3.1-10+b1 175,5 kB2.446,0 kB [overzicht]
ppc64el 1.3.1-10+b1 179,8 kB2.356,0 kB [overzicht]
riscv64 1.3.1-10+b2 302,0 kB3.530,0 kB [overzicht]
s390x 1.3.1-10+b1 226,7 kB2.889,0 kB [overzicht]
sparc64 (unofficial port) 1.3.1-10+b1 250,1 kB3.761,0 kB [overzicht]
x32 (unofficial port) 1.3.1-9 201,1 kB1.752,0 kB [overzicht]