aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/gtk.scm
blob: 757c4f876b03514c49ee9e12fd9c0d32ee368976 (plain)
blob size (110KB) exceeds display size limit (100KB).
generated by cgit
mit/gnu/packages/lean.scm?id=46ae78ba45711b43ca5948c9adbd23cc9e773bff'>gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.Maxim Cournoyer 2021-12-13gnu: Simplify package inputs.Ludovic Courtès 2020-11-26gnu: lean: Trim synopsis.Tobias Geerinckx-Rice 2020-11-26gnu: lean: Update to 3.23.0.Tobias Geerinckx-Rice >Andreas Enge 2023-02-25gnu: python-miio: Update to 0.5.12.Andreas Enge 2022-10-31gnu: Fix various lint issues in synopsis and descriptions.Vagrant Cascadian 2022-08-03gnu: Add android-file-transfer.kiasoc5 2022-05-12gnu: python-miio: Update to 0.5.11.Maxim Cournoyer