math/coq@devel_nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-04 01:47 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-04 01:36 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-04 01:32 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-04 01:29 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-04 01:26 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-04 01:24 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-04 01:20 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-04 01:18 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-04 01:18 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-04 01:15 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-03 23:33 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-03 16:24 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-03 11:24 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132arm64-quarterly |
fetch |
2024-04-03 08:25 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-03 04:04 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132arm64-quarterly |
fetch |
2024-04-03 00:12 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-02 21:22 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132arm64-quarterly |
fetch |
2024-04-02 17:56 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-02 13:48 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-02 06:25 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132arm64-quarterly |
fetch |
2024-04-02 02:56 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-02 01:39 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-02 01:33 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-02 01:28 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-02 01:20 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-02 01:18 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-01 23:58 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132arm64-quarterly |
fetch |
2024-04-01 20:20 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-01 18:59 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-01 14:51 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-01 10:24 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-01 06:46 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-01 06:15 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-01 01:00 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-01 00:35 |
log
report
port detail
FreshPorts
|
editors/tamago@devel_nox
|
[email protected] |
140amd64-default |
build |
2024-03-31 23:09 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132i386-quarterly |
fetch |
2024-03-31 21:41 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132i386-quarterly |
fetch |
2024-03-31 18:11 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-03-30 18:45 |
log
report
port detail
FreshPorts
|
editors/tamago@devel_full
|
[email protected] |
140amd64-default |
build |
2024-03-30 08:14 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-03-29 03:33 |
log
report
port detail
FreshPorts
|
editors/tamago@devel_nox
|
[email protected] |
132i386-default |
build |
2024-03-28 11:08 |
log
report
port detail
FreshPorts
|
editors/tamago@devel_nox
|
[email protected] |
main-i386-default |
build |
2024-03-28 09:17 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-03-28 02:02 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132i386-quarterly |
fetch |
2024-03-28 01:57 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-03-28 01:55 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-03-28 01:51 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-03-28 01:49 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-03-28 01:40 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132i386-quarterly |
fetch |
2024-03-28 01:35 |
log
report
port detail
FreshPorts
|