eLxr packages [ bianca ]
[ Källkod: haskell-type-equality ]
Paket: libghc-type-equality-dev (1.0.1-1 och andra)
Länkar för libghc-type-equality-dev
Hämta källkodspaketet haskell-type-equality:
- [haskell-type-equality_1.0.1-1.debian.tar.xz]
- [haskell-type-equality_1.0.1-1.dsc]
- [haskell-type-equality_1.0.1.orig.tar.gz]
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
- libghc-type-equality-doc
- libghc-some-prof
- libghc-th-compat-prof
- libghc-data-default-instances-dlist-prof
- libghc-some-dev
- libghc-data-default-instances-old-locale-prof
- libghc-th-compat-dev
- libghc-data-default-instances-dlist-dev
- libghc-some-doc
- libghc-th-compat-doc
- libghc-data-default-instances-old-locale-dev
Data.Type.Equality compat package
This library defines a propositional equality data type, shims Data.Type.Equality.
The module Data.Type.Equality.Hetero shims :~~: equality, for compilers with PolyKinds.
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Andra paket besläktade med libghc-type-equality-dev
|
|
|
|
-
- dep: libc6 (>= 2.17) [arm64]
- GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: libghc-base-dev-4.18.2.1-75247 [arm64]
- virtuellt paket som tillhandahålls av ghc
-
- dep: libghc-base-dev-4.18.2.1-8e81e [amd64]
- virtuellt paket som tillhandahålls av ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
Hämta libghc-type-equality-dev
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| amd64 | 1.0.1-1+b1 | 6,7 kbyte | 47,0 kbyte | [filförteckning] |
| arm64 | 1.0.1-1+b1 | 6,9 kbyte | 99,0 kbyte | [filförteckning] |