Tags from lambdapi

tag:github.com,2008:https://github.com/fblanqui/lambdapi/releases Tags from lambdapi 2018-09-19T17:25:11Z tag:github.com,2008:Repository/169404360/0.0.8.9 2018-09-19T17:25:11Z 0.0.8.9 ejgallego tag:github.com,2008:Repository/169404360/lambdapi-1.0 2018-09-19T12:51:27Z lambdapi-1.0