TIMESTAMP = 1553153314
SHA256 (gnu-clisp-clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed_GL0.tar.gz) = fa9424aded3eaf81dcce0ecb4ad37bb4dedb071cb25306deee8659539fd96bc0
SIZE (gnu-clisp-clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed_GL0.tar.gz) = 10934357
