Author: smimram Date: Sun Feb 11 19:28:52 2007 New Revision: 3551 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3551 Log: [svn-buildpackage] Tagging coq (8.1~gamma-4) Added: tags/packages/coq/8.1~gamma-4/ - copied from r3550, trunk/packages/coq/branches/8.1/