[ Source: djinn ]
Package: djinn (2014.9.7-9 and others)
Links for djinn
Debian Resources:
Download Source Package djinn:
Maintainers:
External Resources:
- Homepage [hackage.haskell.org]
Similar packages:
Opret Haskell-udtryk fra typer
Djinn bruger en teoribeviser for intuitionistisk udsagnslogik til at oprette et Haskell-udtryk, når det gives en type.
Givet en type vil programmet udlede et udtryk af denne type, hvis et sådant findes. Hvis Djinn siger at typen ikke er realiserbar, er det fordi der ikke er et (samlet) udtryk for den givne type.
Other Packages Related to djinn
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [riscv64]
- Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
-
- dep: libc6 (>= 2.29) [not alpha, ia64, riscv64, sh4]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.33) [sh4]
- dep: libc6 (>= 2.34) [riscv64]
-
- dep: libc6.1 (>= 2.29) [alpha]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.32) [ia64]
-
- dep: libffi8 (>= 3.4)
- Brugerflade for fremmed funktion - bibliotekskørselstid
-
- dep: libgmp10 (>= 2:6.2.1+dfsg) [not riscv64, x32]
- Bibliotek til multipræcision i aritmetik
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [riscv64]
-
- dep: libtinfo6 (>= 6)
- delt terminfo-bibliotek på lavt niveau for terminalhåndtering
Download djinn
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 2014.9.7-9+b2 | 2,635.9 kB | 24,749.0 kB | [list of files] |
| amd64 | 2014.9.7-9+b2 | 447.7 kB | 2,346.0 kB | [list of files] |
| arm64 | 2014.9.7-9+b2 | 577.8 kB | 3,004.0 kB | [list of files] |
| armel | 2014.9.7-9+b3 | 558.7 kB | 2,591.0 kB | [list of files] |
| armhf | 2014.9.7-9+b2 | 564.5 kB | 2,591.0 kB | [list of files] |
| hppa (unofficial port) | 2014.9.7-9+b2 | 2,271.2 kB | 23,771.0 kB | [list of files] |
| i386 | 2014.9.7-9+b2 | 455.8 kB | 1,934.0 kB | [list of files] |
| ia64 (unofficial port) | 2014.9.7-9+b2 | 3,321.9 kB | 78,011.0 kB | [list of files] |
| m68k (unofficial port) | 2014.9.7-9+b2 | 1,521.5 kB | 13,977.0 kB | [list of files] |
| mips64el | 2014.9.7-9+b2 | 2,483.5 kB | 25,176.0 kB | [list of files] |
| ppc64 (unofficial port) | 2014.9.7-9+b2 | 1,553.3 kB | 18,871.0 kB | [list of files] |
| ppc64el | 2014.9.7-9+b2 | 1,612.9 kB | 16,134.0 kB | [list of files] |
| riscv64 (unofficial port) | 2014.9.7-9+b4 | 2,454.2 kB | 31,852.0 kB | [list of files] |
| s390x | 2014.9.7-9+b2 | 3,293.7 kB | 23,130.0 kB | [list of files] |
| sh4 (unofficial port) | 2014.9.7-9+b2 | 1,745.0 kB | 16,204.0 kB | [list of files] |
| sparc64 (unofficial port) | 2014.9.7-9+b2 | 1,968.5 kB | 31,100.0 kB | [list of files] |
| x32 (unofficial port) | 2014.9.7-9+b2 | 4,353.3 kB | 16,962.0 kB | [list of files] |