AERN-RnToRm-0.4.1: dependencies

Dependencies for AERN-RnToRm-0.4.1

library	if flag(containers-in-base) AERN-Real (>=0.9.7) base (<3) binary (>=0.4) else AERN-Real (>=0.9.7) base (>=3) binary (>=0.4) containers

Automatic Flags

Name	Description	Default
containers-in-base		Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info