Ubuntu
agda package

  1. Bug #1808783
  2. Comment #9

Comment 9 for bug 1808783

Revision history for this message
Steve Langasek (vorlon) wrote :

nack on doing an arch-specific removal to work around the fact that the arch: all build of the -doc package fails. This should be addressed with a sourceful upload to drop the -doc package (temporarily?) from the build.