summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAUR Update Bot2015-10-22 01:01:14 +0200
committerStefan Husmann2015-10-22 01:01:14 +0200
commita6f8f76121ab9dfa23518c35795f1b187e886102 (patch)
treede059d9457250201523af24a3d7598123a6f1e82
parent3908bd91f068c3314da8f3da1ce87abcfe9d9a25 (diff)
downloadaur-a6f8f76121ab9dfa23518c35795f1b187e886102.tar.gz
Updated version (185.1350751 -> 188.c31a4a7).
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 77cd1d2495d..637c8f51507 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minlog-git
pkgdesc = Interactive proof system based on first order natural deduction calculus.
- pkgver = 185.1350751
+ pkgver = 188.c31a4a7
pkgrel = 1
url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php
arch = any
diff --git a/PKGBUILD b/PKGBUILD
index cd97946f5f9..0136e3c312f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: Stefan Husmann <stefan-husmann@t-online.de>
pkgname=minlog-git
-pkgver=185.1350751
+pkgver=188.c31a4a7
pkgrel=1
pkgdesc="Interactive proof system based on first order natural deduction calculus."
arch=('any')