Ubuntu
agda package

  1. Bug #1808783
  2. Comment #3

Comment 3 for bug 1808783

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

Removing packages from disco:
 elpa-agda2-mode 2.5.3-5build3 in disco armhf
 libghc-agda-dev 2.5.3-5build3 in disco armhf
 libghc-agda-doc 2.5.3-5build3 in disco armhf
Comment: ANAIS
3 packages successfully removed.