hasufell-binhost/packages/sci-apps/z3/Manifest
2017-06-25 03:58:06 +02:00

3 lines
813 B
Plaintext

DIST hasufell-binhost--sci-apps--z3-scm--C.28661.1498351730.50417.C.tar.bz2 16686065 SHA256 9551130353cbc027f1163764c1cc3165b68ecf7aa8a507325744c6b613380af2 SHA512 e4338951d585d3f6edf98ffa9a599f4be0485e2e98e08bf258ba61cf9323f2c1612a84c6cff5db6daff8c47c9e91d66c1d72bddea80194a32dc5e00e11f83718 WHIRLPOOL 34a11929ac39f0fdc37c0625b30969d268f90e28ede4c72eeafd8f5dc528c0a85e61966aeb3e39d4f2752170979557be3bd78cd515b001623e2969b392357a70
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 2b2e6f570d82a1543141f979033491c989111cda80b86f81fec729dc13656a38 SHA512 6f6182c3856f23a17b443ed61d79ffbee15986344d5c0ca791b2ab44208064b5b5058f923e3b49a0f109ccae7b0bdbbc2c862462c6a415995a478dfdff962b16 WHIRLPOOL dc99999a16e928b4baf38a82a9959367a69789ba482dbe313723b872602169626684fae41cf0ea0358a49fd7ff0f7d5d0b5f06669d4675700d8b562979172a4e