|
s390x build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started
on
z13-018
and finished
taking
34 minutes
—
see the log
|
|
s390x build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started
on
z13-018
and finished
taking
34 minutes
—
see the log
|
|
ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
|
|
ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started
on
lgw01-18
and finished
taking
15 minutes
—
see the log
|
|
i386 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started
on
lgw01-18
and finished
taking
15 minutes
—
see the log
|
|
armhf build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
|
|
armhf build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started
on
lcy01-04
and finished
taking
40 minutes
—
see the log
|
|
amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started
on
lcy01-04
and finished
taking
40 minutes
—
see the log
|
|
s390x build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started
on
z13-014
and finished
taking
35 minutes
—
see the log
|
|
ppc64el build of agda 2.5.2-2 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started
on
lcy01-36
and finished
taking
15 minutes
—
see the log
|
|
armhf build of agda 2.5.2-2 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.2-2 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started
on
lcy01-12
and finished
taking
24 minutes
—
see the log
|
|
s390x build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started
on
z13-017
and finished
taking
35 minutes
—
see the log
|
|
ppc64el build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started
on
lgw01-21
and finished
taking
18 minutes
—
see the log
|
|
armhf build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started
on
lcy01-35
and finished
taking
40 minutes
—
see the log
|
|
s390x build of agda 2.5.2-1 in ubuntu artful PROPOSED
|
|
ppc64el build of agda 2.5.2-1 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.2-1 in ubuntu artful PROPOSED
|
|
armhf build of agda 2.5.2-1 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.2-1 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.2-1 in ubuntu artful PROPOSED
|
|
s390x build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started
on
z13-025
and finished
taking
2 minutes
—
see the log
|
|
ppc64el build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started
on
lcy01-20
and finished
taking
2 minutes
—
see the log
|
|
armhf build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started
on
lgw01-42
and finished
taking
2 minutes
—
see the log
|
|
s390x build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started
on
z13-014
and finished
taking
36 minutes
—
see the log
|
|
s390x build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started
on
z13-014
and finished
taking
36 minutes
—
see the log
|
|
ppc64el build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
|
|
ppc64el build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started
on
lgw01-32
and finished
taking
19 minutes
—
see the log
|
|
i386 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started
on
lgw01-32
and finished
taking
19 minutes
—
see the log
|
|
armhf build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
|
|
armhf build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started
on
lgw01-56
and finished
taking
43 minutes
—
see the log
|
|
amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started
on
lgw01-56
and finished
taking
43 minutes
—
see the log
|
|
s390x build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started
on
z13-018
and finished
taking
36 minutes
—
see the log
|
|
ppc64el build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started
on
lgw01-11
and finished
taking
18 minutes
—
see the log
|
|
armhf build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started
on
lgw01-55
and finished
taking
32 minutes
—
see the log
|
|
s390x build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started
on
z13-018
and finished
taking
1 minute
—
see the log
|
|
ppc64el build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
|
|
i386 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started
on
lgw01-31
and finished
taking
2 minutes
—
see the log
|
|
armhf build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
|
|
arm64 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
|
|
amd64 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started
on
lcy01-10
and finished
taking
1 minute
—
see the log
|
|
s390x build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started
on
z13-014
and finished
taking
34 minutes
—
see the log
|
|
ppc64el build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
|
|
powerpc build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
|
|
i386 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started
on
lcy01-32
and finished
taking
18 minutes
—
see the log
|
|
armhf build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
|
|
arm64 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
|
|
amd64 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started
on
lcy01-31
and finished
taking
32 minutes
—
see the log
|