DIST taucs-2.2.tgz 1573863 SHA256 fc13dae767db5e9035b1ce63036a16d3a260aad784f461e073f1150a078a77e4 SHA512 d8652de2da343dfd19c4278ac99313bcb577d976decdd3bd3875f0c9576832605b787feaef916eb4e82f22907c8bd029125c2ae56c827639e4d535ad62f20fcf WHIRLPOOL 6c789d98e0919a0e9fb4e7f002e16c8af8006ede9d25fc4a8416c5f7dd3f4bfcce7159edac6febba975d286c87d5564e551df9aa495ce253f450631210c499ab