Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / agda
Commits: be22399f by Felix Yan at 2024-05-11T19:13:18+00:00 upgpkg: 2.6.4-30: rebuild with icu 75, again - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = agda pkgdesc = A dependently typed functional programming language and proof assistant pkgver = 2.6.4 - pkgrel = 29 + pkgrel = 30 url = https://wiki.portal.chalmers.se/agda/ arch = x86_64 license = custom ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=Agda pkgname=agda pkgver=2.6.4 -pkgrel=29 +pkgrel=30 pkgdesc="A dependently typed functional programming language and proof assistant" url="https://wiki.portal.chalmers.se/agda/" license=("custom") View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/be22399f9cd268c53e640b0572c43cb5bfd2a0f2 -- This project does not include diff previews in email notifications. View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/be22399f9cd268c53e640b0572c43cb5bfd2a0f2 You're receiving this email because of your account on gitlab.archlinux.org.