diff --git a/ubuntu-precise b/ubuntu-precise index f3eb5bc7..28550fe3 100644 --- a/ubuntu-precise +++ b/ubuntu-precise @@ -9145,6 +9145,7 @@ lua-cjson lua-cjson-dev lua-filesystem lua-filesystem-dev +lua-ldoc lua-penlight lua-penlight-dev lua5.1