Author: smimram Date: 2006-01-23 20:11:34 +0000 (Mon, 23 Jan 2006) New Revision: 2533 Added: tags/packages/coq/8.0pl3-1/ Log: [svn-buildpackage] Tagging coq (8.0pl3-1) Copied: tags/packages/coq/8.0pl3-1 (from rev 2532, trunk/packages/coq/trunk)