Felix Yan pushed to branch main at Arch Linux / Packaging / Packages /
haskell-puresat
Commits:
5f17a435 by Felix Yan at 2025-10-16T07:08:46+08:00
upgpkg: 0.1-3: rebuild with ChasingBottoms 1.3.1.17
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = haskell-puresat
pkgdesc = Pure Haskell SAT-solver
pkgver = 0.1
- pkgrel = 2
+ pkgrel = 3
url = https://github.com/phadej/puresat
arch = x86_64
license = BSD-3-Clause
=====================================
PKGBUILD
=====================================
@@ -3,7 +3,7 @@
_hkgname=puresat
pkgname=haskell-puresat
pkgver=0.1
-pkgrel=2
+pkgrel=3
pkgdesc="Pure Haskell SAT-solver"
url="https://github.com/phadej/puresat";
license=("BSD-3-Clause")
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-puresat/-/commit/5f17a4359547cf127105def135d26248b3793243
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-puresat/-/commit/5f17a4359547cf127105def135d26248b3793243
You're receiving this email because of your account on gitlab.archlinux.org.
