diff options
| author | Fan Jiang | 2019-09-28 00:15:45 -0400 |
|---|---|---|
| committer | Fan Jiang | 2019-09-28 00:15:45 -0400 |
| commit | 31fb22bdd416b32d0dd320c228dc6ef20982bb1f (patch) | |
| tree | 5bcf27c5b801b17a647388e623c9fe34fe7d42d4 /.SRCINFO | |
| download | aur-31fb22bdd416b32d0dd320c228dc6ef20982bb1f.tar.gz | |
Init
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..91f2b932dfc4 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,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 + |