On 2015-10-22 09:45, Paul van der Walt wrote:
Hi Eric,On 2015-10-22 at 10:47, quoth ericbav...@openmailbox.org:With our conventions, the subject line should be just "gnu: Add Idris"Awww, no embellishments allowed *sniff*? :) Fixed though.
:)
Try adding "--allow-newer=vector" to #:configure-flags.I tried, this option does not exist.
Interesting. Thanks for trying, I honestly haven't used the flag before, but I saw it in the Cabal documentation, so thought I make the suggestion.
-- `~Eric
