Date: Saturday, March 6, 2021 @ 20:23:06 Author: felixonmars Revision: 884590
upgpkg: agda-stdlib 1.5-1 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-03-06 20:22:53 UTC (rev 884589) +++ PKGBUILD 2021-03-06 20:23:06 UTC (rev 884590) @@ -2,25 +2,24 @@ # Contributor: Arch Haskell Team <arch-hask...@haskell.org> pkgname=agda-stdlib -pkgver=1.4 +pkgver=1.5 _agdaver=2.6.1.3 -pkgrel=3 +pkgrel=1 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib" license=("MIT") arch=('x86_64') depends=("agda=$_agdaver") -makedepends=('ghc' 'uusi' 'haskell-filemanip') +makedepends=('ghc' 'haskell-filemanip') options=('staticlibs') source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz" standard-library.agda-lib.in) -sha512sums=('90c05d54eaf1d7c78d00f73044afa1f3b4d99df622d40b3cea88fe280f0770ccaeddd787d8fb384c150123f592bb6a7ec24b842a9fcc2936f581d847928223ca' +sha512sums=('7c9b39403c6b744c6f3d0b61fdbc3e3bbf729642224ceda44a3c4185a07782b2dc28766e1bdc0bf3181b5c610a9225dd07603c881476645cbcdc9d9dde912f7c' '92fad2f9b941af4506bb0d5d9d533d09823df89f7530ee5d787b741816ba07e68f25b96d6653ae6ed949ec23484c1fba47a63cc6401311462a55b5e06cfc032c') prepare() { cd $pkgname-$pkgver rm standard-library.agda-lib - uusi lib.cabal } build() {