#!/bin/bash

version="$1"

wget https://github.com/daid/SeriousProton/archive/EE-${version}.tar.gz -O SeriousProton-${version}.tar.gz
wget https://github.com/daid/EmptyEpsilon/archive/EE-${version}.tar.gz -O EmptyEpsilon-${version}.tar.gz