ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	math/cadical: update 2.0.0 → 2.1.3	Yuri Victorovich	2025-06-19	1	-0/+1
\|
*	math/lean4: update 4.20.0 → 4.20.1	Yuri Victorovich	2025-06-05	2	-4/+4
\| \| \| \|	Reported by: portscout
*	math/lean4: update 4.20.0-rc5 → 4.20.0	Yuri Victorovich	2025-06-04	3	-7/+6
\|
*	math/lean4: update 4.12.0 → 4.20.0.r5	Yuri Victorovich	2025-05-09	13	-140/+2016
\|
*	math/lean4: update 4.11.0 → 4.12.0	Yuri Victorovich	2024-10-03	3	-13/+458
\|
*	math/lean4: Remove pkg-message since both recommendations there aren't ↵	wen heping	2024-09-25	2	-22/+12
\| \| \| \|	relevant any more
*	math/lean4: update 4.10.0 → 4.11.0	Yuri Victorovich	2024-09-02	3	-13/+215
\|
*	math/lean4: update 4.9.1 → 4.10.0	Yuri Victorovich	2024-08-01	3	-19/+62
\|
*	math/lean4: update 4.9.0 → 4.9.1	Yuri Victorovich	2024-07-10	2	-4/+4
\| \| \| \|	Reported by: portscout
*	math/lean4: update 4.8.0 → 4.9.0	Wen Heping	2024-07-06	3	-12/+87
\| \| \| \|	PR: 280156
*	math/lean4: update 4.7.0 → 4.8.0	Yuri Victorovich	2024-06-07	3	-20/+206
\| \| \| \|	Reported by: portscout
*	math/lean4: Broken on armv7	Yuri Victorovich	2024-05-06	1	-0/+1
\| \| \| \|	Reported by: fallout
*	math/lean4: update 4.6.0 → 4.7.0	Yuri Victorovich	2024-04-13	5	-23/+306
\| \| \| \|	Reported by: portscout
*	math/lean4: update 4.5.0 → 4.6.0	Yuri Victorovich	2024-02-27	3	-7/+34
\| \| \| \|	Reported by: portscout
*	math/lean4: update 4.5.0-rc1 → 4.5.0	Yuri Victorovich	2024-02-01	2	-5/+4
\| \| \| \|	Reported by: portscout
*	math/lean4: Broken on i386	Yuri Victorovich	2024-01-19	1	-0/+2
\| \| \| \|	Reported by: fallout
*	math/lean4: Remove std library: it will be in its own port	Yuri Victorovich	2024-01-16	3	-941/+2
\|
*	math/lean4: Add Std4 library	Yuri Victorovich	2024-01-15	3	-1/+941
\|
*	math/lean4: New port: Theorem prover and functional language for math (new gen)	Yuri Victorovich	2024-01-14	11	-0/+2442