From d1b193a3a828eb2a55d0e57ab5844a9ba76ae1e2 Mon Sep 17 00:00:00 2001
From: Andy Li <andy@onthewings.net>
Date: Thu, 16 May 2019 16:55:03 +0800
Subject: [PATCH] add source

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

diff --git a/.gitignore b/.gitignore
index cc80b7a..6111eb8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 /dune-1.8.2.tar.gz
 /dune-1.9.0.tar.gz
 /dune-1.9.1.tar.gz
+/dune-1.9.3.tar.gz
diff --git a/sources b/sources
index 1764090..67cbe91 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (dune-1.9.1.tar.gz) = 636d39328e89761961da2f0371fe1bb60af50b51858883ac31a8c667b2fceff6b1b193663d9acf4c073ef06c5e0382ccda653a2be2d26496b1ad706bbc9d3eed
+SHA512 (dune-1.9.3.tar.gz) = acefaa83c27896312e60d0062b2457931d7e3f0117270f39d649a4f9cf7f84eba2efc6f3c20b2d5f9a894e8886cc3b6ffe0fdeb35787ca213169f58abca74b19