diff options
| author | MW360 | 2021-02-21 22:57:38 +0100 |
|---|---|---|
| committer | MW360 | 2021-02-21 22:57:38 +0100 |
| commit | 02101bc27a6a27655e6dd16187725b5ceeb34a02 (patch) | |
| tree | ee0897f59890462344ce87d6493a8f90b4ae04df | |
| parent | 06c343eb7ffbcdb75ca74d11e92594c3b22031b9 (diff) | |
| download | aur-02101bc27a6a27655e6dd16187725b5ceeb34a02.tar.gz | |
update .SRCINFO
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 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 = 2020 + pkgver = 2021 pkgrel = 1 url = https://isabelle.in.tum.de/ arch = i686 @@ -11,11 +11,11 @@ pkgbase = isabelle-tum depends = perl-libwww optdepends = texlive-core: document preparation conflicts = isabelle - source = https://isabelle.in.tum.de/dist/Isabelle2020_linux.tar.gz + source = https://isabelle.in.tum.de/dist/Isabelle2021_linux.tar.gz source = isabelle.desktop - md5sums = 7c69d3aa39116cd4a91ad1592a0431e1 + md5sums = 9b91f6f78a5d3ab701d07f15404746d2 md5sums = 63add57fc05e5334ad1582d07a0c7146 - sha256sums = 633aff864d6647bd175cf831e7513e3fd0cd06beacbf29a5c6c66d4de1522bae + sha256sums = 5d7811a658c43448456de1cb61e3bc27b93ac3ef2f3dc51a1aa6244c78624fc7 sha256sums = a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da pkgname = isabelle-tum |