Index: head/lang/silq/distinfo
===================================================================
--- head/lang/silq/distinfo	(revision 564147)
+++ head/lang/silq/distinfo	(revision 564148)
@@ -1,7 +1,7 @@
-TIMESTAMP = 1612543248
-SHA256 (eth-sri-silq-20200919-096774d_GH0.tar.gz) = 404771ec1b9874d20e2896e97a1db3b0d03940a73a6aa32a787e41670dbee116
-SIZE (eth-sri-silq-20200919-096774d_GH0.tar.gz) = 239821
+TIMESTAMP = 1612553995
+SHA256 (eth-sri-silq-20202003-096774d_GH0.tar.gz) = 404771ec1b9874d20e2896e97a1db3b0d03940a73a6aa32a787e41670dbee116
+SIZE (eth-sri-silq-20202003-096774d_GH0.tar.gz) = 239821
 SHA256 (tgehr-ast-790f2d6_GH0.tar.gz) = e3791203bd7f9232d5373b69eb8c68885919d5b00295bdc8172ab700dde63bb5
 SIZE (tgehr-ast-790f2d6_GH0.tar.gz) = 73159
 SHA256 (tgehr-util-eb42377_GH0.tar.gz) = 52dee367fb158d604cf80dff8b576adf61de0c34d7f0d4f9548f403049602ddd
 SIZE (tgehr-util-eb42377_GH0.tar.gz) = 9457