zhuk bce19fb1f9 The datalog port failed to build with our libtool mostly because it stopped
using Lua from system. Make it use Lua 5.3 (same as one bundled in) again.

okay jasper@ (MAINTAINER)
2017-07-27 19:55:46 +00:00
..
2016-06-17 18:37:41 +00:00
2016-06-17 18:37:41 +00:00