haskell-ghc-typelits-knownnat 0.7.8-13
Architecture: | x86_64 |
---|---|
Repository: | extra |
Base Package: | haskell-ghc-typelits-knownnat |
Description: | Derive KnownNat constraints from other KnownNat constraints |
Upstream URL: | https://github.com/clash-lang/ghc-typelits-knownnat |
License(s): | custom:BSD2 |
Package Size: | 50.7 KB |
Installed Size: | 216.7 KB |
Last Packager: | Felix Yan |
Last Updated: | 2024-10-20 23:09:14 JST |