@name compcert-3.15p8
@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 Sy2jROT+5Nb1eN7nowGB0FVC3OaoqN6908iCHX8fX9A=
@size 11749048
@ts 1754863433
@static-lib lib/libcompcert.a
@sha nOgzZTg2cKavHB+TD7wHhiasqJIuWII0CjLpbXZtReA=
@size 3298
@ts 1754863433
@man man/man1/ccomp.1
@sha gQAF04fzQT6blQGp0NatAmeNm+pmA9919xzvLgqQQF4=
@size 16093
@ts 1754863433
share/compcert/
share/compcert/LICENSE
@sha QOgVHLJiaaTgUTCalYcUGRpwa138eq7ACmETfLM4pkg=
@size 43807
@ts 1754863433
share/compcert/compcert.ini
@sha fxSGQoBRr8mZKEL77g1Vdl5lPd8bZMdVKWf12vN8vOY=
@size 321
@ts 1754863433
