https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #6 from Jens Petersen <petersen at redhat.com> --- I see Debian has an "agda" meta-package that pulls in Agda-executable, Agda and the stdlib. -- You are receiving this mail because: You are on the CC list for the bug.