Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 4.35.0 Yuri Victorovich (yuri) math/lean4: update 4.34.1 → 4.35.0 4.34.1 Yuri Victorovich (yuri) math/lean4: update 4.34.0 → 4.34.1 4.34.0 Yuri Victorovich (yuri) math/lean4: update 4.33.1 → 4.34.0 4.33.1 Yuri Victorovich (yuri) math/lean4: broken on 14
Reported by: fallout 4.33.1 Yuri Victorovich (yuri) math/lean4: update 4.32.1 → 4.33.1 4.32.1 Rene Ladan (rene) math/lean4: remove compatibility code for FreeBSD 13 4.32.1 Yuri Victorovich (yuri) math/lean4: update 4.32.0 → 4.32.1 4.32.0 Yuri Victorovich (yuri) math/lean4: Fix build breakage on 16 caused by strict matching of the throw()
attribute
Reported by: fallout 4.32.0 Yuri Victorovich (yuri) math/lean4: update 4.31.0 → 4.32.0 4.31.0 Yuri Victorovich (yuri) math/lean4: Remove patch to fix build
Reported by: fallout 4.31.0 Yuri Victorovich (yuri) math/lean4: Fix build on 16
Reported by: fallout 4.31.0 Yuri Victorovich (yuri) math/lean4: update 4.30.0 → 4.31.0 4.30.0_1 Yuri Victorovich (yuri) math/lean4: Fix build on 14
PR: 295703
Reported by: Chad Jacob Milios <milios@ccsys.com> 4.30.0_1 Yuri Victorovich (yuri) math/lean4: Use leantar installed by math/leangz instead of bundling it
PR: 295656
Reported by: Alastair Hogge <agh@riseup.net> 4.30.0 Yuri Victorovich (yuri) math/lean4: update 4.29.1 → 4.30.0 4.29.1 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 Yuri Victorovich (yuri) math/lean4: update 4.29.0 → 4.29.1 4.29.0_1 Yuri Victorovich (yuri) math/lean4: Add comment 4.29.0_1 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 Yuri Victorovich (yuri) math/lean4: update 4.29.0-rc2 → 4.29.0 4.29.0.r2 Yuri Victorovich (yuri) math/lean4: update 4.25.2-20251201 → 4.29.0.r2 4.25.2.20251201 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 Yuri Victorovich (yuri) math/lean4: update 4.25.1 → 4.25.2 4.25.1 Yuri Victorovich (yuri) math/lean4: Update patches 4.25.1 Yuri Victorovich (yuri) math/lean4: update 4.23.0 → 4.25.1 4.23.0 Yuri Victorovich (yuri) wen math/lean4: update 4.22.0 → 4.23.0
PR: 289776 4.22.0 Yuri Victorovich (yuri) math/lean4: Broken on 13
Reported by: fallout 4.22.0 Wen Heping (wen) math/lean4: Update to 4.22.0
PR: 288987
Approved by: yuri@(maintainer) 4.20.1_1 Yuri Victorovich (yuri) math/cadical: update 2.0.0 → 2.1.3 4.20.1 Yuri Victorovich (yuri) math/lean4: update 4.20.0 → 4.20.1
Reported by: portscout 4.20.0 Yuri Victorovich (yuri) math/lean4: update 4.20.0-rc5 → 4.20.0 4.20.0.r5 Yuri Victorovich (yuri) math/lean4: update 4.12.0 → 4.20.0.r5 4.12.0 Yuri Victorovich (yuri) math/lean4: update 4.11.0 → 4.12.0 4.11.0_1 Yuri Victorovich (yuri) wen heping math/lean4: Remove pkg-message since both recommendations there aren't relevant
any more 4.11.0 Yuri Victorovich (yuri) math/lean4: update 4.10.0 → 4.11.0 4.10.0 Yuri Victorovich (yuri) math/lean4: update 4.9.1 → 4.10.0 4.9.1 Yuri Victorovich (yuri) math/lean4: update 4.9.0 → 4.9.1
Reported by: portscout 4.9.0 Yuri Victorovich (yuri) Wen Heping math/lean4: update 4.8.0 → 4.9.0
PR: 280156 4.8.0 Yuri Victorovich (yuri) math/lean4: update 4.7.0 → 4.8.0
Reported by: portscout 4.7.0 Yuri Victorovich (yuri) math/lean4: Broken on armv7
Reported by: fallout 4.7.0 Yuri Victorovich (yuri) math/lean4: update 4.6.0 → 4.7.0
Reported by: portscout 4.6.0 Yuri Victorovich (yuri) math/lean4: update 4.5.0 → 4.6.0
Reported by: portscout 4.5.0 Yuri Victorovich (yuri) math/lean4: update 4.5.0-rc1 → 4.5.0
Reported by: portscout 4.5.0.r1_2 Yuri Victorovich (yuri) math/lean4: Broken on i386
Reported by: fallout 4.5.0.r1_2 Yuri Victorovich (yuri) math/lean4: Remove std library: it will be in its own port 4.5.0.r1_1 Yuri Victorovich (yuri) math/lean4: Add Std4 library 4.5.0.r1 Yuri Victorovich (yuri) math/lean4: New port: Theorem prover and functional language for math (new gen)
