Remove math/hs-Agda-executable
math/hs-Agda: 2.3.0.1 --> 2.3.2
devel/hs-git-annex: 3.20130124 --> 3.20130207