From 4998cda524f658c989a0dc175cb7780e3d7b9139 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 5 Dec 2019 20:11:22 -0700 Subject: [PATCH] fix version in Mf-install original commit: 999a4fe636fde497a7b203132dee9d496bf64013 --- makefiles/Mf-install.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/Mf-install.in b/makefiles/Mf-install.in index fd34da7a7f..48d151556c 100644 --- a/makefiles/Mf-install.in +++ b/makefiles/Mf-install.in @@ -62,7 +62,7 @@ InstallLZ4Target= # no changes should be needed below this point # ############################################################################### -Version=csv9.5.3.5 +Version=csv9.5.3.6 Include=boot/$m PetiteBoot=boot/$m/petite.boot SchemeBoot=boot/$m/scheme.boot