Closed fingolfin closed 3 months ago
replace oscar@mathematik.uni-kl.de by the new email address as used in our main README
replace oscar@mathematik.uni-kl.de by the new email address as used in our main README