Dependencies for AERN-RnToRm-0.4

Libraries

AERN-RnToRm

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

Flags

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