cpsa-4.4.3: dependencies | Hackage

Dependencies for cpsa-4.4.3

cpsa4	base (>=4.13 && <5) containers parallel
cpsa4sas	base (>=4.13 && <5) containers
cpsa4prot	base (>=3 && <5) containers
cpsa4goalsat	base
cpsa4diff	base
cpsa4graph	base (>=4.13) containers
cpsa4shapes	base (>=4.13) containers
cpsa4pp	base
cpsa4json	base
cpsa4init	base directory
cpsa42latex	base
cpsa4roletran	base (>=4.13 && <5) containers
cpsa4coq	base (>=4.13 && <5) containers
cpsa4rolecoq	base (>=4.13 && <5) containers
cpsa4debranch	base
cpsa4query	base containers