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 9a5ab34..29e345b 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 : GPL-3
+License : GPLv3
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 c5cb697..2d91ce8 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 : GPL-3
+License : GPLv3
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 4de2252..a63d687 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 : BSD-3
+License : GPLv3
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 0eabf56..90c5dec 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 : BSD-3
+License : GPLv3
Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX