Add diet.0.2

Signed-off-by: David Scott <dave@recoil.org>

packages/diet/diet.0.2/opam

@@ -0,0 +1,33 @@
+opam-version: "2.0"
+maintainer: "dave@recoil.org"
+authors: ["David Scott"]
+license: "ISC"
+homepage: "https://github.com/djs55/ocaml-diet"
+dev-repo: "git+https://github.com/djs55/ocaml-diet.git"
+bug-reports: "https://github.com/djs55/ocaml-diet/issues"
+doc: "https://djs55.github.io/ocaml-diet"
+
+build: [
+  ["dune" "subst" "-p" name] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+  [make "test"] {with-test}
+]
+depends: [
+  "ocaml" {>= "4.03.0"}
+  "result"
+  "sexplib"
+  "dune" {build}
+  "ppx_tools" {build}
+  "ppx_sexp_conv" {build}
+  "ppx_type_conv" {build}
+  "ounit" {with-test}
+]
+synopsis: "Discrete Interval Encoding Trees"
+description: """
+This is based on the
+[Functional Pearls: Diets for Fat Sets](https://web.engr.oregonstate.edu/~erwig/papers/Diet_JFP98.pdf)
+by Martin Erwig."""
+url {
+  src: "https://github.com/djs55/ocaml-diet/archive/v0.2.tar.gz"
+  checksum: "md5=0dec8b13bbb1c0c3592178695dae024d"
+}