%FILENAME%
haskell-ghc-typelits-knownnat-0.7.12-71-loong64.pkg.tar.zst

%NAME%
haskell-ghc-typelits-knownnat

%BASE%
haskell-ghc-typelits-knownnat

%VERSION%
0.7.12-71

%DESC%
Derive KnownNat constraints from other KnownNat constraints

%CSIZE%
64533

%ISIZE%
351935

%SHA256SUM%
3a9a15143bbb7a68d2cd6277c9d48de1f2fcceb25d5b21f5cd747a99c40bffb1

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaiV3ewAKCRBcdK4XC9oUMxiJAQCQgeWRm7PeUG+N8EQ7FRm8j+o1i6mRYQAYkHjLdb4TFQEA+E8DBw3uq38yXq5PQRIGUXfXa3eAGkVzuWKhnP2nnA8=

%URL%
https://github.com/clash-lang/ghc-typelits-knownnat

%LICENSE%
BSD-2-Clause

%ARCH%
loong64

%BUILDDATE%
1780840282

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
ghc-libs
haskell-ghc
haskell-ghc-tcplugins-extra
haskell-ghc-typelits-natnormalise

%MAKEDEPENDS%
ghc
haskell-tasty
haskell-tasty-hunit
haskell-tasty-quickcheck

