hasufell-binhost/packages/sci-apps/z3/Manifest
2017-04-18 15:12:39 +02:00

3 lines
814 B
Plaintext

DIST hasufell-binhost--sci-apps--z3-scm--C.20852.1492514349.910835.C.tar.bz2 15944946 SHA256 99a4c419a67f72aa910c5afd854737686795f53efabc2943d5c5f40f1ea5b334 SHA512 099482a509c33b5826b7596f1ee651b7ab699c14678456f86ba507167280e703291e41ad1f3efe3fdde6bd2521d98149e71c3dbc894e9eda848f3012277be12b WHIRLPOOL 699f2471fc7a9dc8c3dfa8221e86769b3b661ba37556ce95326949637c2efa3eb013e1a9fa6d7b4984b67abb0bb886de1bc20beef74c4ba626a75105c49df047
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 b0b8cb86c39d26d07df552e468682b78149ea0a8e06d8a8f331aec63b38202f9 SHA512 499683bb59d9c0ad52633b79f0858c8e76597f1746c5ece3a12823425ffd72a3048544476774d31db7dc6147403de83155fde14c0cc6e152524f359c74be1c1e WHIRLPOOL 8674ef280e34d1ecf8310d04d1b7422bfd6760b18d07edd950c2b2bf455d669d5e12b22619ee270d97ef1d286d775e46a127c7ad415c551eb833a22b69f4488c