Tarballs for semirings

The following versions of semirings exist: