sage-download-upstream

#!/usr/bin/env bash

for pkg in $SAGE_ROOT/build/pkgs/*
do
    if [ -d $pkg ]; then
        sage-spkg -f -d `basename $pkg`
    fi
done