Revert "Remove gmp from AOS"
This reverts commit f37c97684f0910a3f241394549392f00145ab0f7.
We need gmp for SymEngine for symbolicmanipultion in C++
Change-Id: Ia13216d1715cf96944f7b4f422b7a799f921d4a4
Signed-off-by: Austin Schuh <austin.linux@gmail.com>
diff --git a/third_party/gmp/doc/stamp-vti b/third_party/gmp/doc/stamp-vti
new file mode 100644
index 0000000..e62c3db
--- /dev/null
+++ b/third_party/gmp/doc/stamp-vti
@@ -0,0 +1,4 @@
+@set UPDATED 17 January 2020
+@set UPDATED-MONTH January 2020
+@set EDITION 6.2.0
+@set VERSION 6.2.0