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
|