$NetBSD: distinfo,v 1.10 2019/03/21 12:18:56 jaapb Exp $

SHA1 (menhir-20181113.tar.gz) = b912ca1d1184d4f0bcb7e75ffdc8b0fafa0db5ec
RMD160 (menhir-20181113.tar.gz) = bc711bd542f19044c53a19864875aecf1df3a5d1
SHA512 (menhir-20181113.tar.gz) = 998ff8e5b5f8dbaf9c6500ffe798de14dd4d7437e674ee75a1d41f428480dc0f4095389da0eae692f72a9e8c42d7a9a156dd90d2221cdd67a54e9a10cdbe239b
Size (menhir-20181113.tar.gz) = 1028432 bytes
SHA1 (patch-Makefile) = 6cfc9c1c7d1289c41288852d8707a0d0a4232993