Age | Commit message (Expand) | Author |
---|---|---|
2021-07-18 | gnu: ada-ed: Adjust target system. | Efraim Flashner |
2020-11-08 | gnu: Add ada-ed. | Tobias Geerinckx-Rice |
2020-07-12 | gnu: Remove ".git" from "https://github/…/….git". | Ludovic Courtès |
2019-01-15 | gnu: Separate Python core packages from the rest. | Ricardo Wurmus |
2018-03-16 | gnu: Add python2-libadalang. | Danny Milosavljevic |
2018-03-13 | gnu: Add python2-langkit. | Danny Milosavljevic |