Git-Url: 
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=d530dd803f682229bc342746583b3c9ed3b1bda7

commit d530dd803f682229bc342746583b3c9ed3b1bda7
Author: Elentir <elen...@frugalware.org>
Date:   Wed Oct 26 22:05:08 2011 +0200

why-2.30-1-x86_64

* version bump

diff --git a/source/xapps-extra/why/FrugalBuild 
b/source/xapps-extra/why/FrugalBuild
index 14a81db..bf38068 100644
--- a/source/xapps-extra/why/FrugalBuild
+++ b/source/xapps-extra/why/FrugalBuild
@@ -2,7 +2,7 @@
# Maintainer: Elentir <elen...@frugalware.org>

pkgname=why
-pkgver=2.29
+pkgver=2.30
pkgrel=1
pkgdesc="A software verification platform"
url="http://why.lri.fr";
@@ -12,7 +12,7 @@ makedepends=('lablgtk2' 'apron' 'ocamlgraph')
groups=('xapps-extra')
archs=('i686' 'x86_64')
up2date="Flasttar $url/download/"
-sha1sums=('2b649673964d3273eb995f2e70797c5a2b10925d' \
+sha1sums=('eab893e6b9ebf9c07207269c80231123280103cd' \
'545387642eda8e1feb1b32a04b6ed4d6b9c456c2')

subpkgs=('why-frama-c')
_______________________________________________
Frugalware-git mailing list
Frugalware-git@frugalware.org
http://frugalware.org/mailman/listinfo/frugalware-git

Reply via email to