Add new packages
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 12 Dec 2023 11:48:04 +0000 (11:48 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 12 Dec 2023 11:48:04 +0000 (11:48 +0000)
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

index c71154d..97af2f1 100644 (file)
--- 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",