Ubuntu

armhf build of agda 2.4.0.2-2build1 in ubuntu vivid RELEASE

  1. Copy archive test-rebuild-20150402 for Matthias Klose
  2. armhf build of agda 2.4.0.2-2build1
created

Build status

[MANUALDEPWAIT] Dependency wait on kishi19 (highbank)

  • Missing build dependencies: libghc-geniplate-dev
  • Started
  • Finished (took 1 minute, 18.7 seconds)
  • buildlog (2.8 KiB)

Build details

Source:
agda - 2.4.0.2-2build1
Archive:
Copy archive test-rebuild-20150402 for Matthias Klose
Series:
Vivid
Architecture:
armhf
Pocket:
Release
Component:
universe