ports/math/lean, branch 2021Q1 FreeBSD ports tree https://cgit-dev.freebsd.org/ports/atom?h=2021Q1 2020-10-31T07:27:06Z math/lean: Update 3.22.0 -> 3.23.0 2020-10-31T07:27:06Z Yuri Victorovich yuri@FreeBSD.org 2020-10-31T07:27:06Z urn:sha1:1c195c42e2496a9f9e383b2e8f30ab53347f083e Reported by: portscout math/lean: Update 3.21.0 -> 3.22.0 2020-10-28T00:16:29Z Yuri Victorovich yuri@FreeBSD.org 2020-10-28T00:16:29Z urn:sha1:2a64ada8013a21c165351cea309bca7ef8244e59 Reported by: portscout math/lean: Update 3.20.0 -> 3.21.0 2020-10-12T23:46:14Z Yuri Victorovich yuri@FreeBSD.org 2020-10-12T23:46:14Z urn:sha1:c44e93ff8213126d6b98421467f4b18d66722e43 Reported by: portscout math/lean: Update 3.19.0 -> 3.20.0 2020-09-10T18:14:45Z Yuri Victorovich yuri@FreeBSD.org 2020-09-10T18:14:45Z urn:sha1:ed95f758928ca0727996e23eb3989ea87ff99441 Reported by: portscout math/lean: Update 3.18.4 -> 3.19.0 2020-08-27T19:00:09Z Yuri Victorovich yuri@FreeBSD.org 2020-08-27T19:00:09Z urn:sha1:3137a9b4240e74864470f6b0da14e16465e6432a Reported by: portscout math/lean: Update 3.18.3 -> 3.18.4 2020-08-03T03:21:10Z Yuri Victorovich yuri@FreeBSD.org 2020-08-03T03:21:10Z urn:sha1:a352809df0d62b3ad428c52c634f66974a01ba9d Reported by: portscout math/lean: Update 3.18.2 -> 3.18.3 2020-07-30T15:50:58Z Yuri Victorovich yuri@FreeBSD.org 2020-07-30T15:50:58Z urn:sha1:b1a1f0940e31395f209464cf3b9cb0f26894f35a Reported by: portscout math/lean: Update 3.17.1 -> 3.18.2 2020-07-30T00:55:24Z Yuri Victorovich yuri@FreeBSD.org 2020-07-30T00:55:24Z urn:sha1:59da5ce56938456008a09e4d9b78996adaf2a66e Reported by: portscout math/lean: Update 3.4.2 -> 3.17.1 2020-07-21T22:40:25Z Yuri Victorovich yuri@FreeBSD.org 2020-07-21T22:40:25Z urn:sha1:7943f0f0a2f4073d2cd1bf78af820bde3a6d0c95 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 Bump PORTREVISION for ports depending on the canonical version of GCC 2019-07-26T20:46:53Z Gerald Pfeifer gerald@FreeBSD.org 2019-07-26T20:46:53Z urn:sha1:ea8c8ec7da96df12146a2cc428077258141791cf as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3 to GCC 9.1 under most circumstances now after revision 507371. This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang, c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib plus, everything INDEX-11 shows with a dependency on lang/gcc9 now. PR: 238330