summarylogtreecommitdiffstats
path: root/.SRCINFO
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