b8e547740fdf8aa0084a187aa0a215a79242e8ac006eade9c523234a4d50fcee  lispex-linux-x86_64