From 5ba57526cedcdcfa7146f4baedb596bd2d8faedc Mon Sep 17 00:00:00 2001 From: Kate Date: Wed, 20 Dec 2023 17:29:52 +0000 Subject: [PATCH] Version 1.1+17 --- mccs.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mccs.opam b/mccs.opam index e8b0064..598fa43 100644 --- a/mccs.opam +++ b/mccs.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "1.1+16" +version: "1.1+17" maintainer: "Louis Gesbert " authors: [ "Claude Michel "