@comment $OpenBSD: PLIST,v 1.2 2018/09/12 04:58:49 daniel Exp $
@name compcert-3.5
@version 4
@comment pkgpath=lang/compcert cdrom="no commercial use" ftp=yes
@arch amd64
+DESC
@sha yZY1ci4DYV/1GhSfZngiyzWbsiVANtSsh3KmHhIF61c=
@size 788
@wantlib c.95.0
@wantlib m.10.1
@cwd /usr/local
@bin bin/ccomp
@sha ZDjKKNGqylz17jjzZH5n53dEVfyiI6NCHuGlslXb6SQ=
@size 11212544
@ts 1555277066
lib/libcompcert.a
@sha XlpNqfrn/KwPF6gSzf43TBzvzphav+sSDUMmyvZKCcs=
@size 4146
@ts 1555277067
@man man/man1/ccomp.1
@sha U8/uqnDwugpolh0Jjjt7szO1HVC3eQxAeGrJxOf2Nsk=
@size 14789
@ts 1555277067
share/compcert/
share/compcert/LICENSE
@sha 8OFrpCfcYjn73N+0JCOZiaUyckbbN3GvIB0nKmYrDJw=
@size 35069
@ts 1555277067
share/compcert/compcert.ini
@sha TPnN+FZqAtQKXM3/+OrU1UcPlVY9bztTcKd6WuQeCiM=
@size 301
@ts 1555277067
