DIST ltsmin-3.0.2.tgz 3273078 BLAKE2B 729bed7c267ad225b2886a424027b4eb1deb51c1851ed9ea680a9fa795fe18fca39d8da65bd9327b6c22519df138ce8630756de1ed99df5f41fbd099a7bd8d09 SHA512 f05f45384e2d12b82f9f59819c5701ad097819b77394296b3927d39183680fa86d7c94b2d2e8d497444887ed1a29b030e09f1808cb5c714ed8c939f9a6e7944a
DIST ltsmin-buddy-2.4.tar.gz 497394 BLAKE2B ee24e550ce56dba0a8e3e84cf6d937557221c9fd4620c5f28a83d97975f07736a4f118130dfd90f27ce5ba5dbd87cc71f7139cb333e7d0bef8142cd07765bcfb SHA512 40bce1597edfae81f31303a024ec7813f1f0edf1b6dc340fed436d07e39afaace504d5c209af46437562698df9cc89df19ae55cbe3be17329395738ffc4772a3
DIST ltsmin-spins-bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz 1143114 BLAKE2B 70dfe799c0edcf0137898c86caca33a761d5d0c64d86a010b37b02555aa9fd84d47c8c8ef95e084b3aec81cf6b29ca60d237fcacf0deafe85e5dd92c47c17590 SHA512 c2c72e3e4e6bc57fa5436735e62aa1ab45f493565802e63ed384f5d66eddee086519c7de6bcb4043de1a5d2119edf272d72c89b96e8d74eeae9a2e746fcee14d