| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .SRCINFO | 1440 | logstatsplain |
| -rw-r--r-- | 0002-Ignore-absence-of-version-number-in-user_guide.patch | 1022 | logstatsplain |
| -rw-r--r-- | 0003-Honour-DESTDIR-in-installation-targets.patch | 1298 | logstatsplain |
| -rw-r--r-- | 0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch | 305 | logstatsplain |
| -rw-r--r-- | 0005-Fix-recursive-make-in-docs.patch | 1163 | logstatsplain |
| -rw-r--r-- | PKGBUILD | 3918 | logstatsplain |
| -rw-r--r-- | gps.desktop | 209 | logstatsplain |
| -rw-r--r-- | patch-filter_panels.adb | 1456 | logstatsplain |
| -rw-r--r-- | patch-gtkada-search_entry.adb | 1816 | logstatsplain |
| -rw-r--r-- | patch-gtkada-search_entry.ads | 507 | logstatsplain |
| -rw-r--r-- | patch-shared.gpr.in | 482 | logstatsplain |
| -rw-r--r-- | site-packages.tar.gz | 353517 | logstatsplain |