From 2303f22168f8c0fcb9094b3be0aec93f2f74f099 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 16 Feb 2022 18:00:53 +0100 Subject: [PATCH] rename solo5-bindings-hvt version number --- .../opam | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename packages/{solo5-bindings-hvt.0.6.99~packaging => solo5-bindings-hvt.0.6.9~packaging}/opam (100%) diff --git a/packages/solo5-bindings-hvt.0.6.99~packaging/opam b/packages/solo5-bindings-hvt.0.6.9~packaging/opam similarity index 100% rename from packages/solo5-bindings-hvt.0.6.99~packaging/opam rename to packages/solo5-bindings-hvt.0.6.9~packaging/opam