default_pre_build &&
verify_file 2 &&

# Hackage revision 3: not in the sdist tarball.
cp -v "$SOURCE_CACHE/$SOURCE2" "$SOURCE_DIRECTORY/these.cabal"