9
Files: /usr/share/doc/gnat-gps-doc/txt/gps_pg.txt.gz
9
Files: /usr/share/doc/gnat-gps/txt/gps_pg.txt.gz
12
Files: /usr/share/doc/gnat-gps-doc/pdf/gps_pg.pdf.gz
12
Files: /usr/share/doc/gnat-gps/pdf/gps_pg.pdf.gz
15
Index: /usr/share/doc/gnat-gps-doc/gps_pg.html
16
Files: /usr/share/doc/gnat-gps-doc/gps_pg.html
15
Index: /usr/share/doc/gnat-gps/gps_pg.html
16
Files: /usr/share/doc/gnat-gps/gps_pg.html