copilot-3.15: dependencies

Dependencies for copilot-3.15

library	base (>=4.9 && <5) copilot-c99 (>=3.15 && <3.16) copilot-core (>=3.15 && <3.16) copilot-language (>=3.15 && <3.16) copilot-libraries (>=3.15 && <3.16) copilot-prettyprinter (>=3.15 && <3.16) copilot-theorem (>=3.15 && <3.16) directory (>=1.3 && <1.4) filepath (>=1.4 && <1.5) optparse-applicative (>=0.14 && <0.18)
what4-propositional	base copilot copilot-theorem if !flag(examples) buildable: False
what4-arithmetic	base copilot copilot-theorem if !flag(examples) buildable: False
what4-structs	base copilot copilot-theorem if !flag(examples) buildable: False
wcv	base (>=4.9 && <5) copilot copilot-core copilot-theorem if !flag(examples) buildable: False
addmult	base (>=4.9 && <5) copilot copilot-core copilot-theorem if !flag(examples) buildable: False
array	base (>=4.9 && <5) copilot if !flag(examples) buildable: False
cast	base (>=4.9 && <5) copilot if !flag(examples) buildable: False
clock	base (>=4.9 && <5) copilot copilot-core copilot-libraries copilot-theorem if !flag(examples) buildable: False
counter	base (>=4.9 && <5) copilot copilot-c99 if !flag(examples) buildable: False
engine	base (>=4.9 && <5) copilot if !flag(examples) buildable: False
heater	base (>=4.9 && <5) copilot copilot-c99 if !flag(examples) buildable: False
structs	base (>=4.9 && <5) copilot copilot-c99 if !flag(examples) buildable: False
voting	base (>=4.9 && <5) copilot if !flag(examples) buildable: False

Name	Description	Default
examples	Enable examples	Disabled

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