blob: 8a92e6d42ce17498d18a7de80d940d7a36e1dcba (
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
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/Eunomia-1.0.3.jar
sha256sums_x86_64 = 1ca98a27b28b9a9dbac0f7520bee4ca4c4eb0802b33018fb2cd67bde7cc91896
pkgname = eunomia-bin
|