Author: smimram-guest Date: 2005-09-07 20:24:32 +0000 (Wed, 07 Sep 2005) New Revision: 1763 Added: tags/packages/coq/8.0pl2-3/ Log: [svn-buildpackage] Tagging coq (8.0pl2-3) Copied: tags/packages/coq/8.0pl2-3 (from rev 1762, trunk/packages/coq/trunk)