Ubuntu
aac-tactics package

armhf build of aac-tactics 0.2.pl2-7 in ubuntu raring RELEASE

0.2.pl2-7
armhf build

created on 2012-11-06

Build status

Dependency wait on cetan

Missing build dependencies: coq
Started on 2013-04-23
Finished on 2013-04-23 (took 2 minutes, 50.8 seconds)
buildlog (1.8 KiB)

Build details

Source:: aac-tactics - 0.2.pl2-7

Archive:: Primary Archive for Ubuntu

Series:: Raring

Architecture:: armhf

Pocket:: Release

Component:: universe