cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-25 11:20 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-23 17:53 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-23 14:08 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-22 00:06 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-20 06:25 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-18 23:21 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-18 17:06 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-16 23:24 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-16 16:53 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-13 19:38 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-13 13:41 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-10 18:50 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-10 09:50 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
140arm64-quarterly |
fetch |
2024-04-09 11:29 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
140arm64-quarterly |
fetch |
2024-04-09 03:40 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
140arm64-quarterly |
fetch |
2024-04-08 21:20 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
140arm64-quarterly |
fetch |
2024-04-08 06:15 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
140arm64-quarterly |
fetch |
2024-04-07 23:53 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-amd64-default |
stage |
2024-04-07 04:48 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-07 01:36 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-07 01:32 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-07 01:26 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-07 01:23 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-07 01:21 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-07 01:20 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-07 01:19 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-07 01:18 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-07 01:17 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-07 01:16 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
140amd64-quarterly |
fetch |
2024-04-06 23:35 |
log
report
port detail
FreshPorts
|
cad/spice
|
[email protected] |
main-i386-default |
stage |
2024-04-06 20:06 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
140amd64-quarterly |
fetch |
2024-04-06 10:33 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-06 03:36 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-06 03:16 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-06 02:58 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-06 02:18 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-06 02:08 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-06 02:00 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-06 01:50 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-06 01:49 |
log
report
port detail
FreshPorts
|
math/coq@devel_full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-06 01:44 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-06 01:44 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-06 01:29 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-06 01:28 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-06 01:22 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132i386-quarterly |
fetch |
2024-04-06 01:22 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-04-06 01:19 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
140amd64-quarterly |
fetch |
2024-04-05 23:42 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
140amd64-quarterly |
fetch |
2024-04-04 18:10 |
log
report
port detail
FreshPorts
|
math/coq@devel_nox
|
[email protected] |
140i386-quarterly |
fetch |
2024-04-04 08:28 |
log
report
port detail
FreshPorts
|