pav 2011-06-05 19:15:19 UTC FreeBSD ports repository Modified files: math/hs-Agda-executable Makefile Log: - Mark BROKEN: bad dependency object Reported by: pointyhat Revision Changes Path 1.6 +2 -0 ports/math/hs-Agda-executable/Makefile