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

Fallout List

port maintainer build environment category date urls
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-27 01:16 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-27 01:05 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-25 01:23 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-25 01:05 log report port detail FreshPorts
math/lean4-std [email protected] 140arm64-quarterly build 2024-04-23 21:29 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-23 01:22 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-23 01:05 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-21 01:17 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-21 01:04 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-20 01:21 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-20 01:05 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-18 12:24 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-18 01:05 log report port detail FreshPorts
math/lean4-std [email protected] 132arm64-quarterly build 2024-04-16 17:53 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-16 03:34 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-16 01:06 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-14 01:15 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-13 01:20 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-13 01:05 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-11 01:06 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-quarterly build 2024-04-10 23:56 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-quarterly build 2024-04-09 06:49 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-default build 2024-04-08 05:21 log report port detail FreshPorts
math/lean4-std [email protected] main-amd64-default build 2024-04-07 08:28 log report port detail FreshPorts
math/lean4-std [email protected] 140amd64-default build 2024-04-05 23:07 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-default build 2024-04-05 15:19 log report port detail FreshPorts
math/lean4-std [email protected] main-amd64-default build 2024-04-03 14:31 log report port detail FreshPorts
math/lean4-std [email protected] 132amd64-default build 2024-04-02 02:53 log report port detail FreshPorts
math/lean4-std [email protected] main-amd64-default build 2024-04-01 02:53 log report port detail FreshPorts
math/lean4-std [email protected] main-amd64-default build 2024-03-29 06:29 log report port detail FreshPorts
math/lean4-std [email protected] main-amd64-default build 2024-03-26 01:24 log report port detail FreshPorts
math/lean4-std [email protected] main-amd64-default build 2024-03-22 13:31 log report port detail FreshPorts
math/lean4-std [email protected] main-arm64-default build 2024-03-19 15:04 log report port detail FreshPorts
math/lean4-std [email protected] main-amd64-default build 2024-03-18 02:19 log report port detail FreshPorts
math/lean4-std [email protected] main-armv7-default build 2024-02-21 18:39 log report port detail FreshPorts
math/lean4-std [email protected] main-armv7-default build 2024-02-09 18:32 log report port detail FreshPorts
math/lean4-std [email protected] main-armv7-default build 2024-01-29 14:12 log report port detail FreshPorts