blob: 54e7c1ae91f44f186db5494f711fcfe7220f2878 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = plasp
pkgdesc = ASP planning tools for PDDL
pkgver = 3.1.1
pkgrel = 1
url = https://github.com/potassco/plasp
arch = x86_64
arch = i686
license = MIT
makedepends = cmake
source = https://github.com/potassco/plasp/releases/download/v3.1.1/plasp-3.1.1-source.tar.gz
sha512sums = 0df9f6a29a9924664a8e41c8939a0702a8980168145f480dbfa56359f4203b1a799f47996eba445d9fc2e9fce884f0f4bd3a4d5a977f47bc7dce68e38d2ba027
pkgname = plasp
|