summaryrefslogtreecommitdiff
path: root/development/menhir/menhir.SlackBuild
diff options
context:
space:
mode:
Diffstat (limited to 'development/menhir/menhir.SlackBuild')
-rw-r--r--development/menhir/menhir.SlackBuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild
index e8419de9d4..8b790c4f78 100644
--- a/development/menhir/menhir.SlackBuild
+++ b/development/menhir/menhir.SlackBuild
@@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=menhir
-VERSION=${VERSION:-20140422}
+VERSION=${VERSION:-20160526}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}