@comment PKG_FORMAT_REVISION:1.1
@name libgmp-4.0.1_1
@cwd /usr/local
include/gmp.h
@comment MD5:75842f685f80394928ec1f891d4b19d6
info/gmp.info
@comment MD5:2f5991998a6ae27a2ba38f06784bfc82
info/gmp.info-1
@comment MD5:9ecfc0e3851d2476292c3e7da98ac3e4
info/gmp.info-2
@comment MD5:6577f38dda75c40340510ce270efae2d
info/gmp.info-3
@comment MD5:85a527f2a88a3659c432dfb97b7822ff
info/gmp.info-4
@comment MD5:d707cbb90e9868b4f8b3bf2ffa651fa6
info/gmp.info-5
@comment MD5:35dc0a7b8bca99f1525635a126b5eec0
info/gmp.info-6
@comment MD5:1f9f58381b44f032695b2d2a7966076f
info/gmp.info-7
@comment MD5:c9b99290867cb6be72fbc1dbc800fedc
info/gmp.info-8
@comment MD5:3906311de0cdc7b5993d10232defab5a
lib/libgmp.a
@comment MD5:9024b9d5689867a0cbdc29ac96208906
@unexec install-info --delete %D/info/gmp %D/info/dir
@exec install-info %D/info/gmp %D/info/dir
@cwd .
@ignore
+COMMENT
@ignore
+DESC
@ignore
+DISPLAY
@display +DISPLAY
