NixOS/nixpkgs — pull request #882 by errge (2013-08-28 19:35:57+00:00)
Title: Add platforms to coq, so it's built on Hydra

This is missing from the binary cache currently and that is very painful, because compilation takes ~40 mins.