blob: 18c9f7f05c8fa0ebe5f21bee252c2fb9e0989737 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# Generated by mksrcinfo v8
# Fri Jul 1 19:56:06 UTC 2016
pkgbase = sat-shell
pkgdesc = sat-shell is an interactive tcl-shell for solving satisfiability problems
pkgver = 1.1
pkgrel = 4
url = https://github.com/TestudoAquatilis/sat-shell
arch = x86_64
arch = i686
license = GPLv3
makedepends = git
makedepends = gcc
makedepends = make
makedepends = flex
makedepends = bison
makedepends = sed
depends = tclln
depends = glib2
depends = zlib
depends = minisat
source = git+https://github.com/TestudoAquatilis/sat-shell.git
md5sums = SKIP
pkgname = sat-shell
|