blob: dbb1e9febfeef222c1f8403a29e33b503036b512 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Generated by mksrcinfo v8
# Mon Apr 29 03:05:15 UTC 2019
pkgbase = cadical
pkgdesc = A simple CDCL satisfiability solver
pkgver = sc18
pkgrel = 1
url = http://fmv.jku.at/cadical/
arch = x86_64
license = MIT
source = https://github.com/arminbiere/cadical/archive/sc18.tar.gz
md5sums = cbc2e33e5cb9790bf8b552f1d0d2743b
pkgname = cadical
|