Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-what4
Commits: 18dc7592 by Felix Yan at 2023-11-14T07:28:43+02:00 upgpkg: 1.4-10: rebuild with tasty-hunit 0.10.1 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = haskell-what4 pkgdesc = Solver-agnostic symbolic values support for issuing queries pkgver = 1.4 - pkgrel = 9 + pkgrel = 10 url = https://github.com/GaloisInc/what4 arch = x86_64 license = BSD ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.4 -pkgrel=9 +pkgrel=10 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/18dc75921ce230e101b3e4f76bbf6b6fdfb3ed35 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-what4/-/commit/18dc75921ce230e101b3e4f76bbf6b6fdfb3ed35 You're receiving this email because of your account on gitlab.archlinux.org.