[ 原始碼: haskell-dec ]
套件:libghc-dec-dev(0.0.6-1)
decidable propositions
This package provides a Dec type for decidable (nullary) relations.
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
其他與 libghc-dec-dev 有關的套件
|
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.2) [mips64el, s390x]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.27) [riscv64]
- dep: libc6 (>= 2.4) [armel, armhf]
-
- dep: libghc-base-dev-4.18.2.1-038db [i386]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-base-dev-4.18.2.1-3be9b [armel, armhf]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-base-dev-4.18.2.1-75247 [arm64]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-base-dev-4.18.2.1-8e81e [amd64]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-base-dev-4.18.2.1-f2473 [s390x]
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-boring-dev-0.2.2-1d1c1 [armel, armhf]
- 本虛擬套件由這些套件填實: libghc-boring-dev
-
- dep: libghc-boring-dev-0.2.2-23470 [amd64, mips64el]
- 本虛擬套件由這些套件填實: libghc-boring-dev
-
- dep: libghc-boring-dev-0.2.2-7e3dc [i386]
- 本虛擬套件由這些套件填實: libghc-boring-dev
-
- dep: libghc-boring-dev-0.2.2-d8b09 [ppc64el, riscv64, s390x]
- 本虛擬套件由這些套件填實: libghc-boring-dev
-
- dep: libghc-boring-dev-0.2.2-df497 [arm64]
- 本虛擬套件由這些套件填實: libghc-boring-dev
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
下載 libghc-dec-dev
硬體架構 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|
amd64 | 19。3 kB | 113。0 kB | [檔案列表] |
arm64 | 19。7 kB | 157。0 kB | [檔案列表] |
armel | 22。1 kB | 132。0 kB | [檔案列表] |
armhf | 21。9 kB | 131。0 kB | [檔案列表] |
i386 | 24。1 kB | 134。0 kB | [檔案列表] |
mips64el | 22。8 kB | 187。0 kB | [檔案列表] |
ppc64el | 22。1 kB | 176。0 kB | [檔案列表] |
riscv64 | 24。8 kB | 170。0 kB | [檔案列表] |
s390x | 24。6 kB | 189。0 kB | [檔案列表] |