Dependencies for mios-1.5.4

library
mios-1.5.4
cnf-stat
mios-mc
mc-dump2csv
  • base (>=4.10 && <5)
  • bytestring (>=0.10)
  • mios
  • if !(flag(multiconflict) && flag(utils))
    • buildable: False
mc-averagecsv
  • base (>=4.10 && <5)
  • bytestring (>=0.10)
  • mios
  • if !(flag(multiconflict) && flag(utils))
    • buildable: False
mc-summary
  • base (>=4.10 && <5)
  • bytestring (>=0.10)
  • mios
  • if !(flag(multiconflict) && flag(utils))
    • buildable: False
mc-stat2csv
  • base (>=4.10 && <5)
  • bytestring (>=0.10)
  • mios
  • if !(flag(multiconflict) && flag(utils))
    • buildable: False
mc-pickup
  • base (>=4.10 && <5)
  • bytestring (>=0.10)
  • mios
  • if !(flag(multiconflict) && flag(utils))
    • buildable: False
mc-numbers
  • base (>=4.10 && <5)
  • bytestring (>=0.10)
  • mios
  • if !(flag(multiconflict) && flag(utils))
    • buildable: False

Flags

Automatic Flags
NameDescriptionDefault
llvm

Compile with llvm

Disabled
multiconflict

Build tools in MultiConflict

Disabled
utils

Build misc utilities for developer

Disabled

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