semiring-simple 1.0.0.1

4 Reverse deps Accepted versions
hasklepias ==1.0.0.1
heyting-algebras >=1.0 && <1.2
tropical >=0.2
tropical-geometry >=1.0.0.1 && <1.1