incr opam version

Kappa-Dev · May 2, 2019 · c1e7656 · c1e7656
1 parent 0dfc6c7
commit c1e7656
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/kappa-agents.opam b/kappa-agents.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 synopsis: "Backends for an interactive use of the Kappa tool suite"
-version: "4~dev"
+version: "4.1~dev"
 maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
 authors: [
   "Jean Krivine" "Jérôme Feret" "Pierre Boutillier"

diff --git a/kappa-binaries.opam b/kappa-binaries.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 synopsis: "Command line interfaces of the Kappa tool suite"
-version: "4~dev"
+version: "4.1~dev"
 maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
 authors: [
   "Jean Krivine" "Jérôme Feret" "Pierre Boutillier"

diff --git a/kappa-library.opam b/kappa-library.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "4~dev"
+version: "4.1~dev"
 synopsis: "Public internals of the Kappa tool suite"
 maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
 authors: [

diff --git a/kappa-server.opam b/kappa-server.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 synopsis:"HTTP server to query the Kappa tool suite"
-version: "4~dev"
+version: "4.1~dev"
 maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
 authors: [
   "Jean Krivine" "Jérôme Feret" "Pierre Boutillier"

diff --git a/opam b/opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "KaSim"
-version: "4~dev"
+version: "4.1~dev"
 maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
 authors: [
   "Jean Krivine" "Jérôme Feret" "Pierre Boutillier"