Author: smimram Date: Sat Mar 24 11:57:24 2007 New Revision: 3639 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3639 Log: [svn-buildpackage] Tagging coq (8.1+dfsg-2) Added: tags/packages/coq/8.1+dfsg-2/ - copied from r3638, trunk/packages/coq/branches/8.1/