Upgrade Coq
Momentary hack to git-annex to allow it to build
Changes for Hakyll so that it can build
Apply patch for Pango on Yosemite
verasco: new expression