Ubuntu
agda package

armhf build of agda 2.6.3-1 in ubuntu noble PROPOSED

  1. 2.6.3-1
  2. armhf build
created

Build status

[MANUALDEPWAIT] Dependency wait on bos02-arm64-024

  • Missing build dependencies: libghc-vector-hashtables-dev (>= 0.1), libghc-vector-hashtables-dev (<< 0.2), libghc-vector-hashtables-prof
  • Started
  • Finished (took 4 minutes, 47.5 seconds)
  • buildlog (4.1 KiB)

Build details

Source:
agda - 2.6.3-1
Archive:
Primary Archive for Ubuntu
Series:
Noble
Architecture:
armhf
Pocket:
Proposed
Component:
universe