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
|
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
|
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
|
math/coq@canna
|
[email protected] |
132amd64-quarterly |
fetch |
2024-03-28 01:29 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132i386-quarterly |
fetch |
2024-03-28 01:28 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132amd64-quarterly |
fetch |
2024-03-28 01:25 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
140releng-armv7-default |
configure |
2024-03-27 13:35 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
140releng-armv7-default |
configure |
2024-03-27 09:27 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
140releng-armv7-default |
configure |
2024-03-26 13:08 |
log
report
port detail
FreshPorts
|
math/coq@full
|
[email protected] |
132releng-armv7-default |
configure |
2024-03-20 11:30 |
log
report
port detail
FreshPorts
|
math/coq@nox
|
[email protected] |
132releng-armv7-default |
configure |
2024-03-20 07:12 |
log
report
port detail
FreshPorts
|
math/coq@canna
|
[email protected] |
132releng-armv7-default |
configure |
2024-03-19 12:00 |
log
report
port detail
FreshPorts
|