Fix package name in META file

impermeable · Jan 7, 2025 · 7946393 · 7946393
1 parent 188491a
commit 7946393
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/META.coq-waterproof b/src/META.coq-waterproof
@@ -1,4 +1,4 @@
-package "waterproof" (
+package "plugin" (
     directory = "."
     version = "2.2.0+dev"
     description = "Waterproof plugin"