Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
3.51.1 07 Jun 2023 01:01:01
![commit hash: fc32440b3d180df532a7c893844ed6c2af22c12e commit hash: fc32440b3d180df532a7c893844ed6c2af22c12e](/images/git.png) ![commit hash: fc32440b3d180df532a7c893844ed6c2af22c12e commit hash: fc32440b3d180df532a7c893844ed6c2af22c12e](/images/codeberg.svg) ![commit hash: fc32440b3d180df532a7c893844ed6c2af22c12e commit hash: fc32440b3d180df532a7c893844ed6c2af22c12e](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
*/*: Remove TCMALLOC_DESC because it is now available in Mk |
3.51.1 26 May 2023 05:29:42
![commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994 commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994](/images/git.png) ![commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994 commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994](/images/codeberg.svg) ![commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994 commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.51.0 → 3.51.1
Reported by: portscout |
3.51.0 19 May 2023 07:54:17
![commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9 commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9](/images/git.png) ![commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9 commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9](/images/codeberg.svg) ![commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9 commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.50.3 → 3.51.0
Reported by: portscout |
3.50.3 09 May 2023 19:54:44
![commit hash: b23f1453d44c4affec34b06e8c8c1984617de286 commit hash: b23f1453d44c4affec34b06e8c8c1984617de286](/images/git.png) ![commit hash: b23f1453d44c4affec34b06e8c8c1984617de286 commit hash: b23f1453d44c4affec34b06e8c8c1984617de286](/images/codeberg.svg) ![commit hash: b23f1453d44c4affec34b06e8c8c1984617de286 commit hash: b23f1453d44c4affec34b06e8c8c1984617de286](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Piotr Kubaj (pkubaj) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: disable TCMALLOC on powerpc to fix SIGILL during build |
3.50.3 28 Dec 2022 04:01:50
![commit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588c commit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588c](/images/git.png) ![commit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588c commit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588c](/images/codeberg.svg) ![commit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588c commit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588c](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.50.2 -> 3.50.3
Reported by: portscout |
3.50.2 25 Dec 2022 01:22:57
![commit hash: 41538b01f403e73768823ae9d2a896daefab5a30 commit hash: 41538b01f403e73768823ae9d2a896daefab5a30](/images/git.png) ![commit hash: 41538b01f403e73768823ae9d2a896daefab5a30 commit hash: 41538b01f403e73768823ae9d2a896daefab5a30](/images/codeberg.svg) ![commit hash: 41538b01f403e73768823ae9d2a896daefab5a30 commit hash: 41538b01f403e73768823ae9d2a896daefab5a30](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.50.1 -> 3.50.2
Reported by: portscout |
3.50.1 23 Dec 2022 03:37:14
![commit hash: 01c9e72b4b5957735ae42b56015a1ea38988153f commit hash: 01c9e72b4b5957735ae42b56015a1ea38988153f](/images/git.png) ![commit hash: 01c9e72b4b5957735ae42b56015a1ea38988153f commit hash: 01c9e72b4b5957735ae42b56015a1ea38988153f](/images/codeberg.svg) ![commit hash: 01c9e72b4b5957735ae42b56015a1ea38988153f commit hash: 01c9e72b4b5957735ae42b56015a1ea38988153f](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.49.1 -> 3.50.1
Reported by: portscout |
3.49.1 20 Nov 2022 00:10:48
![commit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0d commit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0d](/images/git.png) ![commit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0d commit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0d](/images/codeberg.svg) ![commit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0d commit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0d](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.49.0 -> 3.49.1
Reported by: portscout |
3.49.0 14 Nov 2022 04:53:42
![commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392 commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392](/images/git.png) ![commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392 commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392](/images/codeberg.svg) ![commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392 commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.48.0 -> 3.49.0
Reported by: portscout |
3.48.0_1 02 Oct 2022 22:33:03
![commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599 commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599](/images/git.png) ![commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599 commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599](/images/codeberg.svg) ![commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599 commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Broken on aarch64
Reported by: fallout |
07 Sep 2022 21:58:51
![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/git.png) ![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/codeberg.svg) ![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Stefan Eßer (se) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
3.48.0_1 07 Sep 2022 21:10:59
![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/git.png) ![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/codeberg.svg) ![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Stefan Eßer (se) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
3.48.0_1 06 Sep 2022 16:06:07
![commit hash: 258e95b1faee70d25f552938ee948972deb83b74 commit hash: 258e95b1faee70d25f552938ee948972deb83b74](/images/git.png) ![commit hash: 258e95b1faee70d25f552938ee948972deb83b74 commit hash: 258e95b1faee70d25f552938ee948972deb83b74](/images/codeberg.svg) ![commit hash: 258e95b1faee70d25f552938ee948972deb83b74 commit hash: 258e95b1faee70d25f552938ee948972deb83b74](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Add to pkg-message |
3.48.0_1 05 Sep 2022 17:40:17
![commit hash: 2317424cb6092aa0430b738cd19199089dfb3bab commit hash: 2317424cb6092aa0430b738cd19199089dfb3bab](/images/git.png) ![commit hash: 2317424cb6092aa0430b738cd19199089dfb3bab commit hash: 2317424cb6092aa0430b738cd19199089dfb3bab](/images/codeberg.svg) ![commit hash: 2317424cb6092aa0430b738cd19199089dfb3bab commit hash: 2317424cb6092aa0430b738cd19199089dfb3bab](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Fix performance problem
Pre-compiled library files weren't installed due to some bug
which made lean very slow. |
3.48.0 01 Sep 2022 04:12:35
![commit hash: 82f91c596b3968e85de769e171453297c9c292cd commit hash: 82f91c596b3968e85de769e171453297c9c292cd](/images/git.png) ![commit hash: 82f91c596b3968e85de769e171453297c9c292cd commit hash: 82f91c596b3968e85de769e171453297c9c292cd](/images/codeberg.svg) ![commit hash: 82f91c596b3968e85de769e171453297c9c292cd commit hash: 82f91c596b3968e85de769e171453297c9c292cd](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS
Also fix minor non-FreeBSD compatible code. |
3.47.0 28 Aug 2022 21:53:19
![commit hash: 7037112d6504b85bbbe83c43e6031a0c85e353fa commit hash: 7037112d6504b85bbbe83c43e6031a0c85e353fa](/images/git.png) ![commit hash: 7037112d6504b85bbbe83c43e6031a0c85e353fa commit hash: 7037112d6504b85bbbe83c43e6031a0c85e353fa](/images/codeberg.svg) ![commit hash: 7037112d6504b85bbbe83c43e6031a0c85e353fa commit hash: 7037112d6504b85bbbe83c43e6031a0c85e353fa](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.46.0 -> 3.47.0
Reported by: portscout |
3.46.0 09 Aug 2022 22:57:59
![commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7 commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7](/images/git.png) ![commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7 commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7](/images/codeberg.svg) ![commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7 commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.45.0 -> 3.46.0
Reported by: portscout |
3.45.0 15 Jul 2022 03:42:13
![commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012 commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012](/images/git.png) ![commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012 commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012](/images/codeberg.svg) ![commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012 commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.44.1 -> 3.45.0
Reported by: portscout |
3.44.1 29 Jun 2022 05:25:07
![commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0 commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0](/images/git.png) ![commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0 commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0](/images/codeberg.svg) ![commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0 commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.44.0 -> 3.44.1
Reported by: portscout |
3.44.0 26 Jun 2022 02:22:57
![commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001 commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001](/images/git.png) ![commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001 commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001](/images/codeberg.svg) ![commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001 commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.43.0 -> 3.44.0
Reported by: portscout |
3.43.0 18 May 2022 20:51:36
![commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8 commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8](/images/git.png) ![commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8 commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8](/images/codeberg.svg) ![commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8 commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.42.1 -> 3.43.0
Reported by: portscout |
3.42.1 27 Mar 2022 03:19:38
![commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717 commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717](/images/git.png) ![commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717 commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717](/images/codeberg.svg) ![commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717 commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.42.0 -> 3.42.1
Reported by: portscout |
3.42.0 19 Mar 2022 23:29:22
![commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91 commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91](/images/git.png) ![commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91 commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91](/images/codeberg.svg) ![commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91 commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.41.0 -> 3.42.0
Reported by: portscout |
3.41.0 12 Mar 2022 20:23:27
![commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28 commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28](/images/git.png) ![commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28 commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28](/images/codeberg.svg) ![commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28 commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.40.0 -> 3.41.0
Reported by: portscout |
3.40.0 23 Feb 2022 17:02:06
![commit hash: fc196e1ee8221856d385b609b8be2009d6968b71 commit hash: fc196e1ee8221856d385b609b8be2009d6968b71](/images/git.png) ![commit hash: fc196e1ee8221856d385b609b8be2009d6968b71 commit hash: fc196e1ee8221856d385b609b8be2009d6968b71](/images/codeberg.svg) ![commit hash: fc196e1ee8221856d385b609b8be2009d6968b71 commit hash: fc196e1ee8221856d385b609b8be2009d6968b71](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.39.2 -> 3.40.0
Reported by: portscout |
3.39.2 18 Feb 2022 17:10:04
![commit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45b commit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45b](/images/git.png) ![commit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45b commit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45b](/images/codeberg.svg) ![commit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45b commit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45b](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.39.1 -> 3.39.2
Reported by: portscout |
3.39.1 09 Feb 2022 17:00:16
![commit hash: d47ab92634686c81c9078e39443017ae627993ad commit hash: d47ab92634686c81c9078e39443017ae627993ad](/images/git.png) ![commit hash: d47ab92634686c81c9078e39443017ae627993ad commit hash: d47ab92634686c81c9078e39443017ae627993ad](/images/codeberg.svg) ![commit hash: d47ab92634686c81c9078e39443017ae627993ad commit hash: d47ab92634686c81c9078e39443017ae627993ad](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.35.1 -> 3.39.1
Reported by: portscout |
3.35.1 13 Nov 2021 21:59:24
![commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1 commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1](/images/git.png) ![commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1 commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1](/images/codeberg.svg) ![commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1 commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.35.0 -> 3.35.1
Reported by: portscout |
3.35.0 31 Oct 2021 17:23:17
![commit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40db commit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40db](/images/git.png) ![commit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40db commit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40db](/images/codeberg.svg) ![commit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40db commit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40db](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.33.0 -> 3.35.0
Reported by: portscout |
3.33.0 18 Sep 2021 17:48:27
![commit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1a commit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1a](/images/git.png) ![commit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1a commit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1a](/images/codeberg.svg) ![commit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1a commit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1a](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.32.1 -> 3.33.0
Reported by: portscout |
3.32.1 15 Aug 2021 20:23:52
![commit hash: baa577bb92d578879a01f6e060840ac66355dcb3 commit hash: baa577bb92d578879a01f6e060840ac66355dcb3](/images/git.png) ![commit hash: baa577bb92d578879a01f6e060840ac66355dcb3 commit hash: baa577bb92d578879a01f6e060840ac66355dcb3](/images/codeberg.svg) ![commit hash: baa577bb92d578879a01f6e060840ac66355dcb3 commit hash: baa577bb92d578879a01f6e060840ac66355dcb3](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.32.0 -> 3.32.1
Reported by: portscout |
3.32.0 11 Aug 2021 08:43:44
![commit hash: fe78568326814a228dc447e37603d41bb5df48ae commit hash: fe78568326814a228dc447e37603d41bb5df48ae](/images/git.png) ![commit hash: fe78568326814a228dc447e37603d41bb5df48ae commit hash: fe78568326814a228dc447e37603d41bb5df48ae](/images/codeberg.svg) ![commit hash: fe78568326814a228dc447e37603d41bb5df48ae commit hash: fe78568326814a228dc447e37603d41bb5df48ae](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.31.0 -> 3.32.0
Reported by: portscout |
3.31.0 30 Jun 2021 17:47:12
![commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30 commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30](/images/git.png) ![commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30 commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30](/images/codeberg.svg) ![commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30 commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.30.0 -> 3.31.0
Reported by: portscout |
3.30.0 06 May 2021 17:59:22
![commit hash: 4d3a799af9823c88000956f2bae681a12789007d commit hash: 4d3a799af9823c88000956f2bae681a12789007d](/images/git.png) ![commit hash: 4d3a799af9823c88000956f2bae681a12789007d commit hash: 4d3a799af9823c88000956f2bae681a12789007d](/images/codeberg.svg) ![commit hash: 4d3a799af9823c88000956f2bae681a12789007d commit hash: 4d3a799af9823c88000956f2bae681a12789007d](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.29.0 -> 3.30.0
Reported by: portscout |
3.29.0 20 Apr 2021 20:47:42
![commit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31e commit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31e](/images/git.png) ![commit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31e commit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31e](/images/codeberg.svg) ![commit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31e commit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31e](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Yuri Victorovich (yuri) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.28.0 -> 3.29.0
Reported by: portscout |
3.28.0_1 07 Apr 2021 08:09:01
![commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c](/images/git.png) ![commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c](/images/codeberg.svg) ![commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Mathieu Arnold (mat) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
3.28.0_1 06 Apr 2021 14:31:07
![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/git.png) ![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/codeberg.svg) ![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Mathieu Arnold (mat) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove # $FreeBSD$ from Makefiles. |
3.28.0_1 28 Mar 2021 05:01:13
![Revision:569374 Revision:569374](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Add pkg-message with warning about /proc being required to be mounted
Reported by: BRANDON BOCANEGRA <kakuhen@g.ucla.edu> |
3.28.0 16 Mar 2021 17:14:39
![Revision:568590 Revision:568590](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.27.0 -> 3.28.0
Reported by: portscout |
3.27.0 26 Feb 2021 17:07:45
![Revision:566620 Revision:566620](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.26.0 -> 3.27.0
Reported by: portscout |
3.26.0 28 Jan 2021 22:41:15
![Revision:563162 Revision:563162](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.25.0 -> 3.26.0
Reported by: portscout |
3.25.0 23 Jan 2021 04:25:55
![Revision:562369 Revision:562369](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.24.0 -> 3.25.0
Reported by: portscout |
3.24.0 05 Jan 2021 22:09:23
![Revision:560437 Revision:560437](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.23.0 -> 3.24.0
Reported by: portscout |
3.23.0 31 Oct 2020 07:27:06
![Revision:553737 Revision:553737](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.22.0 -> 3.23.0
Reported by: portscout |
3.22.0 28 Oct 2020 00:16:29
![Revision:553515 Revision:553515](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.21.0 -> 3.22.0
Reported by: portscout |
3.21.0 12 Oct 2020 23:46:14
![Revision:552157 Revision:552157](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.20.0 -> 3.21.0
Reported by: portscout |
3.20.0 10 Sep 2020 18:14:45
![Revision:548214 Revision:548214](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.19.0 -> 3.20.0
Reported by: portscout |
3.19.0 27 Aug 2020 19:00:09
![Revision:546581 Revision:546581](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.18.4 -> 3.19.0
Reported by: portscout |
3.18.4 03 Aug 2020 03:21:10
![Revision:544017 Revision:544017](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.18.3 -> 3.18.4
Reported by: portscout |
3.18.3 30 Jul 2020 15:50:58
![Revision:543797 Revision:543797](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.18.2 -> 3.18.3
Reported by: portscout |
3.18.2 30 Jul 2020 00:55:24
![Revision:543698 Revision:543698](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.17.1 -> 3.18.2
Reported by: portscout |
3.17.1 21 Jul 2020 22:40:26
![Revision:542813 Revision:542813](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.4.2 -> 3.17.1
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 |
3.4.2_1 26 Jul 2019 20:46:57
![Revision:507372 Revision:507372](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
gerald ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Bump PORTREVISION for ports depending on the canonical version of GCC
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 |
3.4.2 12 Mar 2019 01:23:46
![Revision:495410 Revision:495410](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
linimon ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Fix build on gcc-based architectures:
LEAN requires g++ 4.9 or greater.
Approved by: portmgr (tier-2 blanket) |
3.4.2 23 Jan 2019 09:59:55
![Revision:491029 Revision:491029](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.4.1 -> 3.4.2
Reported by: portscout |
3.4.1 25 Dec 2018 20:25:40
![Revision:488341 Revision:488341](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
tcberner ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine |
3.4.1 25 Jul 2018 20:16:37
![Revision:475334 Revision:475334](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Add the PORTSCOUT line.
Avoid picking undesirable tags. |
3.4.1 23 Jul 2018 07:49:06
![Revision:475152 Revision:475152](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository) |
3.2.0.1147 22 Jul 2018 05:58:39
![Revision:475085 Revision:475085](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
yuri ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
New port: math/lean: Theorem prover |