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