@name compcert-3.18p0
@version 17
@comment pkgpath=lang/compcert ftp=yes
@arch amd64
+DESC
@sha +SCzYT+M/stPwenSzQZPqLA3YeNrQcdKcayHQETfVIc=
@size 799
@wantlib c.104.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
@bin bin/ccomp
@sha VdI/PwChVsDkZuPXcDQ67p9wjnmYTpw8IQlg+9mRo20=
@size 11324360
@ts 1788717974
@static-lib lib/libcompcert.a
@sha x0c6rFBanYu/7eVr2hO7T6sOBeu6dH5HAFEwlXh3o00=
@size 3538
@ts 1788717974
@man man/man1/ccomp.1
@sha XOCjVtg165gPjta/e4uVXKl45XDzrF5z8exQdIFERNM=
@size 17133
@ts 1788717974
share/compcert/
share/compcert/LICENSE
@sha QOgVHLJiaaTgUTCalYcUGRpwa138eq7ACmETfLM4pkg=
@size 43807
@ts 1788717974
share/compcert/compcert.ini
@sha yifusCadfJmKnuwdzi5d46N2KfN/HkNzEppD4HjLhWk=
@size 332
@ts 1788717974
