diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-05-01 23:19:54 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-05-01 23:20:40 (EDT) |
commit | f91f05cf92559923b5efb3bfd17958993a105cb3 (patch) | |
tree | c35325f32c4365fc4bef6673c82f376cf646cff2 /libmpfr-dev.pkg/files | |
parent | 0f579e78ab29aa24e4c9fb43a27571c9f173b3e8 (diff) |
libmpfr.6: Remove static library
Diffstat (limited to 'libmpfr-dev.pkg/files')
-rw-r--r-- | libmpfr-dev.pkg/files | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libmpfr-dev.pkg/files b/libmpfr-dev.pkg/files index c33cac7..0479fdc 100644 --- a/libmpfr-dev.pkg/files +++ b/libmpfr-dev.pkg/files @@ -1,4 +1,3 @@ /usr/include /usr/lib/*/libmpfr.so -/usr/lib/*/libmpfr.a /usr/lib/*/pkgconfig |