Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / idris
Commits: 3c244706 by Felix Yan at 2023-09-09T02:10:02+03:00 upgpkg: 1.3.4-134: rebuild with blaze-builder 0.4.2.3 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ pkgname=idris pkgver=1.3.4 -pkgrel=133 +pkgrel=134 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/3c244706ab9547ac975583b5725083c7f813280b -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/idris/-/commit/3c244706ab9547ac975583b5725083c7f813280b You're receiving this email because of your account on gitlab.archlinux.org.
