aboutsummaryrefslogtreecommitdiffstats
path: root/tools/mpfr
diff options
context:
space:
mode:
Diffstat (limited to 'tools/mpfr')
-rw-r--r--tools/mpfr/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile
index 96e0188bc8..f3e337ada2 100644
--- a/tools/mpfr/Makefile
+++ b/tools/mpfr/Makefile
@@ -8,6 +8,7 @@ include $(TOPDIR)/rules.mk
PKG_NAME:=mpfr
PKG_VERSION:=3.1.6
+PKG_CPE_ID:=cpe:/a:mpfr:gnu_mpfr
PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) \
@GNU/mpfr