aboutsummaryrefslogtreecommitdiff
path: root/repos/archive/mpfr
diff options
context:
space:
mode:
Diffstat (limited to 'repos/archive/mpfr')
-rw-r--r--repos/archive/mpfr/.checksum1
-rw-r--r--repos/archive/mpfr/.files13
-rw-r--r--repos/archive/mpfr/abuild5
3 files changed, 0 insertions, 19 deletions
diff --git a/repos/archive/mpfr/.checksum b/repos/archive/mpfr/.checksum
deleted file mode 100644
index 36db795b..00000000
--- a/repos/archive/mpfr/.checksum
+++ /dev/null
@@ -1 +0,0 @@
-11d59d061ef8db588650bc7dc5172594a6e5aad013994801c6f63011a62b191d mpfr-4.2.2.tar.xz
diff --git a/repos/archive/mpfr/.files b/repos/archive/mpfr/.files
deleted file mode 100644
index d23c67ac..00000000
--- a/repos/archive/mpfr/.files
+++ /dev/null
@@ -1,13 +0,0 @@
-drwxr-xr-x root/root usr/
-drwxr-xr-x root/root usr/include/
--rw-r--r-- root/root usr/include/mpf2mpfr.h
--rw-r--r-- root/root usr/include/mpfr.h
-drwxr-xr-x root/root usr/lib/
-lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.6.2.2
-lrwxrwxrwx root/root usr/lib/libmpfr.so.6 -> libmpfr.so.6.2.2
--rwxr-xr-x root/root usr/lib/libmpfr.so.6.2.2
-drwxr-xr-x root/root usr/lib/pkgconfig/
--rw-r--r-- root/root usr/lib/pkgconfig/mpfr.pc
-drwxr-xr-x root/root usr/share/
-drwxr-xr-x root/root usr/share/info/
--rw-r--r-- root/root usr/share/info/mpfr.info.gz
diff --git a/repos/archive/mpfr/abuild b/repos/archive/mpfr/abuild
deleted file mode 100644
index a0e0dbee..00000000
--- a/repos/archive/mpfr/abuild
+++ /dev/null
@@ -1,5 +0,0 @@
-name=mpfr
-version=4.2.2
-release=1
-source="https://ftp.gnu.org/gnu/$name/$name-$version.tar.xz"
-build_opt="--enable-thread-safe"