forked from ucsd-progsys/liquidhaskell
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathliquid-parallel.cabal
More file actions
25 lines (23 loc) · 1011 Bytes
/
Copy pathliquid-parallel.cabal
File metadata and controls
25 lines (23 loc) · 1011 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
cabal-version: 1.24
name: liquid-parallel
version: 3.2.2.0.3
synopsis: LiquidHaskell specs for the parallel package
description: LiquidHaskell specs for the parallel package.
license: BSD3
license-file: LICENSE
copyright: 2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.
author: Ranjit Jhala, Niki Vazou, Eric Seidel
maintainer: Ranjit Jhala <jhala@cs.ucsd.edu>
category: Language
homepage: https://github.com/ucsd-progsys/liquidhaskell
build-type: Custom
custom-setup
setup-depends: Cabal<4, base<5, liquidhaskell-boot
library
exposed-modules: Control.Parallel.Strategies_LHAssumptions
hs-source-dirs: src
build-depends: base < 5
, parallel >= 3.2.2.0 && < 3.3
, liquidhaskell >= 0.9.2.8
default-language: Haskell2010
default-extensions: PackageImports