Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
lean
The Lean Theorem Prover
https://leanprover-community.github.io/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Commits on 2023-05-26
sci-mathematics/lean: Stabilize 3.50.3 amd64, #907180
0a01120
Sam James
committed on 2023-05-26 07:14:47 UTC
lean-3.50.3.ebuild
Commits on 2023-05-24
sci-mathematics/lean: bump to 3.51.1
fe3cf75
Maciej Barć
committed on 2023-05-24 23:15:06 UTC
lean-3.51.1.ebuild
Manifest
Commits on 2023-05-17
sci-mathematics/lean: bump to 3.51.0
2700367
Maciej Barć
committed on 2023-05-17 20:45:10 UTC
lean-3.51.0.ebuild
Manifest
Commits on 2023-04-18
sci-mathematics/lean: fix build with GCC 13
93eca38
Maciej Barć
committed on 2023-04-18 13:55:10 UTC
files/lean-3.50.3-gcc-13.patch
lean-3.50.3.ebuild
lean-3.9999.ebuild
sci-mathematics/lean: drop old 3.50.2
794b21a
Maciej Barć
committed on 2023-04-18 13:55:10 UTC
Manifest
lean-3.50.2.ebuild
sci-mathematics/lean: drop old 3.50.1
0821d91
Maciej Barć
committed on 2023-04-18 13:55:10 UTC
Manifest
lean-3.50.1.ebuild
Commits on 2022-12-27
sci-mathematics/lean: bump to 3.50.3
ca60304
Maciej Barć
committed on 2022-12-27 02:14:07 UTC
lean-3.50.3.ebuild
Manifest
sci-mathematics/lean: drop old 3.50.0
6ae7758
Maciej Barć
committed on 2022-12-27 02:01:24 UTC
Manifest
lean-3.50.0.ebuild
Commits on 2022-12-24
sci-mathematics/lean: bump to 3.50.2
fb75aa6
Maciej Barć
committed on 2022-12-24 02:47:21 UTC
lean-3.50.2.ebuild
Manifest
sci-mathematics/lean: drop old 3.49.1
9c2a388
Maciej Barć
committed on 2022-12-24 02:47:21 UTC
Manifest
lean-3.49.1.ebuild
Commits on 2022-12-21
sci-mathematics/lean: Stabilize 3.49.0 amd64, #887811
b9d8d9b
Sam James
committed on 2022-12-21 23:52:01 UTC
lean-3.49.0.ebuild
sci-mathematics/lean: bump to 3.50.1
9d57ecf
Maciej Barć
committed on 2022-12-21 23:49:28 UTC
lean-3.50.1.ebuild
Manifest
Commits on 2022-12-15
sci-mathematics/lean: bump to 3.50.0
ff43595
Maciej Barć
committed on 2022-12-15 08:41:12 UTC
lean-3.50.0.ebuild
Manifest
sci-mathematics/lean: drop old 3.48.0
ad73daf
Maciej Barć
committed on 2022-12-15 08:41:12 UTC
Manifest
lean-3.48.0.ebuild
sci-mathematics/lean: drop old 3.47.0
c07ecd3
Maciej Barć
committed on 2022-12-15 08:41:12 UTC
Manifest
lean-3.47.0.ebuild
Commits on 2022-11-18
sci-mathematics/lean: bump to 3.49.1
9f378b9
Maciej Barć
committed on 2022-11-18 22:15:13 UTC
lean-3.49.1.ebuild
Manifest
Commits on 2022-11-12
sci-mathematics/lean: drop old 3.46.0
3a343e4
Maciej Barć
committed on 2022-11-12 05:02:55 UTC
Manifest
lean-3.46.0.ebuild
sci-mathematics/lean: bump to 3.49.0
e8151b7
Maciej Barć
committed on 2022-11-12 05:02:55 UTC
lean-3.49.0.ebuild
Manifest
Commits on 2022-08-30
sci-mathematics/lean: drop old 3.45.0
e0ab0ac
Maciej Barć
committed on 2022-08-30 14:35:36 UTC
Manifest
lean-3.45.0.ebuild
sci-mathematics/lean: bump to 3.48.0
4c42b4e
Maciej Barć
committed on 2022-08-30 14:35:35 UTC
lean-3.48.0.ebuild
Manifest
Commits on 2022-08-26
sci-mathematics/lean: drop old 3.44.1
c872faa
Maciej Barć
committed on 2022-08-26 00:32:05 UTC
Manifest
lean-3.44.1.ebuild
sci-mathematics/lean: bump to 3.47.0
48ab112
Maciej Barć
committed on 2022-08-26 00:32:04 UTC
lean-3.47.0.ebuild
Manifest
sci-mathematics/lean: fix live
83a2c3f
Maciej Barć
committed on 2022-08-26 00:32:04 UTC
lean-3.9999.ebuild
Commits on 2022-08-09
sci-mathematics/lean: drop old 3.43.0
3b93a2c
Maciej Barć
committed on 2022-08-09 00:02:09 UTC
Manifest
lean-3.43.0.ebuild
Commits on 2022-08-08
sci-mathematics/lean: bump to 3.46.0
b5dd196
Maciej Barć
committed on 2022-08-08 23:59:11 UTC
lean-3.46.0.ebuild
Manifest
Commits on 2022-08-02
sci-mathematics/lean: filter LTO (odr)
56a7877
Maciej Barć
committed on 2022-08-02 21:42:18 UTC
lean-3.43.0.ebuild
lean-3.44.1.ebuild
lean-3.45.0.ebuild
lean-3.9999.ebuild
Commits on 2022-07-14
sci-mathematics/lean: drop old 3.42.1
57d436b
Maciej Barć
committed on 2022-07-14 10:05:27 UTC
Manifest
lean-3.42.1.ebuild
sci-mathematics/lean: bump to 3.45.0
a8bce87
Maciej Barć
committed on 2022-07-14 10:05:26 UTC
lean-3.45.0.ebuild
Manifest
Commits on 2022-06-27
sci-mathematics/lean: drop old 3.39.1 & 3.42.0
b276a47
Maciej Barć
committed on 2022-06-27 14:50:17 UTC
Manifest
lean-3.39.1.ebuild
lean-3.42.0.ebuild
sci-mathematics/lean: bump to 3.44.1
657666c
Maciej Barć
committed on 2022-06-27 14:50:17 UTC
lean-3.44.1.ebuild
Manifest
Commits on 2022-05-18
sci-mathematics/lean: drop old 3.41.0
36d52f5
Maciej Barć
committed on 2022-05-18 19:29:56 UTC
Manifest
lean-3.41.0.ebuild
sci-mathematics/lean: bump to 3.43.0
2d71d22
Maciej Barć
committed on 2022-05-18 19:29:55 UTC
lean-3.43.0.ebuild
Manifest
Commits on 2022-03-27
sci-mathematics/lean: drop old 3.40.0
7640503
Maciej Barć
committed on 2022-03-27 01:46:25 UTC
Manifest
lean-3.40.0.ebuild
sci-mathematics/lean: bump to 3.42.1
e124cd8
Maciej Barć
committed on 2022-03-27 01:46:25 UTC
lean-3.42.1.ebuild
Manifest
Commits on 2022-03-26
sci-mathematics/lean: amd64 stable wrt bug #835981
6f0f88b
Agostino Sarubbo
committed on 2022-03-26 19:46:58 UTC
lean-3.39.1.ebuild
Commits on 2022-03-18
sci-mathematics/lean: bump to 3.42.0
61bd2fd
Maciej Barć
committed on 2022-03-18 19:37:48 UTC
lean-3.42.0.ebuild
Manifest
Commits on 2022-03-12
sci-mathematics/lean: drop old 3.38.0
3f0b442
Maciej Barć
committed on 2022-03-12 10:15:11 UTC
Manifest
lean-3.38.0.ebuild
sci-mathematics/lean: bump to 3.41.0
7746d09
Maciej Barć
committed on 2022-03-12 10:11:51 UTC
lean-3.41.0.ebuild
Manifest
Commits on 2022-02-22
sci-mathematics/lean: remove USE=json and inherit of optfeature
0248400
Maciej Barć
committed on 2022-02-22 18:34:04 UTC
lean-3.38.0.ebuild
lean-3.39.1.ebuild
lean-3.40.0.ebuild
lean-3.9999.ebuild
metadata.xml
sci-mathematics/lean: drop old 3.37.0
6e3bf14
Maciej Barć
committed on 2022-02-22 18:34:04 UTC
Manifest
lean-3.37.0.ebuild
sci-mathematics/lean: bump to 3.40.0
3d11f64
Maciej Barć
committed on 2022-02-22 18:34:04 UTC
lean-3.40.0.ebuild
Manifest
Commits on 2022-02-08
sci-mathematics/lean: drop old 3.35.1-r2
4db633a
Maciej Barć
committed on 2022-02-08 17:21:23 UTC
Manifest
lean-3.35.1-r2.ebuild
sci-mathematics/lean: bump to 3.39.1
34df81a
Maciej Barć
committed on 2022-02-08 17:21:23 UTC
lean-3.39.1.ebuild
Manifest
Commits on 2022-01-30
sci-mathematics/lean: bump to 3.38.0
f45b887
Maciej Barć
committed on 2022-01-30 19:21:28 UTC
lean-3.38.0.ebuild
Manifest
Commits on 2022-01-25
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 2022-01-25 18:37:45 UTC
metadata.xml
Commits on 2022-01-08
sci-mathematics/lean: bump to 3.37.0
6e59239
Maciej Barć
committed on 2022-01-08 03:02:06 UTC
lean-3.37.0.ebuild
Manifest
Commits on 2021-12-25
sci-mathematics/lean: change maintainer to Gentoo Mathematics Project
3c03d70
Maciej Barć
committed on 2021-12-25 20:41:29 UTC
metadata.xml
Commits on 2021-12-04
sci-mathematics/lean: gmp slot
0539348
Maciej Barć
committed on 2021-12-04 02:36:10 UTC
lean-3.35.1-r2.ebuild
lean-3.9999.ebuild
lean-3.35.1-r1.ebuild
Commits on 2021-11-26
sci-mathematics/lean: add live
34386f1
Maciej Barć
committed on 2021-11-26 14:16:42 UTC
lean-3.9999.ebuild
sci-mathematics/lean: always use non-hardcoded MAJOR; use readme.gentoo
0ceb76e
Maciej Barć
committed on 2021-11-26 14:16:41 UTC
lean-3.35.1-r1.ebuild
lean-3.35.1.ebuild
sci-mathematics/lean: new package; add version 3.35.1
7d5b1c7
Maciej Barć
committed on 2021-11-26 13:08:07 UTC
Manifest
files/lean-CMakeLists-fix_flags.patch
lean-3.35.1.ebuild
metadata.xml