Back to Search
Description
Homepage
Source Files
Split Packages
Base Package
License(s)
Build Date
Packager
Package Size
Installed Size
Download Mirror
SHA256 Sum
Dependencies
Optional Deps
Provides
Conflicts With
Replaces
Package Files
CachyOS | haskell-ghc-typelits-knownnat - extra (x86_64)
Back to Search
haskell-ghc-typelits-knownnat
Version 0.7.12-45 from extra (x86_64)
Description
Derive KnownNat constraints from other KnownNat constraints
Homepage
https://github.com/clash-lang/ghc-typelits-knownnat
Source Files
View Source Files
License(s)
BSD-2-Clause
Build Date
30/11/2025, 20:22:18
Packager
Felix Yan <felixonmars@archlinux.org>
Package Size
51.13 KB
Installed Size
214.85 KB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/haskell-ghc-typelits-knownnat-0.7.12-45-x86_64.pkg.tar.zst
SHA256 Sum
bfc46aa74018fb0d4ce3a3f2c748e21c1df0d236c91b4e9e3a443c4c5dc44d15
Dependencies
ghc-libs
haskell-ghc
haskell-ghc-tcplugins-extra
haskell-ghc-typelits-natnormalise
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website