Ubuntu
agda package

armhf build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED

  1. 2.3.2-1build1
  2. armhf build
created

Build status

[MANUALDEPWAIT] Dependency wait on bukavac

  • Missing build dependencies: libghc-geniplate-dev
  • Started
  • Finished (took 3 minutes, 15.4 seconds)
  • buildlog (3.7 KiB)

Build details

Source:
agda - 2.3.2-1build1
Archive:
Primary Archive for Ubuntu
Series:
Saucy
Architecture:
armhf
Pocket:
Proposed
Component:
universe