From c63d9b438572f06f555e2232a15bd3c46bd10546 Mon Sep 17 00:00:00 2001
From: Daniel Wilhelm <daniel@wili.li>
Date: Fri, 18 Apr 2014 16:44:25 +0200
Subject: 1.2

---
 library/GMP/lib/libgmp.a    | Bin 0 -> 392834 bytes
 library/GMP/lib/libgmp.la   |  35 +++++++++++++++++++++++++++++++++++
 library/GMP/lib/libgmpxx.a  | Bin 0 -> 24784 bytes
 library/GMP/lib/libgmpxx.la |  35 +++++++++++++++++++++++++++++++++++
 4 files changed, 70 insertions(+)
 create mode 100644 library/GMP/lib/libgmp.a
 create mode 100644 library/GMP/lib/libgmp.la
 create mode 100644 library/GMP/lib/libgmpxx.a
 create mode 100644 library/GMP/lib/libgmpxx.la

(limited to 'library/GMP/lib')

diff --git a/library/GMP/lib/libgmp.a b/library/GMP/lib/libgmp.a
new file mode 100644
index 00000000..041ee6c7
Binary files /dev/null and b/library/GMP/lib/libgmp.a differ
diff --git a/library/GMP/lib/libgmp.la b/library/GMP/lib/libgmp.la
new file mode 100644
index 00000000..ee6e9a74
--- /dev/null
+++ b/library/GMP/lib/libgmp.la
@@ -0,0 +1,35 @@
+# libgmp.la - a libtool library file
+# Generated by ltmain.sh - GNU libtool 1.5.24 (1.1220.2.455 2007/06/24 02:13:29)
+#
+# Please DO NOT delete this file!
+# It is necessary for linking the library.
+
+# The name that we can dlopen(3).
+dlname=''
+
+# Names of this library.
+library_names=''
+
+# The name of the static archive.
+old_library='libgmp.a'
+
+# Libraries that this one depends upon.
+dependency_libs=''
+
+# Version information for libgmp.
+current=7
+age=4
+revision=2
+
+# Is this an already installed library?
+installed=yes
+
+# Should we warn about portability when linking against -modules?
+shouldnotlink=no
+
+# Files to dlopen/dlpreopen
+dlopen=''
+dlpreopen=''
+
+# Directory that this library needs to be installed in:
+libdir='/c/gmp/lib'
diff --git a/library/GMP/lib/libgmpxx.a b/library/GMP/lib/libgmpxx.a
new file mode 100644
index 00000000..90ca1d40
Binary files /dev/null and b/library/GMP/lib/libgmpxx.a differ
diff --git a/library/GMP/lib/libgmpxx.la b/library/GMP/lib/libgmpxx.la
new file mode 100644
index 00000000..e608eba7
--- /dev/null
+++ b/library/GMP/lib/libgmpxx.la
@@ -0,0 +1,35 @@
+# libgmpxx.la - a libtool library file
+# Generated by ltmain.sh - GNU libtool 1.5.24 (1.1220.2.455 2007/06/24 02:13:29)
+#
+# Please DO NOT delete this file!
+# It is necessary for linking the library.
+
+# The name that we can dlopen(3).
+dlname=''
+
+# Names of this library.
+library_names=''
+
+# The name of the static archive.
+old_library='libgmpxx.a'
+
+# Libraries that this one depends upon.
+dependency_libs=' /c/gmp/lib/libgmp.la'
+
+# Version information for libgmpxx.
+current=4
+age=0
+revision=2
+
+# Is this an already installed library?
+installed=yes
+
+# Should we warn about portability when linking against -modules?
+shouldnotlink=no
+
+# Files to dlopen/dlpreopen
+dlopen=''
+dlpreopen=''
+
+# Directory that this library needs to be installed in:
+libdir='/c/gmp/lib'
-- 
cgit