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