packages feed

Agda-2.3.2.2: src/prototyping/mixfix/benchmarks/mixfix-benchmarks.cabal

name:            benchmarks
version:         0.0
cabal-version:   >= 1.8
build-type:      Simple
description:     Some benchmarks

executable mixfix-benchmarks
  hs-source-dirs:   .
  main-is:          Test.hs
  build-depends:    base >= 4.2 && < 4.7,
                    QuickCheck == 2.4.*,
                    mtl >= 2.0 && < 2.2,
                    fgl == 5.4.*,
                    containers >= 0.4 && < 0.6,
                    ghc-prim >= 0.2 && < 0.4,
                    incremental-parser == 0.2.*