There are 19 entries in the current filter. Regular expressions are allowed for filtering.

Fallout List

port maintainer build environment category date urls
math/lean4 [email protected] 140releng-armv7-quarterly build 2024-04-26 21:12 log report port detail FreshPorts
math/lean4 [email protected] 140releng-armv7-default build 2024-04-24 11:33 log report port detail FreshPorts
math/lean4 [email protected] 132releng-armv7-quarterly build 2024-04-19 15:04 log report port detail FreshPorts
math/lean4 [email protected] 132releng-armv7-default build 2024-04-16 23:30 log report port detail FreshPorts
math/lean4 [email protected] 140releng-armv7-default build 2024-04-08 19:46 log report port detail FreshPorts
math/lean4 [email protected] 132releng-armv7-default build 2024-04-02 05:16 log report port detail FreshPorts
math/lean4 [email protected] 140releng-armv7-default build 2024-03-26 02:55 log report port detail FreshPorts
math/lean4 [email protected] 132releng-armv7-default build 2024-03-19 02:19 log report port detail FreshPorts
math/lean4 [email protected] 140releng-armv7-default build 2024-03-11 02:29 log report port detail FreshPorts
math/lean4 [email protected] main-powerpc-default build 2024-03-03 22:18 log report port detail FreshPorts
math/lean4 [email protected] 132releng-armv7-default build 2024-03-03 12:27 log report port detail FreshPorts
math/lean4 [email protected] main-powerpc64-default build 2024-02-25 08:03 log report port detail FreshPorts
math/lean4 [email protected] 140releng-armv7-default build 2024-02-24 01:49 log report port detail FreshPorts
math/lean4 [email protected] 132releng-armv7-default build 2024-02-17 13:33 log report port detail FreshPorts
math/lean4 [email protected] 140releng-armv7-default build 2024-02-10 02:36 log report port detail FreshPorts
math/lean4 [email protected] 132releng-armv7-default build 2024-02-02 17:11 log report port detail FreshPorts
math/lean4 [email protected] 140i386-default stage 2024-01-19 19:51 log report port detail FreshPorts
math/lean4 [email protected] main-i386-default stage 2024-01-18 15:16 log report port detail FreshPorts
math/lean4 [email protected] 132i386-default stage 2024-01-17 23:25 log report port detail FreshPorts