aboutsummarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorRamana Kumar2016-05-23 14:34:26 +1000
committerRamana Kumar2016-05-23 14:34:26 +1000
commit9917d3bc531fcca26e8b0dda4a73bc66f06af59c (patch)
tree9fd25275a54e81d3b6a4c9e915129be49cf3963e /.SRCINFO
parentf94b2ad9d6dea956aaea04e50d52ce3777d28629 (diff)
downloadaur-9917d3bc531fcca26e8b0dda4a73bc66f06af59c.tar.gz
Bump version for latest release
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO8
1 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index aff5d1c44ff8..b19b9879a08a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
# Generated by mksrcinfo v8
-# Thu Apr 28 09:40:25 UTC 2016
+# Mon May 23 04:34:00 UTC 2016
pkgbase = opentheory
pkgdesc = a tool for processing higher-order logic theory packages
- pkgver = 1.3r20160428
+ pkgver = 1.3r20160515
pkgrel = 1
url = http://www.gilith.com/software/opentheory
arch = i686
arch = x86_64
license = MIT
makedepends = mlton
- source = opentheory-1.3r20160428.tar.gz::http://www.gilith.com/software/opentheory/opentheory.tar.gz
- md5sums = 2c060377aad4a4899f086b0aaa8c599c
+ source = opentheory-1.3r20160515.tar.gz::http://www.gilith.com/software/opentheory/opentheory.tar.gz
+ md5sums = 6bf742423e8a06392803c582882388e3
pkgname = opentheory