Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / idris
Commits: 9cbc619f by Felix Yan at 2023-08-19T16:07:47+03:00 upgpkg: 1.3.4-129: rebuild with easy-file 0.2.5 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.4 -pkgrel=128 +pkgrel=129 pkgdesc="Functional Programming Language with Dependent Types" url="https://www.idris-lang.org/"; license=("BSD") View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/idris/-/commit/9cbc619f61dc08baa85ad64673449c0e978d7b70 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/idris/-/commit/9cbc619f61dc08baa85ad64673449c0e978d7b70 You're receiving this email because of your account on gitlab.archlinux.org.
