Age | Commit message (Expand) | Author |
---|---|---|
2022-01-01 | gnu: ragel: Fix build of knot on aarch64-linux. | Simon South |
2019-02-24 | gnu: ragel: Update to 6.10. | Tobias Geerinckx-Rice |
2019-02-24 | gnu: ragel: Use HTTPS home page. | Tobias Geerinckx-Rice |
2015-11-25 | gnu: Add Ragel. | Ricardo Wurmus |