ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	math/lean: Update 3.28.0 -> 3.29.0	Yuri Victorovich	2021-04-20	1	-2/+1
*	One more small cleanup, forgotten yesterday.	Mathieu Arnold	2021-04-07	1	-1/+0
*	Remove # $FreeBSD$ from Makefiles.	Mathieu Arnold	2021-04-06	1	-1/+0
*	math/lean: Add pkg-message with warning about /proc being required to be mounted	Yuri Victorovich	2021-03-28	1	-0/+1
*	math/lean: Update 3.27.0 -> 3.28.0	Yuri Victorovich	2021-03-16	1	-1/+1
*	math/lean: Update 3.26.0 -> 3.27.0	Yuri Victorovich	2021-02-26	1	-1/+1
*	math/lean: Update 3.25.0 -> 3.26.0	Yuri Victorovich	2021-01-28	1	-1/+1
*	math/lean: Update 3.24.0 -> 3.25.0	Yuri Victorovich	2021-01-23	1	-1/+1
*	math/lean: Update 3.23.0 -> 3.24.0	Yuri Victorovich	2021-01-05	1	-2/+1
*	math/lean: Update 3.22.0 -> 3.23.0	Yuri Victorovich	2020-10-31	1	-1/+1
*	math/lean: Update 3.21.0 -> 3.22.0	Yuri Victorovich	2020-10-28	1	-1/+1
*	math/lean: Update 3.20.0 -> 3.21.0	Yuri Victorovich	2020-10-12	1	-1/+1
*	math/lean: Update 3.19.0 -> 3.20.0	Yuri Victorovich	2020-09-10	1	-1/+1
*	math/lean: Update 3.18.4 -> 3.19.0	Yuri Victorovich	2020-08-27	1	-1/+1
*	math/lean: Update 3.18.3 -> 3.18.4	Yuri Victorovich	2020-08-03	1	-1/+1
*	math/lean: Update 3.18.2 -> 3.18.3	Yuri Victorovich	2020-07-30	1	-1/+1
*	math/lean: Update 3.17.1 -> 3.18.2	Yuri Victorovich	2020-07-30	1	-2/+1
*	math/lean: Update 3.4.2 -> 3.17.1	Yuri Victorovich	2020-07-21	1	-4/+12
*	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	1	-2/+2
*	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	1	-3/+2
*	New port: math/lean: Theorem prover	Yuri Victorovich	2018-07-22	1	-0/+25