Dependencies for aern2-mp-0.1.2.0
library |
|
---|
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
mpfr | Use a MPFR backend (default); Integer backend is planned | Enabled |
mpfrrounded | Use rounded (Numeric.RoundedSimple) as MPFR backend (not default) | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info