Port detail:


Port: math/lean
Maintainer: [email protected]
URLs: FreshPorts

Fallout List

port version build environment category date urls
math/lean 3.51.1 main-powerpc-default build 2024-03-05 16:30 log report build queue
math/lean 3.51.1 main-powerpc64-default build 2024-02-28 05:51 log report build queue
math/lean 3.51.1 140releng-powerpc-quarterly build 2024-02-21 02:55 log report build queue
math/lean 3.51.1 140releng-powerpc64-quarterly build 2024-02-16 23:29 log report build queue
math/lean 3.51.1 132powerpc64-quarterly build 2024-02-07 08:29 log report build queue
math/lean 3.51.1 main-powerpc-default build 2024-01-31 13:08 log report build queue
math/lean 3.51.1 main-powerpc64-default build 2024-01-25 12:08 log report build queue
math/lean 3.51.1 140releng-powerpc-quarterly build 2024-01-18 21:59 log report build queue
math/lean 3.51.1 140releng-powerpc64-quarterly build 2024-01-14 09:33 log report build queue
math/lean 3.51.1 132powerpc64-quarterly build 2024-01-07 01:46 log report build queue
math/lean 3.51.1 140releng-powerpc-quarterly build 2023-12-04 15:54 log report build queue
math/lean 3.51.1 140releng-powerpc64-quarterly build 2023-11-30 03:15 log report build queue
math/lean 3.51.1 132powerpc64-quarterly build 2023-11-20 05:53 log report build queue