Package - libghc-ghc-typelits-knownnat-dev
Package: libghc-ghc-typelits-knownnat-dev
apt-get install libghc-ghc-typelits-knownnat-dev
apt-get install libghc-ghc-typelits-knownnat-dev
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/haskell-ghc-typelits-knownnat/libghc-ghc-typelits-knownnat-dev_0.7.12-1+b2_amd64.deb (Size: 66.5KiB)| Property | Value |
|---|---|
| Package | libghc-ghc-typelits-knownnat-dev |
| Source | haskell-ghc-typelits-knownnat (0.7.12-1) |
| Version | 0.7.12-1+b2 |
| Installed-Size | 520 |
| Maintainer | Debian Haskell Group |
| Architecture | amd64 |
| Provides | libghc-ghc-typelits-knownnat-dev-0.7.12-a237a |
| Depends | libghc-base-dev-4.18.2.1-8e81e, libghc-ghc-dev-9.6.6-2b207, libghc-ghc-prim-dev-0.10.0-e2193, libghc-ghc-tcplugins-extra-dev-0.4.6-965f8, libghc-ghc-typelits-natnormalise-dev-0.7.10-10a39, libghc-template-haskell-dev-2.20.0.0-54f98, libghc-transformers-dev-0.6.1.0-5335d, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg) |
| Description | Derive KnownNat constraints from other KnownNat constraints |
| Description-md5 | d9c9232ed59922d32db1219348465777 |
| Homepage | https://clash-lang.org/ |
| Ghc-Package | ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp |
| Section | haskell |
| Priority | optional |
| Filename | pool/main/h/haskell-ghc-typelits-knownnat/libghc-ghc-typelits-knownnat-dev_0.7.12-1+b2_amd64.deb |
| Size | 68048 |
| MD5sum | 13311d25c1cbf9976efaacaebeb1ecd9 |
| SHA256 | 36b04e1ebbc6f9c7ddedadb677dfc9c55ee7c36275a85385bf167c86f559d47a |
Files in package
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp/GHC/TypeLits/KnownNat.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp/GHC/TypeLits/KnownNat.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp/GHC/TypeLits/KnownNat/Solver.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp/GHC/TypeLits/KnownNat/Solver.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp/GHC/TypeLits/KnownNat/TH.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp/GHC/TypeLits/KnownNat/TH.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/ghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp/libHSghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp.a
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSghc-typelits-knownnat-0.7.12-L6k1xXRX5f96li4HFEiwOp-ghc9.6.6.so
- /usr/share/doc/libghc-ghc-typelits-knownnat-dev/changelog.Debian.amd64.gz
- /usr/share/doc/libghc-ghc-typelits-knownnat-dev/changelog.Debian.gz
- /usr/share/doc/libghc-ghc-typelits-knownnat-dev/changelog.gz
- /usr/share/doc/libghc-ghc-typelits-knownnat-dev/copyright
- /var/lib/ghc/package.conf.d/ghc-typelits-knownnat-0.7.12.conf