#!/bin/sh -e
set -x
/opt/steeldump/scripts/aux/fetch-url \
	z \
	http://weitz.de/files/ \
	flexi-streams.tar.gz \
	flexi-streams-0.5.7 \
	flexi-streams