diff options
| author | MW360 | 2021-12-14 00:12:42 +0100 |
|---|---|---|
| committer | MW360 | 2021-12-14 00:12:42 +0100 |
| commit | 20febaaabbdfff58b41b4404031ce4314c6a4d90 (patch) | |
| tree | 480e00c82d028c71822d81031a9ad239fe1122ca | |
| parent | 02101bc27a6a27655e6dd16187725b5ceeb34a02 (diff) | |
| download | aur-20febaaabbdfff58b41b4404031ce4314c6a4d90.tar.gz | |
update to version 2021-1
| -rw-r--r-- | .SRCINFO | 9 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 8 deletions
@@ -1,6 +1,6 @@ pkgbase = isabelle-tum 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. - pkgver = 2021 + pkgver = 2021_1 pkgrel = 1 url = https://isabelle.in.tum.de/ arch = i686 @@ -11,12 +11,11 @@ pkgbase = isabelle-tum depends = perl-libwww optdepends = texlive-core: document preparation conflicts = isabelle - source = https://isabelle.in.tum.de/dist/Isabelle2021_linux.tar.gz + source = https://isabelle.in.tum.de/dist/Isabelle2021-1_linux.tar.gz source = isabelle.desktop - md5sums = 9b91f6f78a5d3ab701d07f15404746d2 + md5sums = 01bdd4e3fc2bd2a7b13d89405cc6b93f md5sums = 63add57fc05e5334ad1582d07a0c7146 - sha256sums = 5d7811a658c43448456de1cb61e3bc27b93ac3ef2f3dc51a1aa6244c78624fc7 + sha256sums = 315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49 sha256sums = a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da pkgname = isabelle-tum - @@ -1,5 +1,5 @@ pkgname=isabelle-tum -pkgver=2021 +pkgver=2021_1 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,9 +15,9 @@ fi optdepends=('texlive-core: document preparation') source=(https://isabelle.in.tum.de/dist/Isabelle${pkgver//_/-}_linux.tar.gz isabelle.desktop) -md5sums=('9b91f6f78a5d3ab701d07f15404746d2' +md5sums=('01bdd4e3fc2bd2a7b13d89405cc6b93f' '63add57fc05e5334ad1582d07a0c7146') -sha256sums=('5d7811a658c43448456de1cb61e3bc27b93ac3ef2f3dc51a1aa6244c78624fc7' +sha256sums=('315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49' 'a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da') |