From e40437b38b2ef365e8c5800711dda3d7146bdb00 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 12 Dec 2023 11:48:04 +0000
Subject: [PATCH] Add new packages

ocaml-ptime: https://bugzilla.redhat.com/show_bug.cgi?id=2242903
ocaml-crunch: https://bugzilla.redhat.com/show_bug.cgi?id=2242904
ocaml-stdlib-random: https://bugzilla.redhat.com/show_bug.cgi?id=2242905
---
 Goalfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Goalfile b/Goalfile
index c71154d..97af2f1 100644
--- a/Goalfile
+++ b/Goalfile
@@ -52,6 +52,7 @@ let packages = [
     "ocaml-cmdliner",
     "ocaml-compiler-libs-janestreet",
     "ocaml-cppo",
+    "ocaml-crunch",
     "ocaml-cryptokit",
     "ocaml-csexp",
     "ocaml-csv",
@@ -147,6 +148,7 @@ let packages = [
     "ocaml-ppx-stable-witness",
     "ocaml-ppx-variants-conv",
     "ocaml-psmt2-frontend",
+    "ocaml-ptime",
     "ocaml-ptmap",
     "ocaml-pyml",
     "ocaml-qcheck",
@@ -165,6 +167,7 @@ let packages = [
     "ocaml-ssl",
     "ocaml-stdcompat",
     "ocaml-stdio",
+    "ocaml-stdlib-random",
     "ocaml-time-now",
     "ocaml-topkg",
     "ocaml-trie",
-- 
1.8.3.1