2019-02-24 | Marius Bakke | Merge branch 'staging' into core-updates | blob | commitdiff | raw |
2019-02-24 | Marius Bakke | Merge branch 'master' into staging | blob | commitdiff | raw |
2019-02-24 | Tobias Geerinckx... | gnu: ragel: Update to 6.10. | blob | commitdiff | raw |
2019-02-24 | Tobias Geerinckx... | gnu: ragel: Use HTTPS home page. | blob | commitdiff | raw | diff to current |
2015-12-12 | Ludovic Courtès | Merge branch 'master' into core-updates | blob | commitdiff | raw | diff to current |
2015-11-25 | Ricardo Wurmus | gnu: Add Ragel. | blob | commitdiff | raw | diff to current |