Excerpts from Edward Z. Yang's message of 2014-07-28 11:38:43 +0100: > You're right, I should add a line to the installed package > specification. We're already documented as far as Cabal is concerned. OK, this is done.