add source

This commit is contained in:
Andy Li 2019-05-16 16:55:03 +08:00
parent 904f3c9fac
commit d1b193a3a8
2 changed files with 2 additions and 1 deletions

1
.gitignore vendored
View File

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

View File

@ -1 +1 @@
SHA512 (dune-1.9.1.tar.gz) = 636d39328e89761961da2f0371fe1bb60af50b51858883ac31a8c667b2fceff6b1b193663d9acf4c073ef06c5e0382ccda653a2be2d26496b1ad706bbc9d3eed
SHA512 (dune-1.9.3.tar.gz) = acefaa83c27896312e60d0062b2457931d7e3f0117270f39d649a4f9cf7f84eba2efc6f3c20b2d5f9a894e8886cc3b6ffe0fdeb35787ca213169f58abca74b19