fixup

Kappa-Dev · Sep 9, 2024 · 1de451a · 1de451a
1 parent 3f310b6
commit 1de451a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/kappa-agents.opam b/kappa-agents.opam
@@ -2,7 +2,7 @@
 opam-version: "2.0"
 version: "4.1.3"
 synopsis:
-  "Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server."
+  "Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server"
 maintainer: [
   "Antoine Pouille <antoine.a.pouille@inria.fr>"
   "Jérôme Feret <jerome.feret@info.ens.psl.eu>"

diff --git a/kappa-binaries.opam b/kappa-binaries.opam
@@ -2,7 +2,7 @@
 opam-version: "2.0"
 version: "4.1.3"
 synopsis:
-  "Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools."
+  "Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools"
 maintainer: [
   "Antoine Pouille <antoine.a.pouille@inria.fr>"
   "Jérôme Feret <jerome.feret@info.ens.psl.eu>"

diff --git a/kappa-library.opam b/kappa-library.opam
@@ -2,7 +2,7 @@
 opam-version: "2.0"
 version: "4.1.3"
 synopsis:
-  "Public internals of the Kappa tool suite. Use this package to use kappa as a lib."
+  "Public internals of the Kappa tool suite. Use this package to use kappa as a lib"
 maintainer: [
   "Antoine Pouille <antoine.a.pouille@inria.fr>"
   "Jérôme Feret <jerome.feret@info.ens.psl.eu>"