Andreas Radke pushed to branch main at Arch Linux / Packaging / Packages / agda
Commits: 3bedcc75 by Andreas Radke at 2024-05-09T23:00:16+02:00 upgpkg: 2.6.4-27; ICU 75 rebuild - - - - - 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 = 26 + pkgrel = 27 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=26 +pkgrel=27 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/3bedcc75e32fa6837e6c5dcd19d0092cfcc2a235 -- This project does not include diff previews in email notifications. View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/3bedcc75e32fa6837e6c5dcd19d0092cfcc2a235 You're receiving this email because of your account on gitlab.archlinux.org.