Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / agda-stdlib
Commits: cbd2c633 by Felix Yan at 2023-11-23T21:29:46+02:00 upgpkg: 1.7.3-1 - - - - - 2 changed files: - + .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -0,0 +1,17 @@ +pkgbase = agda-stdlib + pkgdesc = Agda standard libraries + pkgver = 1.7.3 + pkgrel = 1 + url = https://github.com/agda/agda-stdlib + arch = x86_64 + license = MIT + makedepends = ghc + makedepends = haskell-filemanip + depends = agda=2.6.4 + options = staticlibs + source = agda-stdlib-1.7.3.tar.gz::https://github.com/agda/agda-stdlib/archive/v1.7.3.tar.gz + source = standard-library.agda-lib.in + sha512sums = 23649e41bf52df03a448e9395360e4a1eb815940a48ae6d86e16681ecd756be6129059b8f90f78bba7aa79e7668cccca5a2f7cb39c2b920ae043b257fdbfc120 + sha512sums = 9b666bd3b6122b196353b68a4a6bdf15318f276a644f04ffa001793de1c78ba7c9bd875c3011c1c0363d81c9f94f4901b9aa4766aa5f1825057a109b03021701 + +pkgname = agda-stdlib ===================================== PKGBUILD ===================================== @@ -2,9 +2,9 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=agda-stdlib -pkgver=1.7.2 -_agdaver=2.6.3 -pkgrel=3 +pkgver=1.7.3 +_agdaver=2.6.4 +pkgrel=1 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib"; license=("MIT") @@ -14,7 +14,7 @@ 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=('518a7241df74bea217ebd80e753fdafaa05f5b4acf5e0df6202c8027dcd3906282335cfa5becf8484c9e06ef7eb335c7c3f1685e36106e229cca0551ba7748f2' +sha512sums=('23649e41bf52df03a448e9395360e4a1eb815940a48ae6d86e16681ecd756be6129059b8f90f78bba7aa79e7668cccca5a2f7cb39c2b920ae043b257fdbfc120' '9b666bd3b6122b196353b68a4a6bdf15318f276a644f04ffa001793de1c78ba7c9bd875c3011c1c0363d81c9f94f4901b9aa4766aa5f1825057a109b03021701') prepare() { View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda-stdlib/-/commit/cbd2c6339b8280ede341da8c5e1db8665abf149b -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda-stdlib/-/commit/cbd2c6339b8280ede341da8c5e1db8665abf149b You're receiving this email because of your account on gitlab.archlinux.org.
