Age | Commit message (Expand) | Author |
2023-02-16 | gnu: Remove unneeded module imports. | Efraim Flashner |
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 |