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