Age | Commit message (Expand) | Author |
---|---|---|
2022-05-31 | gnu: Remove python2-langkit.... | Maxim Cournoyer |
2021-12-13 | gnu: Simplify package inputs.... | Ludovic Courtès |
2021-07-18 | Merge branch 'master' into core-updates | Ludovic Courtès |
2021-07-18 | gnu: ada-ed: Adjust target system.... | Efraim Flashner |
2021-06-29 | gnu: python2-libadalang: Remove package.... | zimoun |
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 |