diff options
| author | bitwave | 2015-07-19 13:34:26 +0200 |
|---|---|---|
| committer | bitwave | 2015-07-19 13:34:26 +0200 |
| commit | bb74cae0fc7e97b6c1f97868966e686c42a066ce (patch) | |
| tree | 3b10210697d29464404ce79c68a2b691488168ea | |
| parent | 7ffba93ec97c22370ed5e622175394142ed5e258 (diff) | |
| download | aur-bb74cae0fc7e97b6c1f97868966e686c42a066ce.tar.gz | |
fixed desktop file
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 6 | ||||
| -rw-r--r-- | isabelle.desktop | 6 |
3 files changed, 9 insertions, 9 deletions
@@ -1,7 +1,7 @@ pkgbase = isabelle 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. pkgver = 2015 - pkgrel = 2 + pkgrel = 3 url = http://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 arch = x86_64 @@ -16,9 +16,9 @@ pkgbase = isabelle source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2015_linux.tar.gz source = isabelle.desktop md5sums = da5b4ca16cd0c83418514a5ea7ebec77 - md5sums = bdbfb0a5309017a5bec4c5a89c3076d4 + md5sums = d33d0dd09e9105f4f043bd5e59458481 sha256sums = c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e - sha256sums = 135a0fdd877d88ffe460914d582b5150d1cd7f3e764c696f14963df3333b5fcd + sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a pkgname = isabelle @@ -2,7 +2,7 @@ # Contributor: Fabian Ruch <bafain [At] gmail [dOT] com> pkgname=isabelle pkgver=2015 -pkgrel=2 +pkgrel=3 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/" @@ -19,9 +19,9 @@ conflicts=(isabelle) source=(http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle${pkgver//_/-}_linux.tar.gz isabelle.desktop) md5sums=('da5b4ca16cd0c83418514a5ea7ebec77' - 'bdbfb0a5309017a5bec4c5a89c3076d4') + 'd33d0dd09e9105f4f043bd5e59458481') sha256sums=('c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e' - '135a0fdd877d88ffe460914d582b5150d1cd7f3e764c696f14963df3333b5fcd') + '84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a') build() { cd "$srcdir/Isabelle${pkgver//_/-}" diff --git a/isabelle.desktop b/isabelle.desktop index a8c9798717cb..b1439b1c3fa5 100644 --- a/isabelle.desktop +++ b/isabelle.desktop @@ -2,8 +2,8 @@ Type=Application Name=Isabelle Comment=HOL based theorem prover -Exec="/usr/bin/isabelle jedit" -Icon=/opt/isabelle/src/Tools/jEdit/dist/doc/jedit.png +Exec=/usr/bin/isabelle jedit +Icon=/opt/isabelle/lib/icons/isabelle.xpm Terminal=false -Categories=Education; +Categories=Education;Science;Math; X-Desktop-File-Install-Version=0.22 |