alle opties
stretch  ] [  buster  ] [  sid  ]
[ Bron: haskell-djinn-lib  ]

Pakket: libghc-djinn-lib-prof (0.0.1.3-3 en anderen)

Verwijzigingen voor libghc-djinn-lib-prof

Screenshot

Debian bronnen:

Het bronpakket haskell-djinn-lib downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

Generate Haskell code from a type; profiling libraries

Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources.

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-djinn-lib-prof gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-djinn-lib-prof downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.0.1.3-3+b1 228,0 kB2.545,0 kB [overzicht]
amd64 0.0.1.3-3+b2 158,4 kB1.443,0 kB [overzicht]
arm64 0.0.1.3-3+b2 176,0 kB1.632,0 kB [overzicht]
armel 0.0.1.3-3+b2 174,0 kB1.186,0 kB [overzicht]
armhf 0.0.1.3-3+b2 173,9 kB1.186,0 kB [overzicht]
hppa (unofficial port) 0.0.1.3-3+b3 290,9 kB2.461,0 kB [overzicht]
hurd-i386 0.0.1.3-3+b1 164,1 kB1.076,0 kB [overzicht]
i386 0.0.1.3-3+b2 163,0 kB1.076,0 kB [overzicht]
kfreebsd-amd64 0.0.1.3-3 158,1 kB1.442,0 kB [overzicht]
kfreebsd-i386 0.0.1.3-3 163,7 kB1.075,0 kB [overzicht]
m68k (unofficial port) 0.0.1.3-3+b2 236,8 kB1.862,0 kB [overzicht]
mips 0.0.1.3-3+b2 197,4 kB1.658,0 kB [overzicht]
mips64el 0.0.1.3-3+b2 214,4 kB2.444,0 kB [overzicht]
mipsel 0.0.1.3-3+b2 197,6 kB1.659,0 kB [overzicht]
powerpcspe (unofficial port) 0.0.1.3-1 199,8 kB1.796,0 kB [overzicht]
ppc64 (unofficial port) 0.0.1.3-3+b2 194,5 kB2.562,0 kB [overzicht]
ppc64el 0.0.1.3-3+b2 198,2 kB2.467,0 kB [overzicht]
riscv64 (unofficial port) 0.0.1.3-3+b1 370,6 kB4.680,0 kB [overzicht]
s390x 0.0.1.3-3+b2 194,3 kB2.131,0 kB [overzicht]
sh4 (unofficial port) 0.0.1.3-1+b3 202,4 kB1.487,0 kB [overzicht]
sparc64 (unofficial port) 0.0.1.3-3+b2 301,1 kB4.492,0 kB [overzicht]
x32 (unofficial port) 0.0.1.3-3+b2 258,1 kB2.030,0 kB [overzicht]