From 9a3ddbdec48e877f4e9f8f96e2cb2237f8ac97c6 Mon Sep 17 00:00:00 2001 From: tnut Date: Fri, 4 Feb 2011 18:29:09 +0100 Subject: Tous les ports ont leur footprint et md5sum renomé pour la machine cible MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- base/mpfr/.footprint | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 base/mpfr/.footprint (limited to 'base/mpfr/.footprint') diff --git a/base/mpfr/.footprint b/base/mpfr/.footprint deleted file mode 100644 index 1fef45aa4..000000000 --- a/base/mpfr/.footprint +++ /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/ --rw-r--r-- root/root usr/lib/libmpfr.a --rwxr-xr-x root/root usr/lib/libmpfr.la -lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.4.0.0 -lrwxrwxrwx root/root usr/lib/libmpfr.so.4 -> libmpfr.so.4.0.0 --rwxr-xr-x root/root usr/lib/libmpfr.so.4.0.0 -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 -- cgit v1.2.3-70-g09d2