-
Notifications
You must be signed in to change notification settings - Fork 1
/
Lina.cabal
44 lines (42 loc) · 1.53 KB
/
Lina.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
33
34
35
36
37
38
39
40
41
42
43
44
-- Initial Lina.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: Lina
version: 0.0.0.1
synopsis: An EDSL for conducting threat analysis of secure systems using attack trees
-- description:
homepage: https://github.com/MonoidalAttackTrees
license: BSD3
license-file: LICENSE
author: Harley Eades
maintainer: [email protected]
-- copyright:
category: Language
build-type: Simple
extra-source-files:
cabal-version: >=1.10
library
exposed-modules:
Lina.Utils,
Lina.Error,
Lina.AttackTree,
Lina.AttackTree.Configuration,
Lina.Examples.ATM,
Lina.Examples.Simple,
Lina.Examples.Projection,
Lina.Examples.Specializations,
Lina.Maude.Module,
Lina.Maude.Causal
Lina.Maude.MATLL
-- other-modules:
other-extensions: GADTs, FlexibleInstances, UndecidableInstances
build-depends: base >=4.10 && <4.11,
mtl >=2.2 && <2.3,
maude >=0.6.1,
filepath >= 1.4.2,
text >=1.2 && <1.3,
parsec >=3.1 && <3.2,
semiring-simple >=0.2 && <0.3,
bimap >=0.3 && < 0.4,
containers >=0.5 && <0.6
hs-source-dirs: source
default-language: Haskell2010