@name compcert-3.16
@version 14
@comment pkgpath=lang/compcert ftp=yes
@arch amd64
+DESC
@sha 9CZ7bRIAc4G9njDv3D70d0OU2ahiYSQWbrm9VQnOA1g=
@size 784
@wantlib c.102.0
@wantlib m.10.1
@wantlib pthread.28.0
@cwd /usr/local
@bin bin/ccomp
@sha RFNY5hgyVowx5R3QpuddI83GZpDYsl516Amd99FCF/c=
@size 11755872
@ts 1761143815
@static-lib lib/libcompcert.a
@sha x0c6rFBanYu/7eVr2hO7T6sOBeu6dH5HAFEwlXh3o00=
@size 3538
@ts 1761143815
@man man/man1/ccomp.1
@sha XOCjVtg165gPjta/e4uVXKl45XDzrF5z8exQdIFERNM=
@size 17133
@ts 1761143815
share/compcert/
share/compcert/LICENSE
@sha QOgVHLJiaaTgUTCalYcUGRpwa138eq7ACmETfLM4pkg=
@size 43807
@ts 1761143815
share/compcert/compcert.ini
@sha yifusCadfJmKnuwdzi5d46N2KfN/HkNzEppD4HjLhWk=
@size 332
@ts 1761143815
