blob: f2e32499d796523affe6213dcc7ee549cd114f18 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = minlog-git
pkgdesc = Interactive proof system based on first order natural deduction calculus.
pkgver = r610.4a9a1e4
pkgrel = 2
url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php
arch = any
license = GPL
makedepends = texlive-core
makedepends = git
depends = bash
options = !makeflags
source = git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git
source = prefer_guile.patch
md5sums = SKIP
md5sums = 3066aa2dccf688b26d1c70ae8ebc3a7d
pkgname = minlog-git
|