talex5
diff --git a/‎packages/kind2/kind2.v1.8.0/opam‎ renamed to ‎packages/kind2/kind2.1.8.0/opam‎ b/‎packages/kind2/kind2.v1.8.0/opam‎ renamed to ‎packages/kind2/kind2.1.8.0/opam‎