aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r--verifuzz.cabal7
1 files changed, 3 insertions, 4 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index f77ba38..81b71e3 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -7,15 +7,14 @@ description:
homepage: https://github.com/ymherklotz/VeriFuzz#readme
license: BSD3
license-file: LICENSE
-author: Yann Herklotz Grave
-maintainer: yann [at] yannherklotzgrave [dot] com
-copyright: 2018 Yann Herklotz Grave
+author: Yann Herklotz
+maintainer: yann [at] ymhg [dot] org
+copyright: 2018 Yann Herklotz
category: Web
build-type: Simple
cabal-version: >=1.10
extra-source-files: README.md
, data/*.v
- , examples/*.v
library
hs-source-dirs: src