diff --git a/xi.opam b/xi.opam new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/xi.opam