wget 'http://homes.cs.washington.edu/~jrw12/coq-8.5-build-local.tgz'
tar xf coq-8.5-build-local.tgz
export PATH="$PWD/coq-8.5/bin:$PATH"

wget 'http://homes.cs.washington.edu/~ztatlock/mathcomp.tgz'
tar xf mathcomp.tgz
export mathcomp_PATH="$PWD/mathcomp/mathcomp"

./build.sh

wget 'http://homes.cs.washington.edu/~jrw12/coq-8.5-build-local.tgz'
tar xf coq-8.5-build-local.tgz
export PATH=$PWD/coq-8.5/bin:$PATH

./build.sh

Revert "provide mathcomp dep for travix"
Revert "provide mathcomp dep for travix"

This reverts commit c126b6ca87699d92ac076b88857e2f9f60b336ac.
