diff options
Diffstat (limited to 'tools/mpfr')
| -rw-r--r-- | tools/mpfr/Makefile | 1 |
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 |