Builds for agda-stdlib in Ubuntu Impish
| 1 → 1 of 1 result | First • Previous • Next • Last |
|
|
amd64 build of agda-stdlib 1.3-2 in ubuntu groovy PROPOSED
Build started
on
lgw01-amd64-040
and finished
taking
18 minutes
—
see the log
|
| 1 → 1 of 1 result | First • Previous • Next • Last |
