@hackage cpsa dependencies

24 results

executable:cpsa4 (3 dependencies)

@haskell/parallel

Parallel programming library

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <5

executable:cpsa42latex (1 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

executable:cpsa4coq (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <5

executable:cpsa4diff (1 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

executable:cpsa4goalsat (1 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

executable:cpsa4graph (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=4.13

executable:cpsa4init (2 dependencies)

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

executable:cpsa4json (1 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

executable:cpsa4pp (1 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

executable:cpsa4prot (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=3 && <5

executable:cpsa4rolecoq (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <5

executable:cpsa4roletran (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <5

executable:cpsa4sas (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <5

executable:cpsa4shapes (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause>=4.13