diff options
author | Daniel Schadt | 2020-05-05 12:34:16 +0200 |
---|---|---|
committer | Daniel Schadt | 2020-05-05 12:34:16 +0200 |
commit | 7ffc3597c334412c693a28a181f11022f12847eb (patch) | |
tree | 4103e32c0453aa555b418978a4fa73dc43837449 /.SRCINFO | |
download | aur-7ffc3597c334412c693a28a181f11022f12847eb.tar.gz |
initial version
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2bdc1ace83c5 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = candy-kingdom-git + pkgdesc = A collection of SAT solvers and tools for structure analysis in SAT problems. + pkgver = 1388 + pkgrel = 1 + url = https://github.com/Udopia/candy-kingdom + arch = x86_64 + license = MIT + makedepends = cmake + makedepends = git + depends = gcc-libs + depends = zlib + source = candy-kingdom::git+https://github.com/Udopia/candy-kingdom.git#branch=master + sha256sums = SKIP + +pkgname = candy-kingdom-git + |