Author: smimram Date: Wed Jul 4 09:19:02 2007 New Revision: 3881 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3881 Log: [svn-buildpackage] Tagging coq (8.1+dfsg-6) Added: tags/packages/coq/8.1+dfsg-6/ - copied from r3880, trunk/packages/coq/trunk/