summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/mathlib-tools: patch to use tomli(-w)Maciej Barć2023-01-271-1/+1
* sci-mathematics/mathlib-tools: drop old 1.3.1Maciej Barć2023-01-271-1/+0
* sci-mathematics/mathlib-tools: drop old 1.3.0Maciej Barć2023-01-271-1/+0
* sci-mathematics/mathlib-tools: drop old 1.2.0Maciej Barć2022-12-171-1/+0
* sci-mathematics/mathlib-tools: bump to 1.3.2Maciej Barć2022-12-171-0/+1
* sci-mathematics/mathlib-tools: bump to 1.3.1Maciej Barć2022-11-291-0/+1
* sci-mathematics/mathlib-tools: bump to 1.3.0Maciej Barć2022-11-131-0/+1
* sci-mathematics/mathlib-tools: drop old 1.1.2-r1Maciej Barć2022-11-131-1/+0
* sci-mathematics/mathlib-tools: drop old 1.1.1-r1Maciej Barć2022-11-131-1/+0
* sci-mathematics/mathlib-tools: drop old 1.1.0-r1Maciej Barć2022-10-231-1/+0
* sci-mathematics/mathlib-tools: bump to 1.2.0Maciej Barć2022-10-231-0/+1
* sci-mathematics/mathlib-tools: bump to 1.1.2Maciej Barć2022-08-261-0/+1
* sci-mathematics/mathlib-tools: bump to 1.1.1Maciej Barć2022-03-091-0/+1
* sci-mathematics/mathlib-tools: new package; add version 1.1.0Maciej Barć2021-11-261-0/+1