Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / agda
Commits: 206cafbb by Felix Yan at 2024-04-25T18:07:39+00:00 upgpkg: 2.6.4-26: rebuild with text-icu 0.8.0.5 - - - - - 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 = 25 + pkgrel = 26 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=25 +pkgrel=26 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/206cafbba3c5f9efbb524b284ef2efae652b4c11 -- This project does not include diff previews in email notifications. View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/206cafbba3c5f9efbb524b284ef2efae652b4c11 You're receiving this email because of your account on gitlab.archlinux.org.