_now_ its attached.
--
Mike Furr [EMAIL PROTECTED]
1024D/124B26F3 5B9F 587F BC5C D823 50CE 4DB0 ED93 CA29 124B 26F3
diff -urN coq-7.3.1.orig/config/Makefile coq-7.3.1/config/Makefile
--- coq-7.3.1.orig/config/Makefile 2004-04-08 14:25:25.0 -0400
+++ coq-7.3.1/config/Makefile 2004-04-08
On Thu, 8 Apr 2004, Ralf Treinen wrote:
Mike, thanks a lot for the patch. I'll look into this and upload
the patched package over the weekend.
I just realize that I forgot to clean it up before sending. It really
should only include the changes in debian/control and debian/rules. Sorry
about
_now_ its attached.
--
Mike Furr [EMAIL PROTECTED]
1024D/124B26F3 5B9F 587F BC5C D823 50CE 4DB0 ED93 CA29 124B 26F3
diff -urN coq-7.3.1.orig/config/Makefile coq-7.3.1/config/Makefile
--- coq-7.3.1.orig/config/Makefile 2004-04-08 14:25:25.0 -0400
+++ coq-7.3.1/config/Makefile 2004-04-08
On Thu, Apr 08, 2004 at 03:06:29PM -0400, Mike Furr wrote:
_now_ its attached.
Mike, thanks a lot for the patch. I'll look into this and upload
the patched package over the weekend.
Cheers -Ralf.
--
On Thu, 8 Apr 2004, Ralf Treinen wrote:
Mike, thanks a lot for the patch. I'll look into this and upload
the patched package over the weekend.
I just realize that I forgot to clean it up before sending. It really
should only include the changes in debian/control and debian/rules. Sorry
about
5 matches
Mail list logo