@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 u5ASxXKzlJA18T49O+ybjkO4WgRuL+/b8KbOw3F7/e4=
@size 11324360
@ts 1788356453
@static-lib lib/libcompcert.a
@sha x0c6rFBanYu/7eVr2hO7T6sOBeu6dH5HAFEwlXh3o00=
@size 3538
@ts 1788356453
@man man/man1/ccomp.1
@sha XOCjVtg165gPjta/e4uVXKl45XDzrF5z8exQdIFERNM=
@size 17133
@ts 1788356453
share/compcert/
share/compcert/LICENSE
@sha QOgVHLJiaaTgUTCalYcUGRpwa138eq7ACmETfLM4pkg=
@size 43807
@ts 1788356454
share/compcert/compcert.ini
@sha yifusCadfJmKnuwdzi5d46N2KfN/HkNzEppD4HjLhWk=
@size 332
@ts 1788356453
