ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	math/lean: Update 3.25.0 -> 3.26.0	Yuri Victorovich	2021-01-28	2	-4/+4
*	math/lean: Update 3.24.0 -> 3.25.0	Yuri Victorovich	2021-01-23	2	-4/+4
*	math/lean: Update 3.23.0 -> 3.24.0	Yuri Victorovich	2021-01-05	2	-5/+4
*	math/lean: Update 3.22.0 -> 3.23.0	Yuri Victorovich	2020-10-31	2	-4/+4
*	math/lean: Update 3.21.0 -> 3.22.0	Yuri Victorovich	2020-10-28	3	-5/+4
*	math/lean: Update 3.20.0 -> 3.21.0	Yuri Victorovich	2020-10-12	2	-4/+4
*	math/lean: Update 3.19.0 -> 3.20.0	Yuri Victorovich	2020-09-10	3	-5/+6
*	math/lean: Update 3.18.4 -> 3.19.0	Yuri Victorovich	2020-08-27	2	-4/+4
*	math/lean: Update 3.18.3 -> 3.18.4	Yuri Victorovich	2020-08-03	2	-4/+4
*	math/lean: Update 3.18.2 -> 3.18.3	Yuri Victorovich	2020-07-30	2	-4/+4
*	math/lean: Update 3.17.1 -> 3.18.2	Yuri Victorovich	2020-07-30	2	-5/+4
*	math/lean: Update 3.4.2 -> 3.17.1	Yuri Victorovich	2020-07-21	5	-298/+81
*	Bump PORTREVISION for ports depending on the canonical version of GCC	Gerald Pfeifer	2019-07-26	1	-0/+1
*	Fix build on gcc-based architectures:	Mark Linimon	2019-03-12	1	-1/+1
*	math/lean: Update 3.4.1 -> 3.4.2	Yuri Victorovich	2019-01-23	3	-11/+5
*	Change cmake default behaviour to outsource.	Tobias C. Berner	2018-12-25	1	-1/+1
*	math/lean: Add the PORTSCOUT line.	Yuri Victorovich	2018-07-25	1	-0/+2
*	math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)	Yuri Victorovich	2018-07-23	2	-6/+5
*	New port: math/lean: Theorem prover	Yuri Victorovich	2018-07-22	6	-0/+908