copilot-theorem-3.17: dependencies

Dependencies for copilot-theorem-3.17

library	base (>=4.9 && <5) bimap (>=0.3 && <0.4 \|\| >=0.5 && <0.6) bv-sized (>=1.0.2 && <1.1) containers (>=0.4 && <0.7) copilot-core (>=3.17 && <3.18) copilot-prettyprinter (>=3.17 && <3.18) data-default (>=0.7 && <0.8) directory (>=1.3 && <1.4) libBF (>=0.6.2 && <0.7) mtl (>=2.0 && <2.4) panic (>=0.4.0 && <0.5) parameterized-utils (>=2.1.1 && <2.2) parsec (>=2.0 && <3.2) pretty (>=1.0 && <1.2) process (>=1.6 && <1.7) random (>=1.1 && <1.3) transformers (>=0.5 && <0.7) what4 (>=1.3 && <1.6) xml (>=1.3 && <1.4)

library

base (>=4.9 && <5)
bimap (>=0.3 && <0.4 || >=0.5 && <0.6)
bv-sized (>=1.0.2 && <1.1)
containers (>=0.4 && <0.7)
copilot-core (>=3.17 && <3.18)
copilot-prettyprinter (>=3.17 && <3.18)
data-default (>=0.7 && <0.8)
directory (>=1.3 && <1.4)
libBF (>=0.6.2 && <0.7)
mtl (>=2.0 && <2.4)
panic (>=0.4.0 && <0.5)
parameterized-utils (>=2.1.1 && <2.2)
parsec (>=2.0 && <3.2)
pretty (>=1.0 && <1.2)
process (>=1.6 && <1.7)
random (>=1.1 && <1.3)
transformers (>=0.5 && <0.7)
what4 (>=1.3 && <1.6)
xml (>=1.3 && <1.4)