goblint.1.0.0

mseri · web-flow · commit 0b270a6367db · 2022-08-17T10:32:07.000+02:00
diff --git a/packages/goblint/goblint.1.0.0/opam b/packages/goblint/goblint.1.0.0/opam
@@ -1,5 +1,12 @@
 opam-version: "2.0"
 maintainer: "Ralf Vogler <ralf.vogler@gmail.com>"
+authors: [
+  "Vesal Vojdani"
+  "Kalmer Apinis"
+  "Ralf Vogler"
+  "Michael Schwarz"
+  "Julian Erhard"
+]
 license: "MIT"
 homepage: "https://github.com/goblint/analyzer"
 bug-reports: "https://github.com/goblint/analyzer/issues"
