haskell-ghc-typelits-knownnat 0.7.10-15
Architecture: | x86_64 |
---|---|
Repository: | Extra |
Description: | Derive KnownNat constraints from other KnownNat constraints |
Upstream URL: | https://github.com/clash-lang/ghc-typelits-knownnat |
License(s): | BSD-2-Clause |
Maintainers: |
Felix Yan |
Package Size: | 50.0 KB |
Installed Size: | 212.5 KB |
Last Packager: | Felix Yan |
Build Date: | 2025-08-27 23:02 UTC |
Signed By: | Felix Yan |
Signature Date: | 2025-08-27 23:02 UTC |
Last Updated: | 2025-08-28 04:43 UTC |
Dependencies (8)
- ghc-libs
- haskell-ghc (ghc)
- haskell-ghc-tcplugins-extra
- haskell-ghc-typelits-natnormalise
- ghc (make)
- haskell-tasty (make)
- haskell-tasty-hunit (make)
- haskell-tasty-quickcheck (make)