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.49.0Maciej Barć2023-10-072-78/+0
* sci-mathematics/lean: drop old 3.50.3Maciej Barć2023-10-072-81/+0
* sci-mathematics/lean: drop old 3.51.0Maciej Barć2023-10-072-81/+0
* sci-mathematics/lean: Stabilize 3.51.1 amd64, #912297Arthur Zamarin2023-08-151-1/+1
* sci-mathematics/lean: Stabilize 3.50.3 amd64, #907180Sam James2023-05-261-1/+1
* sci-mathematics/lean: bump to 3.51.1Maciej Barć2023-05-252-0/+81
* sci-mathematics/lean: bump to 3.51.0Maciej Barć2023-05-172-0/+81
* sci-mathematics/lean: fix build with GCC 13Maciej Barć2023-04-183-9/+25
* sci-mathematics/lean: drop old 3.50.2Maciej Barć2023-04-182-78/+0
* sci-mathematics/lean: drop old 3.50.1Maciej Barć2023-04-182-78/+0
* sci-mathematics/lean: bump to 3.50.3Maciej Barć2022-12-272-0/+78
* sci-mathematics/lean: drop old 3.50.0Maciej Barć2022-12-272-78/+0
* sci-mathematics/lean: bump to 3.50.2Maciej Barć2022-12-242-0/+78
* sci-mathematics/lean: drop old 3.49.1Maciej Barć2022-12-242-78/+0
* sci-mathematics/lean: Stabilize 3.49.0 amd64, #887811Sam James2022-12-211-1/+1
* sci-mathematics/lean: bump to 3.50.1Maciej Barć2022-12-222-0/+78
* sci-mathematics/lean: bump to 3.50.0Maciej Barć2022-12-152-0/+78
* sci-mathematics/lean: drop old 3.48.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/lean: drop old 3.47.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/lean: bump to 3.49.1Maciej Barć2022-11-182-0/+78
* sci-mathematics/lean: drop old 3.46.0Maciej Barć2022-11-122-78/+0
* sci-mathematics/lean: bump to 3.49.0Maciej Barć2022-11-122-0/+78
* 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