echo "New rev: $1"
echo "New SHA256: $2"
sed -i "s/rev = \".*\"/rev = \"$1\"/;s/sha256 = \".*\"/sha256 = \"$2\"/" default.nix