remove Semiring repo