| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
4.29.1 07 May 2026 21:47:29
    |
Rene Ladan (rene)  |
all: drop support for FreeBSD 13, mips and risc64sf
Reviewed by: many (*)
Differential Revision: https://reviews.freebsd.org/D55624
Differential Revision: https://reviews.freebsd.org/D55642 (merged in from bofh)
many (*)
acm arrowd brooks cmt dch decke dinoex eduardo fluffy fuz gahr garga
jbeich joerg jrm kai kenrap martymac matthew mfechner michaelo mizhka
nobutaka pkubaj se tagattie thj
Anton Saietskii
GenericRikka
Gert Doering
Jan Bramkamp
Oleh Hushchenkov
Oleksandr Kryvulia
Ralf van der Enden
Yamagi
desktop kde python tcltk office |
4.29.1 22 Apr 2026 03:03:43
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.29.0 → 4.29.1 |
4.29.0_1 28 Mar 2026 19:29:12
    |
Yuri Victorovich (yuri)  |
math/lean4: Add comment |
4.29.0_1 28 Mar 2026 17:25:55
    |
Yuri Victorovich (yuri)  |
math/lean4: Fix stack overflow test
All other failing tests fail spuriously due to parallel contention.
They all pass when run individually. |
4.29.0 28 Mar 2026 09:50:21
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.29.0-rc2 → 4.29.0 |
4.29.0.r2 27 Feb 2026 07:22:39
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.25.2-20251201 → 4.29.0.r2 |
4.25.2.20251201 02 Dec 2025 00:47:08
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.25.2 → 4.25.2.20251201
The previous release's tarball changed unexplainably, and the
new one is unbuildable, again unexplainably.
This update brings it to the latest revision to solve this problem.
Reported by: fallout |
4.25.2 25 Nov 2025 14:45:18
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.25.1 → 4.25.2 |
4.25.1 25 Nov 2025 04:33:45
    |
Yuri Victorovich (yuri)  |
math/lean4: Update patches |
4.25.1 24 Nov 2025 18:26:56
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.23.0 → 4.25.1 |
4.23.0 25 Sep 2025 04:23:24
    |
Yuri Victorovich (yuri)  Author: wen |
math/lean4: update 4.22.0 → 4.23.0
PR: 289776 |
4.22.0 08 Sep 2025 08:43:26
    |
Yuri Victorovich (yuri)  |
math/lean4: Broken on 13
Reported by: fallout |
4.22.0 22 Aug 2025 02:52:50
    |
Wen Heping (wen)  |
math/lean4: Update to 4.22.0
PR: 288987
Approved by: yuri@(maintainer) |
4.20.1_1 19 Jun 2025 15:52:36
    |
Yuri Victorovich (yuri)  |
math/cadical: update 2.0.0 → 2.1.3 |
4.20.1 05 Jun 2025 18:27:32
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.20.0 → 4.20.1
Reported by: portscout |
4.20.0 04 Jun 2025 06:54:30
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.20.0-rc5 → 4.20.0 |
4.20.0.r5 09 May 2025 20:47:13
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.12.0 → 4.20.0.r5 |
4.12.0 03 Oct 2024 09:17:09
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.11.0 → 4.12.0 |
4.11.0_1 25 Sep 2024 08:33:27
    |
Yuri Victorovich (yuri)  Author: wen heping |
math/lean4: Remove pkg-message since both recommendations there aren't relevant
any more |
4.11.0 02 Sep 2024 07:54:45
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.10.0 → 4.11.0 |
4.10.0 01 Aug 2024 03:53:06
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.9.1 → 4.10.0 |
4.9.1 10 Jul 2024 16:00:55
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.9.0 → 4.9.1
Reported by: portscout |
4.9.0 06 Jul 2024 21:06:13
    |
Yuri Victorovich (yuri)  Author: Wen Heping |
math/lean4: update 4.8.0 → 4.9.0
PR: 280156 |
4.8.0 07 Jun 2024 17:01:24
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.7.0 → 4.8.0
Reported by: portscout |
4.7.0 06 May 2024 08:43:50
    |
Yuri Victorovich (yuri)  |
math/lean4: Broken on armv7
Reported by: fallout |
4.7.0 13 Apr 2024 22:31:12
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.6.0 → 4.7.0
Reported by: portscout |
4.6.0 27 Feb 2024 00:31:16
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.5.0 → 4.6.0
Reported by: portscout |
4.5.0 01 Feb 2024 17:56:05
    |
Yuri Victorovich (yuri)  |
math/lean4: update 4.5.0-rc1 → 4.5.0
Reported by: portscout |
4.5.0.r1_2 19 Jan 2024 13:55:31
    |
Yuri Victorovich (yuri)  |
math/lean4: Broken on i386
Reported by: fallout |
4.5.0.r1_2 16 Jan 2024 10:45:00
    |
Yuri Victorovich (yuri)  |
math/lean4: Remove std library: it will be in its own port |
4.5.0.r1_1 15 Jan 2024 21:14:01
    |
Yuri Victorovich (yuri)  |
math/lean4: Add Std4 library |
4.5.0.r1 14 Jan 2024 03:50:20
    |
Yuri Victorovich (yuri)  |
math/lean4: New port: Theorem prover and functional language for math (new gen) |