Processing commands for [email protected]: > close 902827 2.6.4.3-1 Bug #902827 [src:agda] FTBFS: GHC OOM on armel/armhf Marked as fixed in versions agda/2.6.4.3-1. Bug #902827 [src:agda] FTBFS: GHC OOM on armel/armhf Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 902827: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902827 Debian Bug Tracking System Contact [email protected] with problems
