blob: 4c4d0dcc2c7efb64076cafce0440b1ac126382ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = key-logic
pkgdesc = A dynamic logic proof tool
pkgver = 2.6.2
pkgrel = 1
url = http://www.key-project.org
arch = any
license = GPL2
makedepends = unzip
depends = bash
depends = java-environment
source = https://formal.iti.kit.edu/key/releases/2.6.2/key-2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a.zip
source = launcher
sha256sums = ebf66973e077f4f0ebfa4c97eae1f14b6a57c02b06b1f8cf2b10542e59d37bf5
sha256sums = c7ad44a846da4991ac2c5981649cf77cdb9ceae76dc2bd530e84e8b42f56566f
pkgname = key-logic
|