Ubuntu
agda package

  1. Bug #1861066
  2. Comment #1

Comment 1 for bug 1861066

Revision history for this message
Launchpad Janitor (janitor) wrote :

Status changed to 'Confirmed' because the bug affects multiple users.