-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathliquidhaskell-cabal.cabal
32 lines (29 loc) · 1.32 KB
/
liquidhaskell-cabal.cabal
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
26
27
28
29
30
31
32
name: liquidhaskell-cabal
version: 0.2.1.0
synopsis: Liquid Haskell integration for Cabal and Stack
description: Provides support for checking projects using Cabal
and/or Stack with LiquidHaskell.
Please see the
<https://github.com/spinda/liquidhaskell-cabal/blob/0.2.1.0/README.md README>
on GitHub for setup and usage instructions.
homepage: https://github.com/spinda/liquidhaskell-cabal#readme
bug-reports: https://github.com/spinda/liquidhaskell-cabal/issues
license: BSD3
license-file: LICENSE
author: Michael Smith
maintainer: Michael Smith <[email protected]>
copyright: 2016-2019 Michael Smith, 2017 Matt Chan, 2019 Ranjit Jhala
category: Development
build-type: Simple
cabal-version: >=1.10
library
hs-source-dirs: src
exposed-modules: LiquidHaskell.Cabal
build-depends: base >= 4.4 && < 5
, Cabal
, filepath >= 1.3 && <1.5
, directory
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/spinda/liquidhaskell-cabal