Add stdcompat to nix and opam lockfile

They were forgotten in OCamlPro#866
bclement-ocp · Nov 13, 2023 · 6cb18d5 · 6cb18d5
1 parent 7445b47
commit 6cb18d5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/alt-ergo-lib.opam.locked b/alt-ergo-lib.opam.locked
@@ -58,6 +58,7 @@ depends: [
   "sexplib0" {= "v0.16.0"}
   "spelll" {= "0.4"}
   "stdlib-shims" {= "0.3.0"}
+  "stdcompat" {= "19"}
   "topkg" {= "1.0.7"}
   "uutf" {= "1.0.3"}
   "yojson" {= "2.1.1"}

diff --git a/shell.nix b/shell.nix
@@ -37,5 +37,6 @@ pkgs.mkShell {
     ppx_blob
     odoc
     ppx_deriving
+    stdcompat
   ];
 }