Remove old packages

o1-labs · Apr 19, 2024 · bada23e · bada23e
1 parent 9a17f7b
commit bada23e
Show file tree

Hide file tree

Showing 22 changed files with 1 addition and 590 deletions.
diff --git a/packages/bitstring_lib/bitstring_lib.0.1/opam b/packages/bitstring_lib/bitstring_lib.0.1/opam
diff --git a/packages/ctypes_foreign_libffi/ctypes_foreign_libffi.0.1/opam b/packages/ctypes_foreign_libffi/ctypes_foreign_libffi.0.1/opam
diff --git a/packages/fold_lib/fold_lib.0.1/opam b/packages/fold_lib/fold_lib.0.1/opam
diff --git a/packages/group_map/group_map.0.1/opam b/packages/group_map/group_map.0.1/opam
diff --git a/packages/h_list/h_list.0.1/opam b/packages/h_list/h_list.0.1/opam
diff --git a/packages/interval_union/interval_union.0.1/opam b/packages/interval_union/interval_union.0.1/opam
diff --git a/packages/meja/meja.0.1/opam b/packages/meja/meja.0.1/opam
diff --git a/packages/ocaml-variants/ocaml-variants.4.07.1+logoom/files/fix-gcc10.patch b/packages/ocaml-variants/ocaml-variants.4.07.1+logoom/files/fix-gcc10.patch
diff --git a/packages/ocaml-variants/ocaml-variants.4.07.1+logoom/files/log-oom-allocation.patch b/packages/ocaml-variants/ocaml-variants.4.07.1+logoom/files/log-oom-allocation.patch
diff --git a/packages/ocaml-variants/ocaml-variants.4.07.1+logoom/opam b/packages/ocaml-variants/ocaml-variants.4.07.1+logoom/opam
diff --git a/packages/ppx_snarky/ppx_snarky.0.1/opam b/packages/ppx_snarky/ppx_snarky.0.1/opam
diff --git a/packages/ppx_version/ppx_version.0.1/opam b/packages/ppx_version/ppx_version.0.1/opam
diff --git a/packages/snarkette/snarkette.0.1/opam b/packages/snarkette/snarkette.0.1/opam