Dependencies for copilot-3.1

Libraries

copilot

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

Executables

addmult

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

array

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

cast

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

clock

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

counter

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

engine

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

heater

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

voting

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