Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/lean: drop old 3.45.0Maciej Barć2022-08-302-78/+0
* sci-mathematics/lean: bump to 3.48.0Maciej Barć2022-08-302-0/+78
* sci-mathematics/lean: drop old 3.44.1Maciej Barć2022-08-262-78/+0
* sci-mathematics/lean: bump to 3.47.0Maciej Barć2022-08-262-0/+78
* sci-mathematics/lean: fix liveMaciej Barć2022-08-261-3/+3
* sci-mathematics/lean: drop old 3.43.0Maciej Barć2022-08-092-78/+0
* sci-mathematics/lean: bump to 3.46.0Maciej Barć2022-08-092-0/+78
* sci-mathematics/lean: filter LTO (odr)Maciej Barć2022-08-024-4/+12
* sci-mathematics/lean: drop old 3.42.1Maciej Barć2022-07-142-76/+0
* sci-mathematics/lean: bump to 3.45.0Maciej Barć2022-07-142-0/+76
* sci-mathematics/lean: drop old 3.39.1 & 3.42.0Maciej Barć2022-06-273-152/+0
* sci-mathematics/lean: bump to 3.44.1Maciej Barć2022-06-272-0/+76
* sci-mathematics/lean: drop old 3.41.0Maciej Barć2022-05-182-76/+0
* sci-mathematics/lean: bump to 3.43.0Maciej Barć2022-05-182-0/+76
* sci-mathematics/lean: drop old 3.40.0Maciej Barć2022-03-272-76/+0
* sci-mathematics/lean: bump to 3.42.1Maciej Barć2022-03-272-0/+76
* sci-mathematics/lean: amd64 stable wrt bug #835981Agostino Sarubbo2022-03-261-1/+1
* sci-mathematics/lean: bump to 3.42.0Maciej Barć2022-03-182-0/+76
* sci-mathematics/lean: drop old 3.38.0Maciej Barć2022-03-122-76/+0
* sci-mathematics/lean: bump to 3.41.0Maciej Barć2022-03-122-0/+76
* sci-mathematics/lean: remove USE=json and inherit of optfeatureMaciej Barć2022-02-225-16/+13
* sci-mathematics/lean: drop old 3.37.0Maciej Barć2022-02-222-76/+0
* sci-mathematics/lean: bump to 3.40.0Maciej Barć2022-02-222-0/+76
* sci-mathematics/lean: drop old 3.35.1-r2Maciej Barć2022-02-082-76/+0
* sci-mathematics/lean: bump to 3.39.1Maciej Barć2022-02-082-0/+76
* sci-mathematics/lean: bump to 3.38.0Maciej Barć2022-01-302-0/+76
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* sci-mathematics/lean: bump to 3.37.0Maciej Barć2022-01-082-0/+76
* sci-mathematics/lean: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
* sci-mathematics/lean: gmp slotMaciej Barć2021-12-042-2/+2
* sci-mathematics/lean: add liveMaciej Barć2021-11-261-0/+75
* sci-mathematics/lean: always use non-hardcoded MAJOR; use readme.gentooMaciej Barć2021-11-261-9/+16
* sci-mathematics/lean: new package; add version 3.35.1Maciej Barć2021-11-264-0/+112