sci-mathematics/lean – Gentoo Packages

Packages

Get Gentoo!

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