goblint.1.0.0

Co-authored-by: Simmo Saan <[email protected]>

Author: mseri

packages/goblint/goblint.1.0.0/opam

@@ -1,5 +1,12 @@
 opam-version: "2.0"
 maintainer: "Ralf Vogler <[email protected]>"
+authors: [
+  "Vesal Vojdani"
+  "Kalmer Apinis"
+  "Martin D. Schwarz"
+  "Alexander Herz"
+  "Ralf Vogler"
+]
 license: "MIT"
 homepage: "https://github.com/goblint/analyzer"
 bug-reports: "https://github.com/goblint/analyzer/issues"