blob: cc20c7d3e11a0ac07941d0fe5bb8fa9a6c668f3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
pkgbase = jape
pkgdesc = A configurable, graphical proof assistant.
pkgver = 8.1.3
pkgrel = 1
url = http://japeforall.org.uk/
arch = x86_64
license = GPL
makedepends = unzip
depends = java-runtime
noextract = InstallLinuxjape.jar
source = jape
source = jape.desktop
sha256sums = 43cfa222c48f819c9c4508f4847212d4327f8c7aa49ba4f3bfc9dc4f0f330f8d
sha256sums = 4677512343900e325f763cf79c8571ae3e493d7f074ebc7c68182ef487e6e579
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
|