-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 > >> to update math/coq lablgtk3 is needed which in turn depends on > >> ocaml-cairo and ocaml-configurator.
just to confirm, aiming to update math/coq to 8.10, which is expected to be released soon. (coq 8.9 uses lablgtk2, and coq 8.10 will move to use lablgtk3.) -- yozo. -----BEGIN PGP SIGNATURE----- iQJJBAEBCgAzFiEEsSBE3BD3oI0EPJSvM6KY3A5GNSgFAl1QOyoVHHlvem9AdjAw Ny52YWlvLm5lLmpwAAoJEDOimNwORjUoHZgP/iOZXo8mUzNSWhmkRzUJixzU9M+0 AE8nIOnry0zsyKQbSU48FE48eVg2HHJEhWDhjp7K2DTnB7lm+ZrwPUHPwmLAN4BS 9yrBT8DiVkYWy4OCi8SxagEj3PQ2Hv5VpMl5qoGDV7RZNq5+hxE23APgmDFNYJuC MLMTOAkVrsjL007QBrWj0IaIECBxIdjgfZ22bWy69daBy+UKZBMHZgylx/LN1Gi4 rT8t6rTtMI6ZRbuDuAtXKSRRPQ6vvu83l3oW4vgw7Fv+opwzZw+yfxQJJa4tGkfT uQFgf8UYf+SE+BDpX359qQjEr58VeFXQWI4jpdDoHLQ4HAtU25rvB+TG+UykUDNb Kt9PqnSByBMWw5LMsMUSggnteXkQswmLm0GBv7bjnOTlDg25OnGE6BbmRE9Id0Zt RveqCLGtybDQ04ct0bTn0nk6USQej2MaBjFw0P/7LLHQg5FFZBteSGdOTcmVHHk9 sIB2RdjwZOG37xTLA0GZBG+yMV7EoQT0Pihw2Gd1ndCb885PB+93vuhe9R+sqWfZ Tqc3qZu5hh4l5VCUqktQ+shoRdkbck+pj3qi/rFbrSE8V0dJMIJJ7Xs9zp+vfZqo YVWCdxF6VguYmEd2jECm9Cx5UbzzpI609n8wAWIiIN35Vs/6nKw3KqcvsgiIitfc XVOggUAf2mpAl/Pz =FQJR -----END PGP SIGNATURE-----