Author: smimram Date: Tue May 22 20:44:42 2007 New Revision: 3780 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3780 Log: [svn-buildpackage] Tagging coq (8.1+dfsg-5) Added: tags/packages/coq/8.1+dfsg-5/ - copied from r3779, trunk/packages/coq/trunk/