From 2037197a0d93ef0d73d8e29b7c1dd99f7192a4b8 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 24 Jan 2023 21:26:49 +0000 Subject: [PATCH] Remove ocaml-stdint Now a dead.package --- Goalfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Goalfile b/Goalfile index 46d8ce5..fe33306 100644 --- a/Goalfile +++ b/Goalfile @@ -167,7 +167,6 @@ let packages = [ "ocaml-sqlite", "ocaml-ssl", "ocaml-stdcompat", - "ocaml-stdint", "ocaml-stdio", "ocaml-time-now", "ocaml-topkg", -- 1.8.3.1