-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 > Here's an update to the latest beta of coq 8.10. Tested on i386. ........ > I've also made the regress tests verbose like we used to have, but which > seems to have gotten lost in one of the recent updates.
wow! chrisz@, how about merging your more-test-enabing patch for +beta2 which we privately communicate to didickman@'s +beta3 patch? I think I can try to build beta3 the next week, but it would be better if you try sooner... and another note, I think we can reduce the test dependencies, actually gnu diff and rsync might be omitted by revising a test script and/or Makefile? I don't check the details yet... -- yozo. -----BEGIN PGP SIGNATURE----- iQJJBAEBCgAzFiEEsSBE3BD3oI0EPJSvM6KY3A5GNSgFAl2BOSIVHHlvem9AdjAw Ny52YWlvLm5lLmpwAAoJEDOimNwORjUooR4P/0WIFUIHUuCzg5EChu8pCRfG7uYD KeBRMUSq5BM/HWtI3d28hT/s3AyxTshyHHNbuqwkdslcWh1ZFW/UeTItYvH/woRN PddnQsSUBzrMJq+hEsZrov5+b+wrX6C3mv83kx8DyhOdcctD99oWHYUc98N4GLhT 1ANVuRIPgUsw+w2UfxazMwnGqZItpgHvsN/W82GiQ0JyFFDFs4deiMrXkBJ7TXrG jRCeKagmcuHtYpJ8CX73EpBXTjDI9RwQ5Dj3NtNacZQjfGIL83Ub4Gc5JQ68DBvu psBYLXTyifH6D+d+RXy/d3+M9/sn4wvZDp1bFvLQv4Eb47pADZKU7+yMNqdxWkX4 pO50peTs8jvwwuZFY2yckMbUR6lCaFKj86Bp+o/+b6sAZuZMPDF7b5ruw6V881BW TwMAb6A0jlKMiNteGhwxuLFDGJk6cX2oq1ikJBbglEn4pYzDYh/loMic05G7ZhZU GjsfHrVuMz+SeMeHcY7lLpzo8vQ4UsCYSPK/duDztHLUoLMDc4ztK+M6bbYipHM8 RprF9ies4IQQ/DqDxPJTBjKsFlKkdwYdv9ZgX/dchQTZyUd0gFA1SvTpwl1qDM+/ EwxNhK6uPyU1gYuCSOVvusZC6j0dwFslm23CC78dA/ZUorqF+Uls1IQQA+MKDBvu SEZoK+vPQLYo2Lkq =m/58 -----END PGP SIGNATURE-----
