$NetBSD: distinfo,v 1.2 2016/06/20 18:52:40 jaapb Exp $

SHA1 (ppx_driver-113.33.01.tar.gz) = 5542d2bae51847a751e1e874b89f512a65d708cc
RMD160 (ppx_driver-113.33.01.tar.gz) = 846c7a04c6788667e8b76188af58e4ae8885e9bc
SHA512 (ppx_driver-113.33.01.tar.gz) = 6c7bd5f5e03ac455dd505f7956e8102055c5647d00afeda388eb68b79690f1b776ecf9aaa1accde11855e85f8aac0cc7545c4340c7fe53d25d39f2e499e43203
Size (ppx_driver-113.33.01.tar.gz) = 16096 bytes
SHA1 (patch-Makefile) = 0ca746d76725a5250b4eff099a24b26d66fc3e8d
