From 928ef8b0a5851bf86f13c2ebdd9b8a97fedd3341 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 11 Jul 2023 11:08:34 +0100 Subject: [PATCH] Remove laby, now dead.package --- Goalfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Goalfile b/Goalfile index 8bedabd..a41fa96 100644 --- a/Goalfile +++ b/Goalfile @@ -198,7 +198,6 @@ let packages = [ "haxe", "hevea", "hivex", - "laby", "libguestfs", "libnbd", "opam", -- 1.8.3.1