stein-watkins-ecdb/0000755000175000017500000000000010333601036012712 5ustar waswasstein-watkins-ecdb/stein-watkins-ecdb0000777000175000017500000000000010333601023020623 2../compressedustar waswasstein-watkins-ecdb/spkg-install0000755000175000017500000000006010333601032015240 0ustar waswas#!/bin/sh mv -rv stein-watkins-ecdb $SAGE_DATA/