diff options
author | Juergen Daubert <jue@jue.li> | 2011-11-07 11:42:01 +0100 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2011-11-07 11:42:01 +0100 |
commit | 0945b3108fb0d4c24d89ced729c7c48200d080d7 (patch) | |
tree | a5dc06ac8492d15fbf50327787ee3110374beb72 /libmpfr | |
parent | 9a3ae695fc499045c16acbfe2ef06785d7860089 (diff) | |
download | core-0945b3108fb0d4c24d89ced729c7c48200d080d7.tar.gz core-0945b3108fb0d4c24d89ced729c7c48200d080d7.tar.xz |
libmpfr: add missing patch
Diffstat (limited to 'libmpfr')
-rw-r--r-- | libmpfr/libmpfr-3.1.0-p1.patch.gz | bin | 660 -> 0 bytes |
-rw-r--r-- | libmpfr/libmpfr-3.1.0-p3.patch.gz | bin | 0 -> 3563 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/libmpfr/libmpfr-3.1.0-p1.patch.gz b/libmpfr/libmpfr-3.1.0-p1.patch.gz Binary files differdeleted file mode 100644 index 195c8c40..00000000 --- a/libmpfr/libmpfr-3.1.0-p1.patch.gz +++ /dev/null diff --git a/libmpfr/libmpfr-3.1.0-p3.patch.gz b/libmpfr/libmpfr-3.1.0-p3.patch.gz Binary files differnew file mode 100644 index 00000000..09d40c27 --- /dev/null +++ b/libmpfr/libmpfr-3.1.0-p3.patch.gz |