@name compcert-3.17
@version 16
@comment pkgpath=lang/compcert ftp=yes
@arch amd64
+DESC
@sha 9CZ7bRIAc4G9njDv3D70d0OU2ahiYSQWbrm9VQnOA1g=
@size 784
@wantlib c.103.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
@bin bin/ccomp
@sha 21d35YSRh/tE8CXItU5Bh97rW2gAp1dj7w1SNhwikCk=
@size 11313792
@ts 1781538283
@static-lib lib/libcompcert.a
@sha x0c6rFBanYu/7eVr2hO7T6sOBeu6dH5HAFEwlXh3o00=
@size 3538
@ts 1781538284
@man man/man1/ccomp.1
@sha XOCjVtg165gPjta/e4uVXKl45XDzrF5z8exQdIFERNM=
@size 17133
@ts 1781538283
share/compcert/
share/compcert/LICENSE
@sha QOgVHLJiaaTgUTCalYcUGRpwa138eq7ACmETfLM4pkg=
@size 43807
@ts 1781538284
share/compcert/compcert.ini
@sha yifusCadfJmKnuwdzi5d46N2KfN/HkNzEppD4HjLhWk=
@size 332
@ts 1781538283
