• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for cpsa-4.4.2

Executables

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