Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-what4
Commits: 5e1fdf95 by Felix Yan at 2023-08-08T12:21:08+03:00 upgpkg: 1.3-117: rebuild with tasty-sugar 2.1.0.0 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.3 -pkgrel=116 +pkgrel=117 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD') View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-what4/-/commit/5e1fdf95b16d21154c8b522fcceec42e3f7f0160 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-what4/-/commit/5e1fdf95b16d21154c8b522fcceec42e3f7f0160 You're receiving this email because of your account on gitlab.archlinux.org.
