Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / ppl
Commits:
f9c32e2c by Antonio Rojas at 2026-05-24T16:21:44+02:00
upgpkg: 1.2-7: gcc-libs--
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,18 +1,19 @@
pkgbase = ppl
pkgdesc = A modern library for convex polyhedra and other numerical
abstractions
pkgver = 1.2
- pkgrel = 6
+ pkgrel = 7
url = https://bugseng.com/products/ppl
arch = x86_64
license = GPL-3.0-or-later
makedepends = swi-prolog
- depends = gcc-libs
depends = glibc
depends = glpk
depends = gmp
+ depends = libgcc
+ depends = libstdc++
optdepends = swi-prolog: SWI Prolog interface
options = !docs
- source =
https://bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.gz
+ source =
https://support.bugseng.com/ppl/download/ftp/releases/1.2/ppl-1.2.tar.gz
source = ppl-1.2-prolog8.2.patch
source = ppl-1.2-configure.patch
validpgpkeys = 058E41DB299DE2DD0AC649CA881457CBB5944392
=====================================
PKGBUILD
=====================================
@@ -4,15 +4,16 @@
pkgname=ppl
pkgver=1.2
-pkgrel=6
+pkgrel=7
pkgdesc='A modern library for convex polyhedra and other numerical
abstractions'
arch=(x86_64)
url='https://bugseng.com/products/ppl'
license=(GPL-3.0-or-later)
-depends=(gcc-libs
- glibc
+depends=(glibc
glpk
- gmp)
+ gmp
+ libgcc
+ libstdc++)
makedepends=(swi-prolog)
optdepends=('swi-prolog: SWI Prolog interface')
options=(!docs)
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/ppl/-/commit/f9c32e2c1c55ff02401ef5ae357b3fcc1b241607
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/ppl/-/commit/f9c32e2c1c55ff02401ef5ae357b3fcc1b241607
You're receiving this email because of your account on gitlab.archlinux.org.
Manage all notifications: https://gitlab.archlinux.org/-/profile/notifications
| Help: https://gitlab.archlinux.org/help
