From 358fca60b371c435ff715ad0b084972a8bd6b009 Mon Sep 17 00:00:00 2001
From: Ben Rosser <rosser.bjr@gmail.com>
Date: Fri, 10 Jan 2020 15:28:35 -0500
Subject: [PATCH] Update sources file; upload dune 2.1.0.

---
 .gitignore | 1 +
 sources    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 59e40b3..0b998ef 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@
 /dune-1.9.3.tar.gz
 /dune-1.10.0.tar.gz
 /dune-1.11.0.tar.gz
+/dune-2.1.0.tar.gz
diff --git a/sources b/sources
index 81a6271..35bbe63 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (dune-1.11.0.tar.gz) = 8c5133527b20c1728b6097b5ae78edf1f5650849787f1f0cd11b4eec620daa597778af6945664164624d5a2d80f4a1d25532c899ef391265ecaf1188ae57b769
+SHA512 (dune-2.1.0.tar.gz) = 24afb44e458f819dfde3775b76c3ccf43f3fa5d8ce9a14ee9bf6658c1c116f95659c21a9ea208e5711c844fabc661cc434070bce6c9307154d506b6599ffb57f