aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Circuit
diff options
context:
space:
mode:
Diffstat (limited to 'src/Verismith/Circuit')
-rw-r--r--src/Verismith/Circuit/Base.hs2
-rw-r--r--src/Verismith/Circuit/Gen.hs2
-rw-r--r--src/Verismith/Circuit/Internal.hs2
-rw-r--r--src/Verismith/Circuit/Random.hs2
4 files changed, 4 insertions, 4 deletions
diff --git a/src/Verismith/Circuit/Base.hs b/src/Verismith/Circuit/Base.hs
index 29e345b..9a5ab34 100644
--- a/src/Verismith/Circuit/Base.hs
+++ b/src/Verismith/Circuit/Base.hs
@@ -2,7 +2,7 @@
Module : Verismith.Circuit.Base
Description : Base types for the circuit module.
Copyright : (c) 2019, Yann Herklotz Grave
-License : GPLv3
+License : GPL-3
Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
diff --git a/src/Verismith/Circuit/Gen.hs b/src/Verismith/Circuit/Gen.hs
index 2d91ce8..c5cb697 100644
--- a/src/Verismith/Circuit/Gen.hs
+++ b/src/Verismith/Circuit/Gen.hs
@@ -2,7 +2,7 @@
Module : Verilog.Circuit.Gen
Description : Generate verilog from circuit.
Copyright : (c) 2019, Yann Herklotz Grave
-License : GPLv3
+License : GPL-3
Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
diff --git a/src/Verismith/Circuit/Internal.hs b/src/Verismith/Circuit/Internal.hs
index a63d687..f727630 100644
--- a/src/Verismith/Circuit/Internal.hs
+++ b/src/Verismith/Circuit/Internal.hs
@@ -2,7 +2,7 @@
Module : Verismith.Circuit.Internal
Description : Internal helpers for generation.
Copyright : (c) 2018-2019, Yann Herklotz
-License : GPLv3
+License : GPL-3
Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
diff --git a/src/Verismith/Circuit/Random.hs b/src/Verismith/Circuit/Random.hs
index 90c5dec..5389df8 100644
--- a/src/Verismith/Circuit/Random.hs
+++ b/src/Verismith/Circuit/Random.hs
@@ -2,7 +2,7 @@
Module : Verismith.Circuit.Random
Description : Random generation for DAG
Copyright : (c) 2018-2019, Yann Herklotz
-License : GPLv3
+License : GPL-3
Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX