From 2c6c3fec36d42bb114fc74847037d1f5ef2e43ab Mon Sep 17 00:00:00 2001
From: Jack Feser <feser@csail.mit.edu>
Date: Tue, 21 Jan 2020 18:01:40 -0500
Subject: [PATCH] Prep for release.

---
 CHANGES.md   | 4 ++++
 dune-project | 3 +++
 l2.opam      | 4 ++++
 3 files changed, 11 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 95ed955..5976573 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,7 @@
+## 2.1 (2020-01-21)
+
+Update version of Core and Dune.
+
 ## 2.0 (2019-02-01)
 
 Initial release.
diff --git a/dune-project b/dune-project
index c4e368c..331e765 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,8 @@
 (lang dune 2.0)
 (name l2)
+(version 2.1)
 (source (github jfeser/l2))
+(documentation http://jfeser.github.io/L2/)
 (license Apache2.0)
 (authors "Jack Feser <feser@mit.edu>")
 (maintainers "Jack Feser <feser@mit.edu>")
@@ -8,6 +10,7 @@
 (package
   (name l2)
   (synopsis "Enumerative program synthesizer")
+  (description "λ² is a tool for synthesizing functional programs from input-output examples.")
   (depends
     (ocaml (>= 4.08))
     (dune (>= 2))
diff --git a/l2.opam b/l2.opam
index 3abdbc8..4c0f71b 100644
--- a/l2.opam
+++ b/l2.opam
@@ -1,10 +1,14 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "2.1"
 synopsis: "Enumerative program synthesizer"
+description:
+  "λ² is a tool for synthesizing functional programs from input-output examples."
 maintainer: ["Jack Feser <feser@mit.edu>"]
 authors: ["Jack Feser <feser@mit.edu>"]
 license: "Apache2.0"
 homepage: "https://github.com/jfeser/l2"
+doc: "http://jfeser.github.io/L2/"
 bug-reports: "https://github.com/jfeser/l2/issues"
 depends: [
   "ocaml" {>= "4.08"}