diff options
| author | bitwave | 2016-02-21 12:33:49 +0100 |
|---|---|---|
| committer | bitwave | 2016-02-21 12:33:49 +0100 |
| commit | a435844f16595a273ef14e2ad0262f61e14b9813 (patch) | |
| tree | db69524ec0b2dda399ac05ee6eb4fb0d4a0e02a2 | |
| parent | 1753b459b7339ac237b6106af424c70287c23b49 (diff) | |
| download | aur-a435844f16595a273ef14e2ad0262f61e14b9813.tar.gz | |
updated to 2016
| -rw-r--r-- | PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,8 +1,8 @@ # Maintainer: bitwave <aur [at] oomlu [dot] de> # Contributor: Fabian Ruch <bafain [At] gmail [dOT] com> pkgname=isabelle -pkgver=2015 -pkgrel=3 +pkgver=2016 +pkgrel=1 pkgdesc="Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus." arch=('i686' 'x86_64') url="http://www.cl.cam.ac.uk/research/hvg/Isabelle/" @@ -16,9 +16,9 @@ fi optdepends=('texlive-core: document preparation') source=(http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle${pkgver//_/-}_linux.tar.gz isabelle.desktop) -md5sums=('da5b4ca16cd0c83418514a5ea7ebec77' +md5sums=('d92c888eb61f7bd51917d5a79a0eb8c0' 'd33d0dd09e9105f4f043bd5e59458481') -sha256sums=('c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e' +sha256sums=('64f5357f638220a855311a604eaf8fc4bb7e703b7cf3ea997723ace875c6014a' '84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a') build() { |