copilot-theorem-3.8: dependencies

Dependencies for copilot-theorem-3.8

library	ansi-terminal (>=0.8 && <0.10) base (>=4.9 && <5) bimap (>=0.3 && <0.4) bv-sized (>=1.0.2 && <1.1) containers (>=0.4 && <0.7) copilot-core (>=3.8 && <3.9) data-default (>=0.7 && <0.8) directory (>=1.3 && <1.4) filepath (>=1.4.2 && <1.5) libBF (>=0.6.2 && <0.7) mtl (>=2.0 && <2.3) 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.2) transformers (>=0.5 && <0.6) what4 (>=1.1 && <1.3) xml (>=1.3 && <1.4)

library

ansi-terminal (>=0.8 && <0.10)
base (>=4.9 && <5)
bimap (>=0.3 && <0.4)
bv-sized (>=1.0.2 && <1.1)
containers (>=0.4 && <0.7)
copilot-core (>=3.8 && <3.9)
data-default (>=0.7 && <0.8)
directory (>=1.3 && <1.4)
filepath (>=1.4.2 && <1.5)
libBF (>=0.6.2 && <0.7)
mtl (>=2.0 && <2.3)
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.2)
transformers (>=0.5 && <0.6)
what4 (>=1.1 && <1.3)
xml (>=1.3 && <1.4)