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
|