[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/lean/, dev-lang/lean/files/

2021-11-26 Thread Maciej Barć
commit: 0687ff75b4800c03e0b715538105576eb41422cf Author: Maciej Barć gentoo org> AuthorDate: Fri Nov 26 11:50:35 2021 + Commit: Maciej Barć gentoo org> CommitDate: Fri Nov 26 13:08:39 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=0687ff75

[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/lean/, dev-lang/lean/files/

2021-10-21 Thread Maciej Barć
commit: 1a977dcf401649337dccdb59bcefde5f2e57109d Author: Maciej Barć riseup net> AuthorDate: Thu Oct 21 22:58:05 2021 + Commit: Maciej Barć riseup net> CommitDate: Thu Oct 21 22:58:05 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=1a977dcf