daniel 7be5704e9a coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER). ...

using dpb, sthen@ discovered that having latex around at config time
but not at build time will cause the coq build to fail because
latex is not listed as a BDEP. Fix this as well.

2014-11-18 02:00:52 +00:00

..

patches

coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).

2014-11-18 02:00:52 +00:00

pkg

Update to 8.4pl3; Yozo Toda.

2014-03-26 03:27:26 +00:00

distinfo

coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).

2014-11-18 02:00:52 +00:00

Makefile

coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).

2014-11-18 02:00:52 +00:00