Merge and update

1 year ago · a2fea4178e
parent 3468681765 75823283bf
commit a2fea4178e
2 changed files with 2 additions and 2 deletions
--- a/.ghc-random.metadata
+++ b/.ghc-random.metadata
@ -1,2 +1,2 @@
-90bad43458c2b9e077491fe44bd9f7f6eda24b78  SOURCES/splitmix-0.1.0.3.tar.gz
 17ab0936460ff825d50268daa2a2a9fafacfe698  SOURCES/random-1.2.0.tar.gz
+90bad43458c2b9e077491fe44bd9f7f6eda24b78  SOURCES/splitmix-0.1.0.3.tar.gz
--- a/.gitignore
+++ b/.gitignore
@ -1,2 +1,2 @@
-SOURCES/splitmix-0.1.0.3.tar.gz
 SOURCES/random-1.2.0.tar.gz
+SOURCES/splitmix-0.1.0.3.tar.gz