[gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/lean-mathlib/

2022-03-25 Thread Ronny Gutbrod
commit: 749e26c7ecb86356f3404da0b76efb2f7b801a73 Author: Alessandro Barbieri gmail com> AuthorDate: Fri Mar 25 23:41:16 2022 + Commit: Ronny Gutbrod tastytea de> CommitDate: Sat Mar 26 00:09:36 2022 + URL:

[gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/lean-mathlib/

2022-03-25 Thread Ronny Gutbrod
commit: 4bf925478b561d2c6fff0c0ed19590716fc7aa65 Author: Alessandro Barbieri gmail com> AuthorDate: Thu Mar 24 14:42:00 2022 + Commit: Ronny Gutbrod tastytea de> CommitDate: Sat Mar 26 00:09:35 2022 + URL:

[gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/lean-mathlib/

2022-03-23 Thread Ronny Gutbrod
commit: 4c20f182f85c0ee52c965866bf9ccc0ace9fbbff Author: Alessandro Barbieri gmail com> AuthorDate: Sat Mar 19 02:02:07 2022 + Commit: Ronny Gutbrod tastytea de> CommitDate: Sat Mar 19 02:02:07 2022 + URL:

[gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/lean-mathlib/

2021-10-25 Thread Andrew Ammerlaan
commit: d9faaebbd0cbf547f9f496b312b1a6daa7bf8319 Author: Arthur Zamarin gentoo org> AuthorDate: Sun Oct 24 14:41:33 2021 + Commit: Andrew Ammerlaan gentoo org> CommitDate: Sun Oct 24 14:41:33 2021 + URL: