| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| extension-Add-DESTDIR-prefix-to-remaining-pkgextensi.patch | 3.5 KiB | |||
| gawk-4.1.1.tar.gz | 4.1 MiB | |||
| run-ptest | 334 B | |||
| series | 126 B | |||
| Use-DESTDIR-in-extension-Makefile.am-when-removing-..patch | 1.7 KiB |
| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| extension-Add-DESTDIR-prefix-to-remaining-pkgextensi.patch | 3.5 KiB | |||
| gawk-4.1.1.tar.gz | 4.1 MiB | |||
| run-ptest | 334 B | |||
| series | 126 B | |||
| Use-DESTDIR-in-extension-Makefile.am-when-removing-..patch | 1.7 KiB |