DIST AMOS-short.tgz 44462022 SHA256 8ff3317dfd2b86aa7ed658408687b7a259b1517b8c43678b9379ad4ccb5ffdf8