diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..38d1a94d3538 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = minlog-git + pkgdesc = Interactive proof system based on first order natural deduction calculus. + pkgver = 171.f281021 + pkgrel = 1 + url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php + arch = any + license = GPL + makedepends = texlive-core + makedepends = git + depends = bash + source = git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git + md5sums = SKIP + +pkgname = minlog-git + |