| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2014-05-11 13:00 +0200 | 750 | 100-fix-java-test-vs-enabled-shared.patch | file | revisions | annotate |
| -rw-r--r-- | 2014-05-11 13:00 +0200 | 866 | 200-fix-build-with-local-gmp.patch | file | revisions | annotate |
| -rw-r--r-- | 2014-05-11 13:00 +0200 | 3056 | 300-fix-data-dir.patch | file | revisions | annotate |
| -rw-r--r-- | 2014-05-11 13:00 +0200 | 1757 | 400-fix-build-with-gmp-5.1.patch | file | revisions | annotate |
| -rw-r--r-- | 2014-05-11 13:00 +0200 | 2705 | 500-ptrdiff_t.patch | file | revisions | annotate |