Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / idris
Commits: 1ba8b5d9 by Felix Yan at 2023-08-10T07:46:31+03:00 upgpkg: 1.3.4-125: rebuild with crypton 0.32 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.4 -pkgrel=124 +pkgrel=125 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/1ba8b5d9230dfa63be2402807aaaa80252195fdd -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/idris/-/commit/1ba8b5d9230dfa63be2402807aaaa80252195fdd You're receiving this email because of your account on gitlab.archlinux.org.
