Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / agda
Commits: f195d3e6 by Felix Yan at 2024-02-02T05:06:27+02:00 upgpkg: 2.6.4-15: rebuild with split 0.2.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 = 14 + pkgrel = 15 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=14 +pkgrel=15 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/f195d3e6a26b8b6248726164bf8140dfe4769f0a -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/f195d3e6a26b8b6248726164bf8140dfe4769f0a You're receiving this email because of your account on gitlab.archlinux.org.