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.
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.