copilot-3.2: dependencies

Dependencies for copilot-3.2

library	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)
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)