blob: 8bd47b5c0480fd1c3a1d81070e4d4fbc068aaff3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = eunomia-bin
pkgdesc = FOL proof checker
pkgver = 1.0.3.1
pkgrel = 1
url = https://github.com/Girjoaba/Eunomia
arch = x86_64
license = MIT
depends = git
depends = java-environment=17
provides = eunomia
conflicts = eunomia
source_x86_64 = https://github.com/Girjoaba/Eunomia/releases/download/1.0.3.1/Eunomia-1.0.3.1.jar
sha256sums_x86_64 = 1ca98a27b28b9a9dbac0f7520bee4ca4c4eb0802b33018fb2cd67bde7cc91896
pkgname = eunomia-bin
|