@comment $OpenBSD: PLIST,v 1.2 2018/09/12 04:58:49 daniel Exp $
@bin bin/ccomp
lib/libcompcert.a
@man man/man1/ccomp.1
share/compcert/
share/compcert/LICENSE
share/compcert/compcert.ini
