#!/bin/sh

set -eux

#sudo brew reinstall gmp

exit 0