diff options
Diffstat (limited to 'repos/core/mpc')
| -rw-r--r-- | repos/core/mpc/.files | 10 | ||||
| -rw-r--r-- | repos/core/mpc/depends | 2 | ||||
| -rw-r--r-- | repos/core/mpc/info | 4 |
3 files changed, 16 insertions, 0 deletions
diff --git a/repos/core/mpc/.files b/repos/core/mpc/.files new file mode 100644 index 00000000..7af8d19d --- /dev/null +++ b/repos/core/mpc/.files @@ -0,0 +1,10 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/mpc.h +drwxr-xr-x root/root usr/lib/ +lrwxrwxrwx root/root usr/lib/libmpc.so -> libmpc.so.3.3.1 +lrwxrwxrwx root/root usr/lib/libmpc.so.3 -> libmpc.so.3.3.1 +-rwxr-xr-x root/root usr/lib/libmpc.so.3.3.1 +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/info/ +-rw-r--r-- root/root usr/share/info/mpc.info.gz diff --git a/repos/core/mpc/depends b/repos/core/mpc/depends new file mode 100644 index 00000000..d15d83e2 --- /dev/null +++ b/repos/core/mpc/depends @@ -0,0 +1,2 @@ +gmp +mpfr diff --git a/repos/core/mpc/info b/repos/core/mpc/info new file mode 100644 index 00000000..d51249de --- /dev/null +++ b/repos/core/mpc/info @@ -0,0 +1,4 @@ +name=mpc +version=1.3.1 +release=1 +source="https://ftp.gnu.org/gnu/$name/$name-$version.tar.gz" |