Dependencies for numeric-domains-0.1.0.0

library