ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	math/lean: Fix performance problem	Yuri Victorovich	2022-09-05	1	-0/+174
\| \| \| \| \|	Pre-compiled library files weren't installed due to some bug which made lean very slow.
*	math/lean: Update 3.40.0 -> 3.41.0	Yuri Victorovich	2022-03-12	1	-0/+3
\| \| \| \|	Reported by: portscout
*	math/lean: Update 3.35.1 -> 3.39.1	Yuri Victorovich	2022-02-09	1	-0/+1
\| \| \| \|	Reported by: portscout
*	math/lean: Update 3.33.0 -> 3.35.0	Yuri Victorovich	2021-10-31	1	-12/+0
\| \| \| \|	Reported by: portscout
*	math/lean: Update 3.32.1 -> 3.33.0	Yuri Victorovich	2021-09-18	1	-0/+3
\| \| \| \|	Reported by: portscout
*	math/lean: Update 3.30.0 -> 3.31.0	Yuri Victorovich	2021-06-30	1	-1/+0
\| \| \| \|	Reported by: portscout
*	math/lean: Update 3.26.0 -> 3.27.0	Yuri Victorovich	2021-02-26	1	-0/+1
\| \| \| \| \| \| \|	Reported by: portscout Notes: svn path=/head/; revision=566620
*	math/lean: Update 3.21.0 -> 3.22.0	Yuri Victorovich	2020-10-28	1	-1/+0
\| \| \| \| \| \| \|	Reported by: portscout Notes: svn path=/head/; revision=553515
*	math/lean: Update 3.19.0 -> 3.20.0	Yuri Victorovich	2020-09-10	1	-1/+2
\| \| \| \| \| \| \|	Reported by: portscout Notes: svn path=/head/; revision=548214
*	math/lean: Update 3.4.2 -> 3.17.1	Yuri Victorovich	2020-07-21	1	-280/+37
\| \| \| \| \| \| \| \| \| \| \|	The original Microsoft's account 'leanprover' is now archived, and the community account 'leanprover-community' carries the project on. Also: * remove tests from build * add 'test' target Notes: svn path=/head/; revision=542813
*	math/lean: Update 3.4.1 -> 3.4.2	Yuri Victorovich	2019-01-23	1	-6/+0
\| \| \| \| \| \| \|	Reported by: portscout Notes: svn path=/head/; revision=491029
*	New port: math/lean: Theorem prover	Yuri Victorovich	2018-07-22	1	-0/+832
	Notes: svn path=/head/; revision=475085