Update sources file; upload dune 2.1.0.

This commit is contained in:
Ben Rosser 2020-01-10 15:28:35 -05:00
parent 715e50af87
commit 358fca60b3
2 changed files with 2 additions and 1 deletions

1
.gitignore vendored
View File

@ -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

View File

@ -1 +1 @@
SHA512 (dune-1.11.0.tar.gz) = 8c5133527b20c1728b6097b5ae78edf1f5650849787f1f0cd11b4eec620daa597778af6945664164624d5a2d80f4a1d25532c899ef391265ecaf1188ae57b769
SHA512 (dune-2.1.0.tar.gz) = 24afb44e458f819dfde3775b76c3ccf43f3fa5d8ce9a14ee9bf6658c1c116f95659c21a9ea208e5711c844fabc661cc434070bce6c9307154d506b6599ffb57f