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

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

Verwijzigingen voor libghc-djinn-lib-prof


Debian bronnen:

Het bronpakket haskell-djinn-lib downloaden:


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 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) 228,0 kB2.545,0 kB [overzicht]
amd64 158,4 kB1.443,0 kB [overzicht]
arm64 176,0 kB1.632,0 kB [overzicht]
armel 174,0 kB1.186,0 kB [overzicht]
armhf 173,9 kB1.186,0 kB [overzicht]
hppa (unofficial port) 290,9 kB2.461,0 kB [overzicht]
hurd-i386 164,1 kB1.076,0 kB [overzicht]
i386 163,0 kB1.076,0 kB [overzicht]
kfreebsd-amd64 158,1 kB1.442,0 kB [overzicht]
kfreebsd-i386 163,7 kB1.075,0 kB [overzicht]
m68k (unofficial port) 236,8 kB1.862,0 kB [overzicht]
mips 197,4 kB1.658,0 kB [overzicht]
mips64el 214,4 kB2.444,0 kB [overzicht]
mipsel 197,6 kB1.659,0 kB [overzicht]
powerpcspe (unofficial port) 199,8 kB1.796,0 kB [overzicht]
ppc64 (unofficial port) 194,5 kB2.562,0 kB [overzicht]
ppc64el 198,2 kB2.467,0 kB [overzicht]
riscv64 (unofficial port) 370,6 kB4.680,0 kB [overzicht]
s390x 194,3 kB2.131,0 kB [overzicht]
sh4 (unofficial port) 202,4 kB1.487,0 kB [overzicht]
sparc64 (unofficial port) 301,1 kB4.492,0 kB [overzicht]
x32 (unofficial port) 258,1 kB2.030,0 kB [overzicht]