$NetBSD: distinfo,v 1.3 2016/06/17 11:02:09 jaapb Exp $

SHA1 (ppx_tools-5.0.tar.gz) = f812238b482c3fbb7b26a39594eca92722894704
RMD160 (ppx_tools-5.0.tar.gz) = 6f16bdfebaac62ed8bdb4271df9beedc068f7962
SHA512 (ppx_tools-5.0.tar.gz) = d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4
Size (ppx_tools-5.0.tar.gz) = 17209 bytes