[mfun] add MK as co-author

michalkonecny · Jul 14, 2022 · 372ade2 · 372ade2
1 parent 7db1c8b
commit 372ade2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/aern2-mfun/package.yaml b/aern2-mfun/package.yaml
@@ -2,9 +2,9 @@ name:                aern2-mfun
 version:             0.2.9.0
 github:              "michalkonecny/aern2"
 license:             BSD3
-author:              "Eike Neumann, Junaid Rasheed"
+author:              "Eike Neumann, Junaid Rasheed, Michal Konecny"
 maintainer:          "mikkonecny@gmail.com"
-copyright:           "2019-2022 Eike Neumann, Junaid Rasheed"
+copyright:           "2019-2022 Eike Neumann, Junaid Rasheed, Michal Konecny"
 
 # extra-source-files:
 # - README.md