$NetBSD: distinfo,v 1.7 2019/07/31 09:13:50 jaapb Exp $

SHA1 (ppx_tools-5.3.tar.gz) = f197aab2f1057fe6107dcd25fba91408fd81470c
RMD160 (ppx_tools-5.3.tar.gz) = e331797d0f5c2af7aadc418804405aeb4a27f39b
SHA512 (ppx_tools-5.3.tar.gz) = 817e2688d60f013fa42ffa263cfcc15cfae820240d2e54dfedf1f4a4191f9b9fc365a190cc7eeb9082ed72fbf3c94d6ba72c38c7db3e2bcac49a17ba590d71b5
Size (ppx_tools-5.3.tar.gz) = 18590 bytes
