diff options
| -rw-r--r-- | gmp/gmp-4.1.2/configure.patch | 0 | ||||
| -rw-r--r-- | gmp/gmp_4.1.2.oe | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/gmp/gmp-4.1.2/configure.patch b/gmp/gmp-4.1.2/configure.patch new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/gmp/gmp-4.1.2/configure.patch diff --git a/gmp/gmp_4.1.2.oe b/gmp/gmp_4.1.2.oe new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/gmp/gmp_4.1.2.oe |