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