Directory listing for setoid-0.1.0.0 candidate source tarball

setoid-0.1.0.0/tests/Data/