summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 1a8f9f7bfd3d656793581e1d1ee52b793d7f09b9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
pkgbase = scryer-prolog
	pkgdesc = An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming
	pkgver = 0.9.3
	pkgrel = 1
	url = https://github.com/mthom/scryer-prolog
	arch = aarch64
	arch = x86_64
	license = BSD-3-Clause
	makedepends = cargo
	depends = openssl
	depends = gcc-libs
	depends = glibc
	source = https://github.com/mthom/scryer-prolog/archive/refs/tags/v0.9.3.tar.gz
	sha256sums = 08bddb114cb377abccaf58df66e99c8cafc7af90dc2cf6ff2d8204fb6d514af4

pkgname = scryer-prolog