From ecedcf3bd65ce3e2ae42a0a8160dd4d2bda40f29 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Mon, 20 Aug 2018 17:15:11 -0400 Subject: [PATCH] Initial commit --- opam | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 opam diff --git a/opam b/opam new file mode 100644 index 0000000..6454b9f --- /dev/null +++ b/opam @@ -0,0 +1,10 @@ +opam-version: "1.2" +maintainer: "Reynir Björnsson " +authors: "Reynir Björnsson " +depends: [ + "user-setup" + "merlin" + "ocp-index" + "ocp-browser" + "ocp-indent" +]