| commit | dace2a60b36477ef4295dea0cd01ae43a65f986f | [log] [tgz] |
|---|---|---|
| author | Austin Schuh <austin.linux@gmail.com> | Tue Aug 18 10:56:48 2020 -0700 |
| committer | Austin Schuh <austin.linux@gmail.com> | Wed Aug 19 16:14:33 2020 -0700 |
| tree | f6c709631ecad56062e08308ae06dd1425613c36 | |
| parent | 1b6c20f6a7928823e49afda98bf720d99c5689ba [diff] [blame] |
Add libgmp 6.2.0 to third_party Don't build it yet. That will come in the next review. Change-Id: Idf3266558165e5ab45f4a41c98cc8c838c8244d5
diff --git a/third_party/gmp/doc/version.texi b/third_party/gmp/doc/version.texi new file mode 100644 index 0000000..e62c3db --- /dev/null +++ b/third_party/gmp/doc/version.texi
@@ -0,0 +1,4 @@ +@set UPDATED 17 January 2020 +@set UPDATED-MONTH January 2020 +@set EDITION 6.2.0 +@set VERSION 6.2.0