diff options
| author | MW360 | 2021-02-21 22:55:38 +0100 |
|---|---|---|
| committer | MW360 | 2021-02-21 22:55:38 +0100 |
| commit | 06c343eb7ffbcdb75ca74d11e92594c3b22031b9 (patch) | |
| tree | abc8359ceb965e244b97cf866a60b8c5fdd0a1e5 | |
| parent | 6f2409f4eb252636cd18e744ba6f2c68ccd1071c (diff) | |
| download | aur-06c343eb7ffbcdb75ca74d11e92594c3b22031b9.tar.gz | |
update version to 2021
| -rw-r--r-- | PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,5 +1,5 @@ pkgname=isabelle-tum -pkgver=2020 +pkgver=2021 pkgrel=1 pkgdesc="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. Release mirror: TUM." arch=('i686' 'x86_64') @@ -15,10 +15,10 @@ fi optdepends=('texlive-core: document preparation') source=(https://isabelle.in.tum.de/dist/Isabelle${pkgver//_/-}_linux.tar.gz isabelle.desktop) -sha256sums=('633aff864d6647bd175cf831e7513e3fd0cd06beacbf29a5c6c66d4de1522bae' - 'a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da') -md5sums=('7c69d3aa39116cd4a91ad1592a0431e1' +md5sums=('9b91f6f78a5d3ab701d07f15404746d2' '63add57fc05e5334ad1582d07a0c7146') +sha256sums=('5d7811a658c43448456de1cb61e3bc27b93ac3ef2f3dc51a1aa6244c78624fc7' + 'a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da') # required Packages are automatically build on the first run |