@hackage g4ip-prover dependencies

2 results

executable:g4ip-prover (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <4.10

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.5 && <1.0