Ubuntu
agda package

Builds for agda in Ubuntu Raring

Raring (13.04)
Builds

	powerpc build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on sagari (powerpc) and finished on 2013-04-10 taking 20 minutes — see the log
	powerpc build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on sagari (powerpc) and finished on 2013-04-10 taking 20 minutes — see the log
	i386 build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on akateko (i386/amd64) and finished on 2013-04-10 taking 20 minutes — see the log
	i386 build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on akateko (i386/amd64) and finished on 2013-04-10 taking 20 minutes — see the log
	armhf build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on dactyl (panda ES) and finished on 2013-04-10 taking 2 hours 30 minutes — see the log
	armhf build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on dactyl (panda ES) and finished on 2013-04-10 taking 2 hours 30 minutes — see the log
	amd64 build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on batsu (i386/amd64) and finished on 2013-04-10 taking 14 minutes — see the log
	amd64 build of agda 2.3.2-1 in ubuntu raring PROPOSED Build started on 2013-04-10 on batsu (i386/amd64) and finished on 2013-04-10 taking 14 minutes — see the log
	powerpc build of agda 2.3.0.1-2build1 in ubuntu quantal RELEASE Build started on 2012-08-27 on ross (powerpc) and finished on 2012-08-27 taking 17 minutes — see the log
	i386 build of agda 2.3.0.1-2build1 in ubuntu quantal RELEASE Build started on 2012-08-27 on roseapple (i386/amd64) and finished on 2012-08-27 taking 6 minutes — see the log
	armhf build of agda 2.3.0.1-2build1 in ubuntu quantal RELEASE Build started on 2012-08-27 on meissa (armhf panda) and finished on 2012-08-27 taking 2 hours — see the log
	armel build of agda 2.3.0.1-2build1 in ubuntu quantal RELEASE Build started on 2012-08-27 on nihal (arm panda) and finished on 2012-08-27 taking 1 hour 40 minutes — see the log
	amd64 build of agda 2.3.0.1-2build1 in ubuntu quantal RELEASE Build started on 2012-08-27 on batsu (i386/amd64) and finished on 2012-08-27 taking 9 minutes — see the log