From 70182047d595e4677f64a8fe2c888a8c56b6b0da Mon Sep 17 00:00:00 2001
From: Manuel <manutortosa@chakra-project.org>
Date: Sat, 10 Nov 2012 10:25:44 +0000
Subject: [PATCH] New toolchain

---
 ppl/PKGBUILD | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ppl/PKGBUILD b/ppl/PKGBUILD
index a19e41f2f..7bd6e2b4c 100644
--- a/ppl/PKGBUILD
+++ b/ppl/PKGBUILD
@@ -4,7 +4,7 @@
 # maintainer: Manuel Tortosa <manutortosa[at]chakra-project[dot]org>
 
 pkgname=ppl
-pkgver=0.12.1
+pkgver=1.0
 pkgrel=1
 pkgdesc="A modern library for convex polyhedra and other numerical abstractions."
 arch=('i686' 'x86_64')
@@ -13,8 +13,8 @@ license=('GPL3')
 depends=('gmp>=5.0')
 options=('!docs' '!libtool')
 source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('cec8144f2072ac45a850214cca97d075'
-         '43eeeb147f9d8b3608aead63486c9545')
+md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
+         '5f490df826c76fed296060ca8fca4eb5')
 
 build() {
   cd $srcdir/ppl-$pkgver