Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / agda
Commits: 94e3c26f by Felix Yan at 2023-09-09T01:39:09+03:00 upgpkg: 2.6.3-19: rebuild with blaze-builder 0.4.2.3 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=Agda pkgname=agda pkgver=2.6.3 -pkgrel=18 +pkgrel=19 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/94e3c26f888bc851e02efe793f74b6efb50152d5 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/commit/94e3c26f888bc851e02efe793f74b6efb50152d5 You're receiving this email because of your account on gitlab.archlinux.org.
