Moved to yakkety-proposed
coq (8.5-2) unstable; urgency=medium * patch: disable test 4429 (timeout too strict for slow architectures) -- Enrico Tassi <email address hidden> Thu, 28 Jan 2016 11:47:07 +0100