Date: Monday, March 16, 2020 @ 12:28:19 Author: felixonmars Revision: 599696
upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-5: rebuild with ghc-tcplugins-extra 0.4 Modified: haskell-ghc-typelits-natnormalise/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-03-16 12:27:29 UTC (rev 599695) +++ PKGBUILD 2020-03-16 12:28:19 UTC (rev 599696) @@ -3,7 +3,7 @@ _hkgname=ghc-typelits-natnormalise pkgname=haskell-ghc-typelits-natnormalise pkgver=0.7.2 -pkgrel=4 +pkgrel=5 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat" url="https://github.com/clash-lang/ghc-typelits-natnormalise" license=('custom:BSD2')