Version 4.7.4 is available upstream. Please consider updating! It seems that version 4.7.4 is available upstream, while the latest version in the Gentoo tree is 4.7.3. You think this warning is false? Read more about it here.
This package permits to compute with set-theoretic unions of residue
classes of Z and a few other rings. In particular it provides
methods for computing unions, intersections and differences of these
sets.