@comment $OpenBSD: PLIST,v 1.1.1.1 2015/09/05 00:20:08 daniel Exp $
@bin bin/ccomp
lib/compcert/
lib/compcert/libcompcert.a
share/compcert/
share/compcert/LICENSE
share/compcert/compcert.ini
