Ubuntu
agda package

  1. Bug #1478802
  2. Comment #0

Comment 0 for bug 1478802

Revision history for this message
dino99 (9d9) wrote :

Build status
[MANUALDEPWAIT] Dependency wait on lgw01-44

Missing build dependencies: cpphs (< 1.19)

Wily already has an upper version: 1.19-1 so the agda 2.4.2.2-3built1 fails