blob: 91f2b932dfc4cafbc65809595467c9a7c04aa750 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = lib32-ppl
pkgdesc = Parma Polyhedra Library
pkgver = 1.2
pkgrel = 2
url = http://icps.u-strasbg.fr/people/bastoul/public_html/development/openscop/index.html
arch = x86_64
license = BSD
makedepends = gcc-multilib
depends = lib32-gmp
source = https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz
sha256sums = 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
pkgname = lib32-ppl
|