aports/testing/coq, branch master

aports/testing/coq, branch master Main aports tree testing/coq: new aport 2019-03-06T07:33:40+00:00 alpine-mips-patches info@mobile-stream.com 2019-02-22T12:53:47+00:00 7a56281cbb8ed2d94dadb843ecc25a9420a8c74c This is a direct prerequisite for CompCert. Tested with ocaml-4.07.1 only.

This is a direct prerequisite for CompCert.

Tested with ocaml-4.07.1 only.