Dependencies for cpsa-4.4.4
Executables
cpsa4
- base (>=4.13 && <5)
- containers
- parallel
cpsa4sas
- base (>=4.13 && <5)
- containers
cpsa4prot
- base (>=3 && <5)
- containers
cpsa4goalsat
cpsa4diff
cpsa4graph
- base (>=4.13)
- containers
cpsa4shapes
- base (>=4.13)
- containers
cpsa4pp
cpsa4json
cpsa4init
cpsa42latex
cpsa4roletran
- base (>=4.13 && <5)
- containers
cpsa4coq
- base (>=4.13 && <5)
- containers
cpsa4rolecoq
- base (>=4.13 && <5)
- containers
cpsa4debranch
cpsa4query
cpsa4prolog
cpsa4db
- base (>=4.13 && <5)
- containers