| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | */*: treeclean stale/unmaintained packages |   Julien Roy | 2024-03-25 | 3 | -57/+0 |
| * | */*: update metadata schema uri |   Anna (cybertailor) Vyalkova | 2023-03-04 | 1 | -1/+1 |
| * | sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318 |   Alessandro Barbieri | 2022-03-26 | 3 | -88/+0 |
| * | sci-mathematics/lean-mathlib: add 0.1_p20220324 | Alessandro Barbieri | 2022-03-26 | 2 | -0/+44 |
| * | sci-mathematics/lean-mathlib: add 0.1_p20220318 | Alessandro Barbieri | 2022-03-19 | 2 | -0/+44 |
| * | sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean |   Andrew Ammerlaan | 2021-12-01 | 1 | -1/+1 |
| * | sci-mathematics/lean-mathlib: remove empty longdescription |   Arthur Zamarin | 2021-10-24 | 1 | -2/+0 |
| * | sci-mathematics/lean-mathlib: fix doc install | Alessandro Barbieri | 2021-10-23 | 1 | -1/+1 |
| * | sci-mathematics/lean-mathlib: initial import | Alessandro Barbieri | 2021-10-22 | 3 | -0/+59 |
GitWeb