@name compcert-3.15p1
@version 8
@comment pkgpath=lang/compcert ftp=yes
@arch powerpc,macppc
+DESC
@sha +SCzYT+M/stPwenSzQZPqLA3YeNrQcdKcayHQETfVIc=
@size 799
@depend lang/gcc/8,-main:gcc->=8,<9:gcc-8.4.0p26
@wantlib c.100.3
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
@bin bin/ccomp
@sha uj5OPlThthB9BtUo0qwZf7a40x/BNr3hPum9ToIP8/U=
@size 18707426
@ts 1745519124
@static-lib lib/libcompcert.a
@sha I1sXro+RhYeGA66mJwxS7xlPLTaru8jwmZygZI+Cxxc=
@size 14620
@ts 1745519125
@man man/man1/ccomp.1
@sha Rd0n1tDfPYGbHe2wshEFi/bVklu6JYBCPKa5dD4tRK0=
@size 16072
@ts 1745519125
share/compcert/
share/compcert/LICENSE
@sha QOgVHLJiaaTgUTCalYcUGRpwa138eq7ACmETfLM4pkg=
@size 43807
@ts 1745519126
share/compcert/compcert.ini
@sha cAfVMGLJef06+Q9uF3NpaZShqN6aVJ5C8N5EyoXffcs=
@size 290
@ts 1745519125
