From ec6b3144ba8e731a26a09b9dbae07d074eba0772 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 6 Nov 2017 18:45:40 +0800 Subject: [PATCH] Update jbuild workspace Use latest version of 4.04, add 4.05.0, and 4.06.0 --- jbuild-workspace.dev | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/jbuild-workspace.dev b/jbuild-workspace.dev index 14d2539..280b85e 100644 --- a/jbuild-workspace.dev +++ b/jbuild-workspace.dev @@ -1,7 +1,6 @@ ;; This file is used by `make all-supported-ocaml-versions` (context ((switch 4.02.3))) (context ((switch 4.03.0))) -(context ((switch 4.04.1))) -(context ((switch 4.05.0+trunk))) -;; 4.06 support is broken for now -;; (context ((switch 4.06.0+trunk))) +(context ((switch 4.04.2))) +(context ((switch 4.05.0))) +(context ((switch 4.06.0)))