-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 > Message-ID: <[email protected]> > From: Daniel Dickman <[email protected]> > Date: Thu, 21 May 2015 00:57:14 -0400 (EDT) > To: [email protected] > cc: [email protected] > Subject: coq 8.4pl6
> I've been running this coq update for a while. ok? OK! I confirmed the build and run on my amd64. anyone please commit this update to the ports tree? -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJVazb7AAoJEOjYQzBc/C/JjsgH/A7S7XSbVmBhYKEWwA8xODQc P5k94whZHovvO+nUQ5yprWOw/8FpSmQ+ENK2uw+jqtFEhtekG+bsfD+hTFgXEZJQ j4uEzyEhk3454RZ01kt1+yji1rZE59HvpanaZW9SlfID5Dmbus77yf5UsPMGcr+S r5YD1w+jgK2U7/XjGQSXdSc8NAbhkZa1VohqKVmXu9m9MJ3rrbkdCd4dY5HBKpNG VWAJni0n/L+8vKIM5ip9XuPc3MiWvIaniSUg51vc8IRYGpu7ibl/DJBu8BM2paWn q0vpAhELTR5+fNvTKEPQEZ/gVg9DaEPK0A2b6AobkdCvB1ptXS3MZpxfX0Z1cpo= =hfku -----END PGP SIGNATURE-----
