Date: Saturday, February 13, 2021 @ 15:39:55 Author: felixonmars Revision: 859347
upgpkg: haskell-ghc-typelits-extra 0.4.2-16: rebuild with ghc-typelits-knownnat 0.7.5 Modified: haskell-ghc-typelits-extra/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-02-13 15:39:24 UTC (rev 859346) +++ PKGBUILD 2021-02-13 15:39:55 UTC (rev 859347) @@ -3,7 +3,7 @@ _hkgname=ghc-typelits-extra pkgname=haskell-ghc-typelits-extra pkgver=0.4.2 -pkgrel=15 +pkgrel=16 pkgdesc="Additional type-level operations on GHC.TypeLits.Nat" url="https://github.com/clash-lang/ghc-typelits-extra" license=('custom:BSD2')
