Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367Sam James2024-01-181-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: drop old 4.2.0_rc4Maciej Barć2024-01-152-79/+0
| | | | | Closes: https://bugs.gentoo.org/916306 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 4.2.0Maciej Barć2023-11-302-0/+79
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 4.2.0_rc4Maciej Barć2023-10-262-0/+79
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.9999Maciej Barć2023-10-261-80/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.49.0Maciej Barć2023-10-072-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.50.3Maciej Barć2023-10-072-81/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.51.0Maciej Barć2023-10-072-81/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: Stabilize 3.51.1 amd64, #912297Arthur Zamarin2023-08-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/lean: Stabilize 3.50.3 amd64, #907180Sam James2023-05-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: bump to 3.51.1Maciej Barć2023-05-252-0/+81
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.51.0Maciej Barć2023-05-172-0/+81
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: fix build with GCC 13Maciej Barć2023-04-183-9/+25
| | | | | Closes: https://bugs.gentoo.org/895202 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.50.2Maciej Barć2023-04-182-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.50.1Maciej Barć2023-04-182-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.50.3Maciej Barć2022-12-272-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.50.0Maciej Barć2022-12-272-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.50.2Maciej Barć2022-12-242-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.49.1Maciej Barć2022-12-242-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: Stabilize 3.49.0 amd64, #887811Sam James2022-12-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: bump to 3.50.1Maciej Barć2022-12-222-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.50.0Maciej Barć2022-12-152-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.48.0Maciej Barć2022-12-152-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.47.0Maciej Barć2022-12-152-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.49.1Maciej Barć2022-11-182-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.46.0Maciej Barć2022-11-122-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.49.0Maciej Barć2022-11-122-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.45.0Maciej Barć2022-08-302-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.48.0Maciej Barć2022-08-302-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.44.1Maciej Barć2022-08-262-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.47.0Maciej Barć2022-08-262-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: fix liveMaciej Barć2022-08-261-3/+3
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.43.0Maciej Barć2022-08-092-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.46.0Maciej Barć2022-08-092-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: filter LTO (odr)Maciej Barć2022-08-024-4/+12
| | | | | Closes: https://bugs.gentoo.org/863086 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.42.1Maciej Barć2022-07-142-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.45.0Maciej Barć2022-07-142-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.39.1 & 3.42.0Maciej Barć2022-06-273-152/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.44.1Maciej Barć2022-06-272-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.41.0Maciej Barć2022-05-182-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.43.0Maciej Barć2022-05-182-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.40.0Maciej Barć2022-03-272-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.42.1Maciej Barć2022-03-272-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: amd64 stable wrt bug #835981Agostino Sarubbo2022-03-261-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/lean: bump to 3.42.0Maciej Barć2022-03-182-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.38.0Maciej Barć2022-03-122-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.41.0Maciej Barć2022-03-122-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: remove USE=json and inherit of optfeatureMaciej Barć2022-02-225-16/+13
| | | | | | Closes: https://bugs.gentoo.org/833900 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.37.0Maciej Barć2022-02-222-76/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.40.0Maciej Barć2022-02-222-0/+76
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>