semiring-simple 1.0.0.1

2 Reverse deps Accepted versions
heyting-algebras >=1.0 && <1.2
tropical >=0.2