summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO11
1 files changed, 5 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index cae62ebefceb..cc20c7d3e11a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,20 +1,19 @@
pkgbase = jape
pkgdesc = A configurable, graphical proof assistant.
- pkgver = 7_d14
+ pkgver = 8.1.3
pkgrel = 1
url = http://japeforall.org.uk/
- arch = i686
arch = x86_64
license = GPL
+ makedepends = unzip
depends = java-runtime
+ noextract = InstallLinuxjape.jar
source = jape
source = jape.desktop
sha256sums = 43cfa222c48f819c9c4508f4847212d4327f8c7aa49ba4f3bfc9dc4f0f330f8d
sha256sums = 4677512343900e325f763cf79c8571ae3e493d7f074ebc7c68182ef487e6e579
- source_i686 = http://www.cs.ox.ac.uk/people/bernard.sufrin/personal/jape.org/BUILDS/7_d14/Install32bitLinuxjape.jar
- sha256sums_i686 = ab00be7518d418a8ace5e1ccfe8101d52952a41e42d872e448647657d7c90e98
- source_x86_64 = http://www.cs.ox.ac.uk/people/bernard.sufrin/personal/jape.org/BUILDS/7_d14/InstallLinuxjape.jar
- sha256sums_x86_64 = d82a9dc50f4b2d9e0994db21bdc1979b28dd25ff88acb4f459d24c157329dca4
+ source_x86_64 = http://www.cs.ox.ac.uk/people/bernard.sufrin/personal/jape.org/BUILDS/8.1.3/InstallLinuxjape.jar
+ sha256sums_x86_64 = 768ab130d59c75ddab10a2b8dbaf10e0403c57b48a5b837f940af2c7182c72ce
pkgname = jape