Dependencies for copilot-3.2

Libraries

copilot

base (>=4.9 && <5)
copilot-c99 (>=3.2 && <3.3)
copilot-core (>=3.2 && <3.3)
copilot-language (>=3.2 && <3.3)
copilot-libraries (>=3.2 && <3.3)
copilot-theorem (>=3.2 && <3.3)
directory (>=1.3 && <1.4)
filepath (>=1.4 && <1.5)
optparse-applicative (>=0.14 && <0.16)

Executables

addmult

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)

array

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)

cast

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)

clock

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)
copilot-libraries (>=3.2 && <3.3)

counter

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)

engine

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)

heater

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)
copilot-c99 (>=3.2 && <3.3)

voting

base (>=4.9 && <5)
copilot (>=3.2 && <3.3)