Port: | math/lean4 |
---|---|
Version: | 4.5.0.r1_1 |
Maintainer: | [email protected] |
Last committer: | |
Build environment: | 140i386-default |
Category: | stage |
Flavor: | |
Report date: | Jan. 19, 2024, 7:51 p.m. |
Log URL: | https://pkg-status.freebsd.org/beefy11/data/140i386-default/aac5a117b85a/logs/lean4-4.5.0.r1_1.log |
Build URL: | https://pkg-status.freebsd.org/beefy11/build.html?mastername=140i386-default&build=aac5a117b85a |
Report URL: | https://lists.freebsd.org/archives/freebsd-pkg-fallout/2024-January/552214.html |
More info: | See the port detail page for the fallout history for this port. |