Directory listing for heyting-algebras-0.0.2.0 candidate source tarball

heyting-algebras-0.0.2.0/