@comment PKG_FORMAT_REVISION:1.1
@name gnat-doc-txt-3.14p
@cwd /usr/local
share/doc/gnat/txt/arm95.txt
@comment MD5:c769c4403edd04c2b444d7a8454ccfaa
share/doc/gnat/txt/gcc.txt
@comment MD5:13d3e9cf9be824e98577be0fb74f60bd
share/doc/gnat/txt/gdb.txt
@comment MD5:84764f9e51cd0d1ea204303f7d1012ec
share/doc/gnat/txt/gnat_rm.txt
@comment MD5:1be963961dc9a16a02abd7e0ea7acac4
share/doc/gnat/txt/gnat_ug.txt
@comment MD5:97e8c2818579d9845b4845138fbbeadd
share/doc/gnat/txt/gvd.txt
@comment MD5:04ad0b04ef1c1563e6c5e395fba56e05
@dirrm share/doc/gnat/txt
@unexec rmdir %D/share/doc/gnat 2>/dev/null || true
@cwd .
@ignore
+COMMENT
@ignore
+DESC
@ignore
+DISPLAY
@display +DISPLAY
