package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17

Folder: docs

d .. (parent)
d d rwxr-xr-x 4,096 programmers_guide
d d rwxr-xr-x 4,096 release_notes
d d rwxr-xr-x 4,096 release_notes_17
d d rwxr-xr-x 4,096 release_notes_62
d d rwxr-xr-x 4,096 tutorial
d d rwxr-xr-x 8,192 users_guide
- - rw-r--r-- 1,578 Makefile.in
- - rw-r--r-- 786 docs.gpr
- - rw-r--r-- 15,771 gps-splash-academic.png
- - rw-r--r-- 27,763 gps-splash-gpl.png
- - rw-r--r-- 26,672 gps-splash.png
- - rw-r--r-- 1,667 gps-welcome-public.html.in
- - rw-r--r-- 4,298 gps-welcome.html.in
- - rw-r--r-- 3,967 gps_index.xml
- - rw-r--r-- 348 help_index.html