sci-mathematics/lean – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2025-02-23
- sci-mathematics/lean: remove unused patches
  96fba3b
  Michael Mair-Keimberger authored and Conrad Kostecki committed on 2025-02-23 22:16:49 UTC
  sci-mathematics/lean/files/lean-3.50.3-gcc-13.patchsci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch
Commits on 2025-02-19
- sci-mathematics/lean: Stabilize 4.14.0-r1 amd64, #949943
  1062e1b
  Arthur Zamarin committed on 2025-02-19 07:32:19 UTC
  sci-mathematics/lean/lean-4.14.0-r1.ebuild
Commits on 2025-02-02
- sci-mathematics/lean: treeclean SLOT 0/3
  330f97c
  Maciej Barć committed on 2025-02-02 17:27:44 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-3.51.1.ebuild
Commits on 2025-01-02
- sci-mathematics/lean: add missing libuv dep
  726810e
  Maciej Barć committed on 2025-01-02 23:10:48 UTC
  sci-mathematics/lean/lean-4.14.0-r1.ebuildsci-mathematics/lean/lean-4.14.0.ebuild
- sci-mathematics/lean: update XML metadata
  7e5d10a
  Maciej Barć committed on 2025-01-02 21:48:50 UTC
  sci-mathematics/lean/metadata.xml
- sci-mathematics/lean: drop old 4.2.0
  81965cf
  Maciej Barć committed on 2025-01-02 21:48:48 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-4.2.0.ebuild
- sci-mathematics/lean: bump to 4.14.0
  7f33bdc
  Maciej Barć committed on 2025-01-02 21:48:48 UTC
  sci-mathematics/lean/files/lean-4.14.0-src-cmakelists.patchsci-mathematics/lean/lean-4.14.0.ebuildsci-mathematics/lean/Manifest
Commits on 2024-12-14
- sci-mathematics/lean: Stabilize 4.11.0 amd64, #946385
  0d3bdfb
  Sam James committed on 2024-12-14 15:57:48 UTC
  sci-mathematics/lean/lean-4.11.0.ebuild
Commits on 2024-09-19
- sci-mathematics/lean: bump to 4.11.0
  d88a1ae
  Maciej Barć committed on 2024-09-19 22:01:39 UTC
  sci-mathematics/lean/lean-4.11.0.ebuildsci-mathematics/lean/Manifest
- sci-mathematics/lean: drop ~x86 KEYWORD
  77d2f42
  Maciej Barć committed on 2024-09-19 22:01:39 UTC
  sci-mathematics/lean/lean-4.2.0.ebuild
Commits on 2024-01-18
- sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367
  15dff3a
  Sam James committed on 2024-01-18 17:23:39 UTC
  sci-mathematics/lean/lean-4.2.0.ebuild
Commits on 2024-01-15
- sci-mathematics/lean: drop old 4.2.0_rc4
  c424b1a
  Maciej Barć committed on 2024-01-15 21:20:41 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-4.2.0_rc4.ebuild
Commits on 2023-11-30
- sci-mathematics/lean: bump to 4.2.0
  b6d29d8
  Maciej Barć committed on 2023-11-30 16:52:25 UTC
  sci-mathematics/lean/lean-4.2.0.ebuildsci-mathematics/lean/Manifest
Commits on 2023-10-26
- sci-mathematics/lean: bump to 4.2.0_rc4
  2ebcc7f
  Maciej Barć committed on 2023-10-26 13:11:35 UTC
  sci-mathematics/lean/lean-4.2.0_rc4.ebuildsci-mathematics/lean/Manifest
- sci-mathematics/lean: drop old 3.9999
  0a9f17c
  Maciej Barć committed on 2023-10-26 13:11:35 UTC
  sci-mathematics/lean/lean-3.9999.ebuild
Commits on 2023-10-07
- sci-mathematics/lean: drop old 3.49.0
  a34aff2
  Maciej Barć committed on 2023-10-07 14:57:43 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-3.49.0.ebuild
- sci-mathematics/lean: drop old 3.50.3
  fa16ba5
  Maciej Barć committed on 2023-10-07 14:57:43 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-3.50.3.ebuild
- sci-mathematics/lean: drop old 3.51.0
  479d6e4
  Maciej Barć committed on 2023-10-07 14:57:42 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-3.51.0.ebuild
Commits on 2023-08-15
- sci-mathematics/lean: Stabilize 3.51.1 amd64, #912297
  ae428f6
  Arthur Zamarin committed on 2023-08-15 15:45:33 UTC
  sci-mathematics/lean/lean-3.51.1.ebuild
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
  sci-mathematics/lean/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
  sci-mathematics/lean/lean-3.51.1.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.51.0.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/files/lean-3.50.3-gcc-13.patchsci-mathematics/lean/lean-3.50.3.ebuildsci-mathematics/lean/lean-3.9999.ebuild
- sci-mathematics/lean: drop old 3.50.2
  794b21a
  Maciej Barć committed on 2023-04-18 13:55:10 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.50.3.ebuildsci-mathematics/lean/Manifest
- sci-mathematics/lean: drop old 3.50.0
  6ae7758
  Maciej Barć committed on 2022-12-27 02:01:24 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.50.2.ebuildsci-mathematics/lean/Manifest
- sci-mathematics/lean: drop old 3.49.1
  9c2a388
  Maciej Barć committed on 2022-12-24 02:47:21 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/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
  sci-mathematics/lean/lean-3.50.1.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.50.0.ebuildsci-mathematics/lean/Manifest
- sci-mathematics/lean: drop old 3.48.0
  ad73daf
  Maciej Barć committed on 2022-12-15 08:41:12 UTC
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.49.1.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.49.0.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.48.0.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.47.0.ebuildsci-mathematics/lean/Manifest
- sci-mathematics/lean: fix live
  83a2c3f
  Maciej Barć committed on 2022-08-26 00:32:04 UTC
  sci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.46.0.ebuildsci-mathematics/lean/Manifest
Commits on 2022-08-02
- sci-mathematics/lean: filter LTO (odr)
  56a7877
  Maciej Barć committed on 2022-08-02 21:42:18 UTC
  sci-mathematics/lean/lean-3.43.0.ebuildsci-mathematics/lean/lean-3.44.1.ebuildsci-mathematics/lean/lean-3.45.0.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.45.0.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-3.39.1.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/lean-3.44.1.ebuildsci-mathematics/lean/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
  sci-mathematics/lean/Manifestsci-mathematics/lean/lean-3.41.0.ebuild