copilot-3.1: dependencies

Dependencies for copilot-3.1

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