Date: Sunday, December 25, 2022 @ 11:20:26 Author: felixonmars Revision: 1365500
upgpkg: haskell-dependent-map 0.4.0.0-158: rebuild with dependent-sum 0.7.2.0 Modified: haskell-dependent-map/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-12-25 11:19:30 UTC (rev 1365499) +++ PKGBUILD 2022-12-25 11:20:26 UTC (rev 1365500) @@ -3,7 +3,7 @@ _hkgname=dependent-map pkgname=haskell-dependent-map pkgver=0.4.0.0 -pkgrel=157 +pkgrel=158 pkgdesc="Dependent finite maps (partial dependent products)" url="https://github.com/obsidiansystems/dependent-map"; license=("custom")
