aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-03-30 13:39:43 +0000
committerYann Herklotz <git@ymhg.org>2019-03-30 13:39:43 +0000
commit11afcaa69e2c4c1142642683733debf7714b9e09 (patch)
tree84ddd7db8654439207ca03e343db6941881e1bcd /verifuzz.cabal
parent858615d4e4cb6cfda09425f9f05e3eb0769b1661 (diff)
downloadverismith-11afcaa69e2c4c1142642683733debf7714b9e09.tar.gz
verismith-11afcaa69e2c4c1142642683733debf7714b9e09.zip
Change license name
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