[opam] update mlgmpidl dependency to >=1.2.12

Summary:
We see failures in the Travis CI which may be related to known issues in earlier versions of mlgmpidl.

Facebook

Reviewed By: jvillard

Differential Revision: D18244267

fbshipit-source-id: 9889c9c86

opam

@@ -36,6 +36,7 @@ depends: [
   "dune" {build & >="1.0"}
   "elina" {>="1.1"}
   "javalib" {>="3.1.1"}
+  "mlgmpidl" {>="1.2.12"}
   "mtime"
   "ocaml" {>="4.06.0"}
   "ocamlfind" {build}

opam.locked

@@ -37,11 +37,11 @@ depends: [
   "base-unix" {= "base"}
   "base64" {= "3.2.0"}
   "base_bigstring" {= "v0.12.0"}
-  "base_quickcheck" {= "v0.12.0"}
+  "base_quickcheck" {= "v0.12.1"}
   "bin_prot" {= "v0.12.0"}
-  "biniou" {= "1.2.0"}
+  "biniou" {= "1.2.1"}
-  "camlidl" {= "1.05"}
+  "camlidl" {= "1.07"}
-  "camlzip" {= "1.08"}
+  "camlzip" {= "1.09"}
   "cmdliner" {= "1.0.4"}
   "conf-autoconf" {= "0.1"}
   "conf-gmp" {= "1"}
@@ -52,36 +52,37 @@ depends: [
   "conf-sqlite3" {= "1"}
   "conf-which" {= "1"}
   "conf-zlib" {= "1"}
-  "core" {= "v0.12.3"}
+  "core" {= "v0.12.4"}
-  "core_kernel" {= "v0.12.2"}
+  "core_kernel" {= "v0.12.3"}
   "cppo" {= "1.6.6"}
-  "ctypes" {= "0.14.0"}
+  "ctypes" {= "0.15.1"}
-  "dune" {= "1.10.0"}
+  "dune" {= "1.11.4"}
   "dune-configurator" {= "1.0.0"}
-  "easy-format" {= "1.3.1"}
+  "easy-format" {= "1.3.2"}
   "elina" {= "1.1"}
-  "extlib" {= "1.7.5"}
+  "extlib" {= "1.7.6"}
   "fieldslib" {= "v0.12.0"}
-  "integers" {= "0.2.2"}
+  "integers" {= "0.3.0"}
   "jane-street-headers" {= "v0.12.0"}
   "javalib" {= "3.1.1"}
   "jbuilder" {= "transition"}
   "jst-config" {= "v0.12.0"}
-  "menhir" {= "20190626"}
+  "menhir" {= "20190924"}
-  "mlgmpidl" {= "1.2.10"}
+  "mlgmpidl" {= "1.2.12"}
-  "mtime" {= "1.1.0"}
+  "mtime" {= "1.2.0"}
   "num" {= "1.2"}
   "ocaml" {= "4.07.1"}
-  "ocaml-compiler-libs" {= "v0.12.0"}
+  "ocaml-compiler-libs" {= "v0.12.1"}
   "ocaml-config" {= "1"}
   "ocaml-migrate-parsetree" {= "1.4.0"}
   "ocaml-variants" {= "4.07.1+flambda"}
   "ocamlbuild" {= "0.14.0"}
-  "ocamlfind" {= "1.8.0"}
+  "ocamlfind" {= "1.8.1"}
   "ocamlgraph" {= "1.8.8"}
-  "octavius" {= "1.2.0"}
+  "octavius" {= "1.2.1"}
-  "ounit" {= "2.0.8"}
+  "ounit" {= "2.2.1"}
-  "parmap" {= "1.0-rc10"}
+  "ounit2" {= "2.2.1"}
+  "parmap" {= "1.0-rc11"}
   "parsexp" {= "v0.12.0"}
   "ppx_assert" {= "v0.12.0"}
   "ppx_base" {= "v0.12.0"}
@@ -113,7 +114,7 @@ depends: [
   "ppx_typerep_conv" {= "v0.12.0"}
   "ppx_variants_conv" {= "v0.12.0"}
   "ppxfind" {= "1.3"}
-  "ppxlib" {= "0.8.0"}
+  "ppxlib" {= "0.8.1"}
   "protocol_version_header" {= "v0.12.0"}
   "re" {= "1.9.0"}
   "result" {= "1.4"}
@@ -125,14 +126,15 @@ depends: [
   "splittable_random" {= "v0.12.0"}
   "sqlite3" {= "4.4.1"}
   "stdio" {= "v0.12.0"}
+  "stdlib-shims" {= "0.1.0"}
   "textutils" {= "v0.12.0"}
   "time_now" {= "v0.12.0"}
-  "topkg" {= "1.0.0"}
+  "topkg" {= "1.0.1"}
   "typerep" {= "v0.12.0"}
   "variantslib" {= "v0.12.0"}
   "xmlm" {= "1.3.0"}
   "yojson" {= "1.7.0"}
-  "zarith" {= "1.7"}
+  "zarith" {= "1.9.1"}
 ]
 depexts: [
   [ ["ubuntu"] ["python2.7-dev"] ]