diff options
| author | aksr | 2016-07-01 18:34:03 +0200 |
|---|---|---|
| committer | aksr | 2016-07-01 18:34:09 +0200 |
| commit | f92a82214ad64f7da177f76f07385e4d82f4bf1c (patch) | |
| tree | 74d74c8a3b7bd4e4b201373e5c6084b33af70eeb | |
| parent | f59afc322912c4d261a0fe86d37b4b6918a0c9fc (diff) | |
| download | aur-f92a82214ad64f7da177f76f07385e4d82f4bf1c.tar.gz | |
Update to 20160501.
| -rw-r--r-- | .SRCINFO | 12 | ||||
| -rw-r--r-- | PKGBUILD | 10 |
2 files changed, 11 insertions, 11 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Wed Mar 2 20:16:25 UTC 2016 +# Fri Jul 1 16:33:22 UTC 2016 pkgbase = frama-c pkgdesc = Extensible platform dedicated to source-code analysis of C software. - pkgver = 20151002 + pkgver = 20160501 pkgrel = 1 url = http://frama-c.com arch = i686 @@ -20,10 +20,10 @@ pkgbase = frama-c optdepends = coq optdepends = graphviz optdepends = ltl2ba - source = http://frama-c.com/download/frama-c-Magnesium-20151002.tar.gz - md5sums = b7d761bdf0a58f3f8ec4242a3b67d50a - sha1sums = 5aa50a310bf35f9a4acc5931b0e3f119ff65eb71 - sha256sums = 161f65bd66ed5fe10205462d534d1b387ac727666cd974ccd49d14a50492681e + source = http://frama-c.com/download/frama-c-Aluminium-20160501.tar.gz + md5sums = e52271640aebcccab894ae038c9579aa + sha1sums = 9120171dc34683ed78f1f79f5de1ac97544702e1 + sha256sums = 20ddc3112b1d0e0c36dcb4e0dca06f69eca5b2cb8c9c2ed7834433f16868e40b pkgname = frama-c @@ -2,8 +2,8 @@ # Contributor: Bartłomiej Piotrowski <nospam@bpiotrowski.pl> # Maintainer: aksr <aksr at t-com dot me> pkgname=frama-c -_codename=Magnesium -pkgver=20151002 +_codename=Aluminium +pkgver=20160501 pkgrel=1 pkgdesc='Extensible platform dedicated to source-code analysis of C software.' arch=('i686' 'x86_64') @@ -13,9 +13,9 @@ depends=('gtksourceview2' 'libgnomecanvas' 'zarith') makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml') optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba') source=("http://frama-c.com/download/${pkgname}-${_codename}-${pkgver}.tar.gz") -md5sums=('b7d761bdf0a58f3f8ec4242a3b67d50a') -sha1sums=('5aa50a310bf35f9a4acc5931b0e3f119ff65eb71') -sha256sums=('161f65bd66ed5fe10205462d534d1b387ac727666cd974ccd49d14a50492681e') +md5sums=('e52271640aebcccab894ae038c9579aa') +sha1sums=('9120171dc34683ed78f1f79f5de1ac97544702e1') +sha256sums=('20ddc3112b1d0e0c36dcb4e0dca06f69eca5b2cb8c9c2ed7834433f16868e40b') build() { cd "$srcdir/$pkgname-$_codename-$pkgver" |