Author: smimram Date: 2006-02-19 11:56:12 +0000 (Sun, 19 Feb 2006) New Revision: 2581 Added: tags/packages/coq/8.0pl3-2/ Log: [svn-buildpackage] Tagging coq (8.0pl3-2) Copied: tags/packages/coq/8.0pl3-2 (from rev 2580, trunk/packages/coq/trunk)