ffs opam syntax

Signed-off-by: Sacha Ayoun <[email protected]>
GillianPlatform · Apr 24, 2024 · 537b11c · 537b11c
1 parent 278b3b2
commit 537b11c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gillian.opam b/gillian.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
-authors: "Sacha-Élie Ayoun,Nat Karmios,Petar Maksimović,José Fragoso Santos"
-maintainer: "GillianPlatform"
+authors: "GillianPlatform Team"
+maintainer: "GillianPlatform Team"
 name: "gillian"
 synopsis: "A parametric compositional symbolic execution for Correctness and Incorrectness"
 license: "BSD-3-Clause"