@comment $OpenBSD: PLIST,v 1.2 2018/09/12 04:58:49 daniel Exp $
@name compcert-3.5
@version 2
@comment pkgpath=lang/compcert cdrom="no commercial use" ftp=yes
@arch i386
+DESC
@sha yZY1ci4DYV/1GhSfZngiyzWbsiVANtSsh3KmHhIF61c=
@size 788
@wantlib c.95.0
@wantlib m.10.1
@cwd /usr/local
@bin bin/ccomp
@sha OXOgqCf4PVlcvpf1vX7KAlxQGyOE/9A/dAVNFssWIHY=
@size 8876188
@ts 1555300770
lib/libcompcert.a
@sha Lk4drbPWHkP4NrmIM/sSsVZ+dGH8jkRwfwac04BWrf4=
@size 12064
@ts 1555300770
@man man/man1/ccomp.1
@sha U8/uqnDwugpolh0Jjjt7szO1HVC3eQxAeGrJxOf2Nsk=
@size 14789
@ts 1555300770
share/compcert/
share/compcert/LICENSE
@sha 8OFrpCfcYjn73N+0JCOZiaUyckbbN3GvIB0nKmYrDJw=
@size 35069
@ts 1555300770
share/compcert/compcert.ini
@sha abhkwL5APR9OnjosjGsiiDi8sESwD+14CHE9akF6MtY=
@size 305
@ts 1555300770
